.NET共分散

Question

私はこの単純なコードを持っている：

public interface IReader<out T> 
{ 
    IEnumerable<T> GetData(); 
} 

このインタフェースは、Tに共変しなければならない、と私はそれをこのように使用しています：Tのための制約を実装するため

private static Func<bool> MakeSynchroFunc<T>(IReader<T> reader) where T : IComposite 
{ 
    return() => Synchronize(reader); 
} 

注意をIComposite。 同期方法は、入力にIReader<IComposite>を取ります

private static bool Synchronize(IReader<IComposite> reader) 
{ 
    // ...... 
} 

コンパイラは、それがT上の制約とIReaderの共分散にもかかわらず、IReader<IComposite>へIReader<T>から変換することはできませんと言われます。

私はここで間違っていますか？ コンパイラは制約を確認できなければなりません。共分散は私がIReader<T>をIReader<Icomposite>として使用しなければならないでしょうか？

ありがとうございました。

Answer 1

という制約をTに追加することで問題を解決できるはずです。構造体が含まれている場合、共分散は機能しません（IEnumerable<int>はIEnumerable<object>に変換できません）。 Tをクラスに制限していないので、IReader<some struct that implements IComposite>を渡すことができます。これは変換できません。

Answer 2

残念ながら。ジェネリックは共変ではありません。 IReader<T>およびIReader<IComposite>は、がICompositeに関連しているにもかかわらず、完全に無関係のタイプです。

EDIT：なぜこれが.Net 4と<out T>では機能しないのか分かりません。誰か他の人が答えてくれますか？

private static Func<bool> MakeSynchroFunc<T>(IReader<IComposite> reader) where T : IComposite 

あなたが他のもののためにジェネリックパラメータTが必要な場合がありますので、私はそこに左：これは、あなたが本当に何をしたいものですので、

Answer 3

なぜ、関数定義を変更しません。