Değişken Genel Arabirimleri Oluşturma (Visual Basic)

Arabirimlerdeki genel tür parametrelerini birlikte değişken veya değişken karşıtı olarak bildirebilirsiniz. Kovaryans, arabirim yöntemlerinin genel tür parametreleri tarafından tanımlanandan daha fazla türetilmiş dönüş türüne sahip olmasını sağlar. Contravariance, arabirim yöntemlerinin genel parametreler tarafından belirtilenden daha az türetilmiş bağımsız değişken türlerine sahip olmasını sağlar. Kovaryant veya kontravaryant genel tür parametrelerine sahip bir genel arayüze varyant adı verilir.

Uyarı

.NET Framework 4, çeşitli mevcut genel arabirimler için varyans desteği sunar. .NET Framework'teki değişken arabirimlerin listesi için bkz. Genel Arabirimlerde Varyans (Visual Basic).

Değişken Genel Arabirimleri Bildirme

in ve out anahtar sözcüklerini genel tür parametreleri için kullanarak varyant genel arabirimler bildirebilirsiniz.

Önemli

ByRef Visual Basic'teki parametreler değişken olamaz. Değer türleri de varyansı desteklemez.

Anahtar kelime out ile bir genel tür parametresini kovaryant olarak bildirebilirsiniz. Kovarant türü aşağıdaki koşulları karşılamalıdır:

• Tür yalnızca yöntemlerin arabirimdeki dönüş türü olarak kullanılır ve yöntem parametrelerinin türü olarak kullanılmaz. Bu, türün R birlikte değişken olarak bildirildiği aşağıdaki örnekte gösterilmiştir.

  Interface ICovariant(Of Out R)
      Function GetSomething() As R
      ' The following statement generates a compiler error.
      ' Sub SetSomething(ByVal sampleArg As R)
  End Interface
  

  Bu kuralın bir özel durumu vardır. Yöntem parametresi olarak kontravarvan bir genel temsilciniz varsa, türü temsilci için genel tür parametresi olarak kullanabilirsiniz. Bu, aşağıdaki örnekteki tür R tarafından gösterilmiştir. Daha fazla bilgi için bkz. Temsilcilerde Varyans (Visual Basic) ve Func ve Eylem Genel Temsilcileri için Varyansı Kullanma (Visual Basic).

  Interface ICovariant(Of Out R)
      Sub DoSomething(ByVal callback As Action(Of R))
  End Interface
  

• Tür, arabirim yöntemleri için genel bir kısıtlama olarak kullanılmaz. Bu, aşağıdaki kodda gösterilmiştir.

  Interface ICovariant(Of Out R)
      ' The following statement generates a compiler error
      ' because you can use only contravariant or invariant types
      ' in generic constraints.
      ' Sub DoSomething(Of T As R)()
  End Interface
  

Anahtar sözcüğü in kullanarak bir genel tür parametresini contravaryant olarak bildirebilirsiniz. Arabirim yöntemlerinin dönüş türü olarak değil, yalnızca yöntem bağımsız değişkenlerinin türü olarak kullanılabilen bir kontravaryant türdür. Kontravaryant tür, genel kısıtlamalar için de kullanılabilir. Aşağıdaki kod, kontravaryant bir arayüzün nasıl tanımlanacağını ve yöntemlerinden biri için genel bir kısıtın nasıl kullanılacağını gösterir.

Interface IContravariant(Of In A)
    Sub SetSomething(ByVal sampleArg As A)
    Sub DoSomething(Of T As A)()
    ' The following statement generates a compiler error.
    ' Function GetSomething() As A
End Interface

Aynı arabirimde, ancak aşağıdaki kod örneğinde gösterildiği gibi farklı tür parametreleri için hem kovaryansı hem de kontrvaryansı desteklemek de mümkündür.

Interface IVariant(Of Out R, In A)
    Function GetSomething() As R
    Sub SetSomething(ByVal sampleArg As A)
    Function GetSetSomething(ByVal sampleArg As A) As R
End Interface

Visual Basic'te, temsilci türünü belirtmeden değişken arabirimlerde olayları bildiremezsiniz. Ayrıca, bir değişken arabirimi iç içe sınıflara, numaralandırmalara veya yapılara sahip olamaz, ancak iç içe arabirimlere sahip olabilir. Bu, aşağıdaki kodda gösterilmiştir.

Interface ICovariant(Of Out R)
    ' The following statement generates a compiler error.
    ' Event SampleEvent()
    ' The following statement specifies the delegate type and
    ' does not generate an error.
    Event AnotherEvent As EventHandler

    ' The following statements generate compiler errors,
    ' because a variant interface cannot have
    ' nested enums, classes, or structures.

    'Enum SampleEnum : test : End Enum
    'Class SampleClass : End Class
    'Structure SampleStructure : Dim value As Integer : End Structure

    ' Variant interfaces can have nested interfaces.
    Interface INested : End Interface
End Interface

Değişken Genel Arabirimleri Gerçekleştirme

Sabit arabirimler için kullanılan söz dizimini kullanarak sınıflarda değişken genel arabirimler uygularsınız. Aşağıdaki kod örneğinde, genel bir sınıfta birlikte değişken arabiriminin nasıl uygulandığı gösterilmektedir.

