Aracılığıyla paylaş

Genel Arabirimlerde Varyans (C#)

  • Makale

.NET Framework 4, çeşitli mevcut genel arabirimler için varyans desteği sunar. Varyans desteği, bu arabirimleri uygulayan sınıfların örtük olarak dönüştürülmesi sağlar.

.NET Framework 4'den başlayarak, aşağıdaki arabirimler değişkendir:

.NET Framework 4.5'den başlayarak, aşağıdaki arabirimler değişkendir:

Kovaryans, bir yöntemin arabirimin genel tür parametresi tarafından tanımlanandan daha türetilmiş bir dönüş türüne sahip olmasına izin verir. Kovaryans özelliğini göstermek için şu genel arabirimleri göz önünde bulundurun: IEnumerable<Object> ve IEnumerable<String>. Arabirim IEnumerable<String> , arabirimi devralmıyor IEnumerable<Object> . Ancak, String tür türü devralır Object ve bazı durumlarda bu arabirimlerin nesnelerini birbirine atamak isteyebilirsiniz. Bu, aşağıdaki kod örneğinde gösterilmiştir.

IEnumerable<String> strings = new List<String>();
IEnumerable<Object> objects = strings;

.NET Framework'ün önceki sürümlerinde, bu kod C# ve açıksa Option Strict Visual Basic'te bir derleme hatasına neden olur. Ancak artık önceki örnekte gösterildiği gibi yerine objectskullanabilirsiniz strings çünkü IEnumerable<T> arabirim birlikte değişkendir.

Contravariance, bir yöntemin arabiriminin genel parametresi tarafından belirtilenden daha az türetilmiş bağımsız değişken türlerine sahip olmasına izin verir. Karşıtlık değişkenini göstermek için, sınıfın örneklerini karşılaştırmak için bir BaseComparer sınıf oluşturduğunuzu BaseClass varsayalım. BaseComparer sınıfı, IEqualityComparer<BaseClass> arabirimini uygular. IEqualityComparer<T> Arabirim artık değişkensiz olduğundan, sınıfı devralan BaseClass sınıfların örneklerini karşılaştırmak için kullanabilirsinizBaseComparer. Bu, aşağıdaki kod örneğinde gösterilmiştir.

// Simple hierarchy of classes.
class BaseClass { }
class DerivedClass : BaseClass { }

// Comparer class.
class BaseComparer : IEqualityComparer<BaseClass>
{
    public int GetHashCode(BaseClass baseInstance)
    {
        return baseInstance.GetHashCode();
    }
    public bool Equals(BaseClass x, BaseClass y)
    {
        return x == y;
    }
}
class Program
{
    static void Test()
    {
        IEqualityComparer<BaseClass> baseComparer = new BaseComparer();

        // Implicit conversion of IEqualityComparer<BaseClass> to
        // IEqualityComparer<DerivedClass>.
        IEqualityComparer<DerivedClass> childComparer = baseComparer;
    }
}

Daha fazla örnek için bkz . Genel Koleksiyonlar için Arabirimlerde Varyans Kullanma (C#).

Genel arabirimlerdeki varyans yalnızca başvuru türleri için desteklenir. Değer türleri varyansı desteklemez. Örneğin, IEnumerable<int> tamsayılar bir değer türüyle temsil edildiğinden örtük olarak öğesine dönüştürülemez IEnumerable<object>.

IEnumerable<int> integers = new List<int>();
// The following statement generates a compiler error,
// because int is a value type.
// IEnumerable<Object> objects = integers;

Değişken arabirimleri uygulayan sınıfların hala sabit olduğunu unutmamak da önemlidir. Örneğin, birlikte değişken arabirimini uygulasa daList<T>, örtük olarak öğesine List<Object>dönüştüremezsinizList<String>.IEnumerable<T> Bu, aşağıdaki kod örneğinde gösterilmiştir.

// The following line generates a compiler error
// because classes are invariant.
// List<Object> list = new List<String>();

// You can use the interface object instead.
IEnumerable<Object> listObjects = new List<String>();

Ayrıca bkz.