Hiệp phương sai/contravariance: làm thế nào để làm cho đoạn mã sau biên dịch

Question

UPDATE: Các mã sau đây chỉ có ý nghĩa trong C# 4.0 (Visual Studio 2010)

Nó có vẻ như tôi đang gặp một số hiểu lầm của hiệp phương sai/điều contravariance . Ai có thể cho tôi biết tại sao mã sau đây không biên dịch?

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
     where TDerived: TBase 
    { 
     return values; 
    } 
} 

trong khi một biên dịch này: (!!!)

public interface IBase 
{ 
} 
public interface IDerived: IBase 
{ 
} 
public class TestTwo 
{ 
    public IEnumerable<IBase> Method(IEnumerable<IDerived> values) 
    { 
     return values; 
    } 
} 

Answer 1

Hiệp phương sai chỉ áp dụng để tham khảo các loại (cho các đối số loại), vì vậy bạn cần phải thêm một hạn chế lớp:

public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
    where TDerived : class, TBase 
{ 
    return values; 
} 

Điều này sẽ ngăn bạn cố gắng chuyển đổi, ví dụ: IEnumerable<int> thành số IEnumerable<object>, không hợp lệ.

Answer 2

Tôi không thể nghĩ ra bất kỳ tình huống nào bạn thực sự cần TDerived. Sử dụng TBase là đủ:

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method(IEnumerable<TBase> values) 
    { 
     return values; 
    } 
} 

Sau khi tất cả, bạn không có thông tin về TDerived ngoài thực tế là nó là một TBase ...

Answer 3

Không biên soạn cho tôi ban đầu. Cả hai đều thất bại trên dàn diễn viên ngầm từ Super (T/I) đến Base (T/I). Tuy nhiên, khi tôi thêm một trường hợp rõ ràng, cả hai được biên dịch.

public IEnumerable<TBase> Method<TSuper>(IEnumerable<TSuper> values) 
    where TSuper: TBase 
    { 
     return (IEnumerable<TBase>) values; 
    }