Tôi có thể ghi đè với các loại có nguồn gốc không?

Question

Theo như tôi biết nó không thể làm như sau trong C# 2,0

public class Father 
{ 
    public virtual Father SomePropertyName 
    { 
     get 
     { 
      return this; 
     } 
    } 
} 

public class Child : Father 
{ 
    public override Child SomePropertyName 
    { 
     get 
     { 
      return this; 
     } 
    } 
} 

tôi workaround vấn đề bằng cách tạo ra các tài sản trong lớp có nguồn gốc là "mới", nhưng tất nhiên đó không phải là đa hình.

public new Child SomePropertyName 

Có giải pháp nào trong 2.0 không? Còn bất kỳ tính năng nào trong 3.5 giải quyết vấn đề này thì sao?

Answer 1

Điều này không thể thực hiện được trong bất kỳ ngôn ngữ .NET nào vì những lo ngại về an toàn kiểu. Trong các ngôn ngữ kiểu an toàn, bạn phải cung cấp hiệp phương sai cho các giá trị trả về và đối xứng cho các tham số. Hãy mã này:

class B { 
    S Get(); 
    Set(S); 
} 
class D : B { 
    T Get(); 
    Set(T); 
} 

Đối với Get phương pháp, hiệp phương sai có nghĩa là T phải hoặc là S hoặc một loại có nguồn gốc từ S. Nếu không, nếu bạn có một tham chiếu đến một đối tượng kiểu D được lưu trữ trong một biến được gõ B, khi bạn gọi là B.Get() bạn sẽ không nhận được một đối tượng đại diện như là một S quay lại - phá vỡ hệ thống kiểu.

Đối với phương thức Set, sự đối nghịch có nghĩa là T phải là S hoặc loại S xuất phát từ đó. Nếu không, nếu bạn có tham chiếu đến đối tượng thuộc loại D được lưu trữ trong một biến được nhập B, khi bạn gọi là B.Set(X), trong đó X là loại S nhưng không thuộc loại T, D::Set(T) sẽ nhận được đối tượng thuộc loại không mong đợi. Trong C#, đã có quyết định không cho phép thay đổi loại khi quá tải thuộc tính, ngay cả khi chúng chỉ có một cặp getter/setter, vì nó sẽ có hành vi rất không nhất quán ("Ý của bạn là, tôi có thể thay đổi loại trên một với một getter, nhưng không phải với một getter và setter? Tại sao không?!? " - Anonymous Alternate Universe Newbie).

Answer 2

No. C# không hỗ trợ ý tưởng này (được gọi là "trả về hiệp phương sai"). Tuy nhiên, bạn có thể thực hiện việc này:

public class FatherProp 
{ 
} 

public class ChildProp: FatherProp 
{ 
} 


public class Father 
{ 
    public virtual FatherProp SomePropertyName 
    { 
     get 
     { 
      return new FatherProp(); 
     } 
    } 
} 


public class Child : Father 
{ 
    public override FatherProp SomePropertyName 
    { 
     get 
     { 
      // override to return a derived type instead 
      return new ChildProp(); 
     } 
    } 
} 

tức là sử dụng hợp đồng được xác định bởi lớp cơ sở, nhưng trả về loại có nguồn gốc. Tôi đã thực hiện một mẫu chi tiết hơn để làm cho điểm này rõ ràng hơn - trở về "điều này" một lần nữa sẽ không thay đổi bất cứ điều gì. Có thể (nhưng lộn xộn) để kiểm tra đối tượng được trả về cho loại thực tế của nó (tức là "nếu someObject là ChildProp"), nhưng tốt hơn nên gọi phương thức ảo trên nó làm điều đúng cho loại của nó.

