Đây có phải là lỗi hiệp phương sai trong C# 4 không?

Question

Trong đoạn mã sau tôi mong đợi có thể truyền hoàn toàn từ elements đến baseElements vì TBase được chuyển đổi hoàn toàn thành IBase.

public interface IBase { } 
public interface IDerived : IBase { } 
public class VarianceBug 
{ 
    public void Foo<TBase>() where TBase : IBase 
    { 
     IEnumerable<TBase> elements = null; 
     IEnumerable<IDerived> derivedElements = null; 
     IEnumerable<IBase> baseElements; 

     // works fine 
     baseElements = derivedElements; 

     // error CS0266: Cannot implicitly convert type 
     // 'System.Collections.Generic.IEnumerable<TBase>' to 
     // 'System.Collections.Generic.IEnumerable<IBase>'. 
     // An explicit conversion exists (are you missing a cast?) 
     baseElements = elements; 
    } 
} 

Tuy nhiên, tôi nhận được lỗi được đề cập trong nhận xét.

Trích dẫn từ spec:

Một loại T<A1, …, An> là sai-mui trần cho một loại T<B1, …, Bn> nếu T hoặc là một giao diện hoặc một loại đại biểu tuyên bố với các thông số loại biến thể T<X1, …, Xn>, và đối với mỗi tham số kiểu biến thể Xi một trong những điều sau đây giữ:

• Xi là hiệp biến và một tham chiếu ngầm hoặc chuyển đổi danh tính tồn tại từ Ai để Bi

• Xi là contravariant và một tham chiếu ngầm hoặc chuyển đổi danh tính tồn tại từ Bi để Ai

• Xi là bất biến và chuyển đổi danh tính tồn tại từ Ai để Bi

Kiểm tra mã của tôi, nó có vẻ phù hợp với thông số:

• IEnumerable<out T> là một kiểu giao diện

• IEnumerable<out T> được khai báo với các thông số loại biến thể

• T là hiệp biến

• một chuyển đổi tài liệu tham khảo ngầm tồn tại TBase-IBase

Vậy - có phải là lỗi trong trình biên dịch C# 4 không?

Answer 1

Phương sai chỉ hoạt động đối với các loại tham chiếu (hoặc có một chuyển đổi danh tính). Người ta không biết rằng TBase là kiểu tham chiếu, trừ khi bạn thêm : class:

public void Foo<TBase>() where TBase : class, IBase 

kể từ khi tôi có thể viết một:

public struct Evil : IBase {} 

Answer 2

Marc là đúng - Tôi đã chỉ là về để dán phản ứng tương tự.

Xem các Hiệp phương sai & Contravariance FAQ:

http://blogs.msdn.com/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx

Từ FAQ:

"Chênh lệch chỉ được hỗ trợ nếu một tham số type là một kiểu tham khảo."

Phương sai không được hỗ trợ cho các loại giá trị

Sau đây không biên dịch hoặc là:

// int is a value type, so the code doesn't compile. 
IEnumerable<Object> objects = new List<int>(); // Compiler error here.