Tại sao C# ra các thông số kiểu chung vi phạm hiệp phương sai?

Question

Tôi không rõ lý do tại sao đoạn mã sau đây không phải là covarient?

public interface IResourceColl<out T> : IEnumerable<T> where T : IResource { 

    int Count { get; } 

    T this[int index] { get; } 

    bool TryGetValue(string SUID, out T obj); // Error here? 
    } 

Lỗi 1 đúng không hợp lệ: Các tham số kiểu 'T' phải invariantly hợp lệ về 'IResourceColl.TryGetValue (string, ra T)'. 'T' là covariant.

Giao diện của tôi chỉ sử dụng thông số mẫu ở vị trí đầu ra. Tôi có thể dễ dàng cấu trúc lại mã này vào một cái gì đó giống như

public interface IResourceColl<out T> : IEnumerable<T> where T : class, IResource { 

    int Count { get; } 

    T this[int index] { get; } 

    T TryGetValue(string SUID); // return null if not found 
    } 

nhưng tôi đang cố gắng để hiểu nếu mã ban đầu của tôi thực sự vi phạm hiệp phương sai hoặc nếu đây là một trình biên dịch hoặc .NET giới hạn của hiệp phương sai.

Answer 1

Vấn đề là thực sự ở đây:

bool TryGetValue(string SUID, out T obj); // Error here? 

Bạn đánh dấu obj như out tham số, đó vẫn có nghĩa rằng mặc dù bạn đang đi qua trongobj nên nó không thể là hiệp biến, vì bạn cả hai vượt qua trong một thể hiện của nhập T cũng như trả lại.

Edit:

Eric Lippert cho biết họ tốt hơn so với bất cứ ai tôi tham khảo his answer to "ref and out parameters in C# and cannot be marked as variant" và trích dẫn ông liên quan đến out thông số:

nó nên là hợp pháp để làm cho T đánh dấu là "out" ? Tiếc là không có. "out" thực sự không khác với "ref" đằng sau hậu trường. Sự khác biệt duy nhất giữa "out" và "ref" là trình biên dịch cấm đọc từ tham số ngoài trước khi được gán bởi callee và trình biên dịch yêu cầu gán trước khi callee trả về bình thường. Người nào đó đã viết triển khai giao diện này bằng ngôn ngữ .NET khác với C# sẽ có thể đọc từ mục trước khi nó được khởi tạo và do đó nó có thể được sử dụng làm đầu vào. Do đó, chúng tôi cấm đánh dấu T là "không tham gia" trong trường hợp này là. Thật đáng tiếc, nhưng không có gì chúng tôi có thể làm; chúng ta phải tuân thủ các quy tắc an toàn loại của CLR.

Answer 2

Vi phạm hiệp phương sai vì giá trị được cung cấp cho tham số đầu ra phải là chính xác cùng loại với khai báo tham số đầu ra. Ví dụ, giả sử T là một chuỗi, hiệp phương sai có ngụ ý rằng nó sẽ là ok để làm

var someIResourceColl = new someIResourceCollClass<String>(); 
Object k; 
someIResourceColl.TryGetValue("Foo", out k); // This will break because k is an Object, not a String 

Answer 3

Kiểm tra ví dụ này chút và bạn sẽ hiểu tại sao nó không được phép:

public void Test() 
{ 
    string s = "Hello"; 
    Foo(out s); 
} 

public void Foo(out string s) //s is passed with "Hello" even if not usable 
{ 
    s = "Bye"; 
} 

out có nghĩa là s phải được gán chắc chắn trước khi thực thi rời khỏi phương thức và ngược lại bạn không thể sử dụng s cho đến khi nó được gán chắc chắn trong phần thân phương thức.Điều này có vẻ tương thích với hiệp phương sai quy tắc. Nhưng không có gì ngăn bạn chỉ định s tại trang cuộc gọi trước khi gọi phương thức. Giá trị này được chuyển đến phương pháp có nghĩa là ngay cả khi không phải là có thể sử dụng bạn đang chuyển một cách hiệu quả thông số của một loại được xác định sang phương pháp vi phạm quy tắc hiệp phương sai. được sử dụng làm kiểu trả về của một phương thức.

Answer 4

Đây là giải pháp thay thế có thể sử dụng phương pháp tiện ích mở rộng. Không nhất thiết phải thuận tiện từ điểm triển khai, nhưng người dùng phải hài lòng:

public interface IExample<out T> 
{ 
    T TryGetByName(string name, out bool success); 
} 

public static class HelperClass 
{ 
    public static bool TryGetByName<T>(this IExample<T> @this, string name, out T child) 
    { 
     bool success; 
     child = @this.TryGetByName(name, out success); 
     return success; 
    } 
} 

public interface IAnimal { }; 

public interface IFish : IAnimal { }; 

public class XavierTheFish : IFish { }; 

public class Aquarium : IExample<IFish> 
{ 
    public IFish TryGetByName(string name, out bool success) 
    { 
     if (name == "Xavier") 
     { 
      success = true; 
      return new XavierTheFish(); 
     } 
     else 
     { 
      success = false; 
      return null; 
     } 
    } 
} 

public static class Test 
{ 
    public static void Main() 
    { 
     var aquarium = new Aquarium(); 
     IAnimal child; 
     if (aquarium.TryGetByName("Xavier", out child)) 
     { 
      Console.WriteLine(child); 
     } 
    } 
}