C# Döküm jenerikleri (kovaryans ve kontravaryans?)

Question

Bu konuda biraz yardıma/yardıma ihtiyacım var, ağaçları artık ağaçlardan göremiyorum.

Bu, jenerik kullanarak bazı arabirimleri uygulayan düz ileri bir dizi sınıftır.

Sonra örneğin beton tiplerinin dökülmesi çalışıyorum:

MyGenericObject<SomeObject> _obj; 

IMyGenericObject<ISomeObject> _genObj = (IMyGenericObject<ISomeObject>)_obj; 

// Geçersiz ben Kovaryans ve contravariance ama çok net değil ilgili bazı makaleler okudum

dökme neden bu wouldn' Mümkün mü, yoksa nasıl dönülür?

---

Yani, bu örnekte: Alacağınız ve Etkinlik özelliğini ayarlayın olamaz, çünkü

public interface IMyObject<in T> where T : IBaseObject 
{ 
    T Activity { get; set; } 
} 

.... ...

---

işe yaramaz . Bu örnekte

, Yapmam gereken: Yardım için herkese birisi ve teşekkür yardımcı olur

public interface IMyObject<out T> where T : IBaseObject 
    { 
     T Activity { get; } 
    } 

umut!

Answer 1

Yalnızca, arabirimi bir kovaryant (out) parametresi olarak bildirirseniz bunu yapabilirsiniz. Sadece eğer parametre kovaryant olarak kullanılıyorsa bunu yapabilirsiniz. Örneğin, IMyGenericObject<T> arabiriminin T parametresini kullanan bir yöntemi varsa, bu, parametrenin kovaryant olarak bildirilmesini engeller. Tersine, bir T döndüren bir yöntem varsa, bu, parametreyi contravariant olarak bildirmenizi engeller. SLaks cevabı hakkındaki yorumunuzu yanıt olarak

DÜZENLEME

, herşeyi Eric Lippert'ın hiç ko- ve contravariance üzerinde yazmıştır tekrarlamak için cazip. Bir FileInfo bir IList<object> geçmek yasal çünkü

Sen IList<object> için IList<string> döküm olamaz, ama Geçmesi yasal değildir: (en son https://stackoverflow.com/a/8380213/385844) SO içinde http://blogs.msdn.com/b/ericlippert/archive/tags/Covariance+and+Contravariance/ ve aynı zamanda onun cevaplarını göster

Özetlemek gerekirse IList<string>'a.

bir IList<string> bir eleman almak ve bir dize referansı atamak için yasal, çünkü bir IList<string> bir IList<object> döküm olamaz, ama bir IList<object> bir dizeye atanamaz bir FileInfo, içerebilir referans.

DÜZENLEME 2

Eğer tavsiye istedi yana, ko- ve kontravaryant bölüme Arabirimlerinizden bölmek de mümkündür. Liste örnekle devam edebilmek Bu bağlama göre, covariantly veya contravariantly sınıfı kullanmasını sağlar bu arayüzleri

public interface ICovariantList<out T> 
{ 
    T this[int index] { get; } 
    //... 
} 

public interface IContravariantList<in T> 
{ 
    T this[int index] { set; } 
    void Add(T item); 
    //... 
} 

public class SomeList<T> : ICovariantList<T>, IContravariantList<T> 
{ 
    //... 
} 

olabilir.

Answer 2

Arabirimi, bir kovaryant (out) genel parametresi olarak bildirmeniz gerekir.