Interface ICovariant(Of Out R)
    Function GetSomething() As R
End Interface

Class SampleImplementation(Of R)
    Implements ICovariant(Of R)
    Public Function GetSomething() As R _
    Implements ICovariant(Of R).GetSomething
        ' Some code.
    End Function
End Class

Değişken arabirimleri uygulayan sınıflar sabittir. Örneğin, aşağıdaki kodu göz önünde bulundurun.

 The interface is covariant.
Dim ibutton As ICovariant(Of Button) =
    New SampleImplementation(Of Button)
Dim iobj As ICovariant(Of Object) = ibutton

' The class is invariant.
Dim button As SampleImplementation(Of Button) =
    New SampleImplementation(Of Button)
' The following statement generates a compiler error
' because classes are invariant.
' Dim obj As SampleImplementation(Of Object) = button

Değişken Veri Tipi Arabirimlerini Genişletme

Bir değişken genel arabirimini genişlettiğiniz zaman, türetilmiş arabirimin in varyansı destekleyip desteklemediğini açıkça belirtmek için ve out anahtar sözcüklerini kullanmanız gerekir. Derleyici, genişletilmekte olan arabirimden varyansı çıkarmıyor. Örneğin, aşağıdaki arabirimleri göz önünde bulundurun.

Interface ICovariant(Of Out T)
End Interface

Interface IInvariant(Of T)
    Inherits ICovariant(Of T)
End Interface

Interface IExtCovariant(Of Out T)
    Inherits ICovariant(Of T)
End Interface

Invariant(Of T) arabiriminde, genel tür parametresi T sabittir, fakat IExtCovariant (Of Out T) arabiriminde tür parametresi değişkendir, her iki arabirim de aynı arabirimi genişletmesine rağmen. Aynı kural, değişken karşıtı genel tür parametrelerine de uygulanır.

Genel tür parametresinin T birlikte değişken olduğu bir arabirimi ve aynı zamanda tersine değişken olduğu bir arabirimi, genişletme arabiriminde genel tür parametresi T sabit olduğunda genişleten bir arabirim oluşturabilirsiniz. Bu, aşağıdaki kod örneğinde gösterilmiştir.

Interface ICovariant(Of Out T)
End Interface

Interface IContravariant(Of In T)
End Interface

Interface IInvariant(Of T)
    Inherits ICovariant(Of T), IContravariant(Of T)
End Interface

Ancak, bir genel tür parametresi T tek bir arabirimde birlikte değişken olarak bildirilirse, genişletme arabiriminde değişken karşıtı olarak bildiremezsiniz veya tersi de geçerlidir. Bu, aşağıdaki kod örneğinde gösterilmiştir.

Interface ICovariant(Of Out T)
End Interface

' The following statements generate a compiler error.
' Interface ICoContraVariant(Of In T)
'     Inherits ICovariant(Of T)
' End Interface

Belirsizlikten Kaçınma

Değişken genel arabirimleri uyguladığınızda, varyans bazen belirsizliğe yol açabilir. Bundan kaçınılmalıdır.

Örneğin, bir sınıfta farklı genel tür parametreleriyle aynı değişken genel arabirimini açıkça uygularsanız, belirsizlik oluşturabilir. Derleyici bu durumda bir hata üretmez, ancak çalışma zamanında hangi arabirim uygulamasının seçileceği belirtilmez. Bu, kodunuzda küçük hatalar oluşmasına neden olabilir. Aşağıdaki kod örneğini göz önünde bulundurun.

Uyarı

ile Option Strict Off, Visual Basic belirsiz bir arabirim uygulaması olduğunda bir derleyici uyarısı oluşturur. ile Option Strict OnVisual Basic bir derleyici hatası oluşturur.

' Simple class hierarchy.
Class Animal
End Class

Class Cat
    Inherits Animal
End Class

Class Dog
    Inherits Animal
End Class

' This class introduces ambiguity
' because IEnumerable(Of Out T) is covariant.
Class Pets
    Implements IEnumerable(Of Cat), IEnumerable(Of Dog)

    Public Function GetEnumerator() As IEnumerator(Of Cat) _
        Implements IEnumerable(Of Cat).GetEnumerator
        Console.WriteLine("Cat")
        ' Some code.
    End Function

    Public Function GetEnumerator1() As IEnumerator(Of Dog) _
        Implements IEnumerable(Of Dog).GetEnumerator
        Console.WriteLine("Dog")
        ' Some code.
    End Function

    Public Function GetEnumerator2() As IEnumerator _
        Implements IEnumerable.GetEnumerator
        ' Some code.
    End Function
End Class

Sub Main()
    Dim pets As IEnumerable(Of Animal) = New Pets()
    pets.GetEnumerator()
End Sub

Bu örnekte, pets.GetEnumerator yöntemin Cat ile Dog arasında nasıl seçim yaptığı belirtilmemiştir. Bu, kodunuzda sorunlara neden olabilir.

Ayrıca bakınız

• Genel Arabirimlerde Varyans (Visual Basic)
• Func ve Action Genel Temsilcileri için Varyansı Kullanma (Visual Basic)