.NET Kovaryans

Question

Bu basit bir kod vardır:

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

Bu arayüz T covariant olmalı ve ben bunu şu şekilde kullanıyorum: T kısıt uygulamak

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

Not IComposite. senkronizasyon yöntemi giriş bir IReader<IComposite> alır:

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

derleyici o T kısıtlaması ve iReader kovaryanslarına rağmen IReader<IComposite> için IReader<T> den dönüştüremiyor söylüyor.

Burada yanlış yaptığım bir şey var mı? Derleyici kısıtlamayı doğrulayabilmeli ve kovaryansbenim IReader<Icomposite> kullanmama izin vermeli, değil mi?

Teşekkürler.

Answer 1

T ürününe class kısıtlaması ekleyerek sorununuzu çözebilmeniz gerekir. Yapılar söz konusu olduğunda kovaryans çalışmaz (IEnumerable<int>, IEnumerable<object>'a dönüştürülemez). Bir sınıf olmak için T'u kısıtlamadığınız için, dönüştürülemeyecek olan bir IReader<some struct that implements IComposite> kodunu iletebilirsiniz.

Answer 2

Ne yazık ki değil. Jenerikler kovaryant değildir. ve IReader<IComposite>, T'un IComposite ile ilişkili olmasına rağmen, birbirleriyle ilgisiz türlerdir.

EDIT: Neden bunun neden işe yaramayacağını bilmiyorum. Net 4 ve <out T>. Başka biri cevap verebilir mi? Bu gerçekten hiçbir şey istediğini olduğundan

Answer 3

Neden, fonksiyon tanımını değiştirmez:

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

Sen başka şeyler için jenerik parametre T gerekebilir, bu yüzden orada bırakmış.