Phương thức ảo lớp cơ sở (trong trường hợp này là thuộc tính ảo) không chỉ có triển khai mà còn xác định hợp đồng: lớp con có thể cung cấp triển khai khác SomePropertyName nếu đáp ứng hợp đồng này (tức là SomePropertyName trả về đối tượng của loại "ChaProp"). Trả về một đối tượng thuộc loại "ChildProp" có nguồn gốc từ "FatherProp" đáp ứng hợp đồng này. Nhưng bạn không thể thay đổi hợp đồng trong "Trẻ em" - hợp đồng này áp dụng cho tất cả các lớp học từ "Cha".

Nếu bạn lùi lại một bước và nhìn vào thiết kế rộng hơn, có các cấu trúc ngôn ngữ khác trong bộ công cụ C# mà bạn cũng có thể muốn suy nghĩ - Generics hoặc giao diện.

Answer 3

Bạn có thể khai báo lại (mới), nhưng bạn không thể khai báo lại và ghi đè cùng một lúc (có cùng tên). Một lựa chọn là sử dụng một phương pháp bảo vệ để ẩn các chi tiết - điều này cho phép cả hai đa hình và ẩn cùng một lúc:

public class Father 
{ 
    public Father SomePropertyName 
    { 
     get { 
      return SomePropertyImpl(); 
     } 
    } 
    protected virtual Father SomePropertyImpl() 
    { 
     // base-class version 
    } 
} 

public class Child : Father 
{ 
    public new Child SomePropertyName 
    { 
     get 
     { // since we know our local SomePropertyImpl actually returns a Child 
      return (Child)SomePropertyImpl(); 
     } 
    } 
    protected override Father SomePropertyImpl() 
    { 
     // do something different, might return a Child 
     // but typed as Father for the return 
    } 
} 

Answer 4

Từ Wikipedia:

Trong C# ngôn ngữ lập trình, hỗ trợ cho cả hai return-type hiệp phương sai và tham số contravariance cho các đại biểu đã được thêm trong phiên bản 2.0 của ngôn ngữ. Không phải hiệp phương sai cũng không đối nghịch được hỗ trợ để ghi đè phương pháp.

Nó không nói rõ ràng về hiệp phương sai của các thuộc tính.

Answer 5

Không, nhưng bạn có thể sử dụng Generics trong 2 trở lên:

public class MyClass<T> where T: Person 
{ 
    public virtual T SomePropertyName 
    { 
     get 
     { 
      return ...; 
     } 
    } 
} 

Sau đó, Cha và Con là phiên bản generic của lớp cùng

Answer 6

Bạn có thể tạo một giao diện chung cho cha và đứa con và trở lại một loại giao diện đó.

Answer 7

No. C# không hỗ trợ ý tưởng này (được gọi là "kiểu trả về hiệp phương sai").

Từ Wikipedia:

Trong C# ngôn ngữ lập trình, hỗ trợ cho cả hai trở lại kiểu hiệp phương sai và tham số contravariance cho các đại biểu đã được bổ sung trong phiên bản 2.0 của ngôn ngữ. Không phải hiệp phương sai cũng không đối nghịch được hỗ trợ để ghi đè phương pháp.

Bạn có thể khai báo lại (mới), nhưng bạn không thể khai báo lại và ghi đè tại số cùng một lúc (có cùng tên). Một tùy chọn là sử dụng một phương pháp bảo vệ để ẩn chi tiết - điều này cho phép cả hai đa hình và ẩn cùng thời gian:

Các giải pháp tốt nhất là nên sử dụng Generics:

public class MyClass<T> where T: Person 
{ 
    public virtual T SomePropertyNameA 
    {   
     get { return ...; }  
    } 
}//Then the Father and Child are generic versions of the same class 

Answer 8

này là gần nhất tôi có thể đi (cho đến nay):

public sealed class JustFather : Father<JustFather> {} 

    public class Father<T> where T : Father<T> 
    { public virtual T SomePropertyName 
     { get { return (T) this; } 
     } 
    } 

    public class Child : Father<Child> 
    { public override Child SomePropertyName 
     { get { return this; } 
     } 
    } 

Nếu không có lớp JustFather, bạn không thể khởi tạo một Father<T> trừ khi đó là một số loại có nguồn gốc khác.