Partager via


Out (modificateur générique) (Visual Basic)

Pour les paramètres de type générique, le mot clé Out spécifie que le type est covariant.

Notes

La covariance vous permet d'utiliser un type plus dérivé que celui spécifié par le paramètre générique.Cela permet la conversion implicite des classes qui implémentent des interfaces variantes et la conversion implicite des types délégués.

Pour plus d'informations, consultez Covariance et contravariance (C# et Visual Basic).

Règles

Vous pouvez utiliser le mot clé Out dans les interfaces et les délégués génériques.

Dans une interface générique, un paramètre de type peut être déclaré covariant s'il satisfait aux conditions suivantes :

  • Le paramètre de type est utilisé uniquement comme type de retour de méthodes d'interface et non comme type d'arguments de méthode.

    [!REMARQUE]

    Il existe une exception à cette règle.Si dans une interface covariante vous avez un délégué générique contravariant comme paramètre de méthode, vous pouvez utiliser le type covariant comme paramètre de type générique pour ce délégué.Pour plus d'informations sur les délégués génériques covariants et contravariants, consultez Variance dans les délégués (C# et Visual Basic) et Utilisation de la variance pour les délégués génériques Func et Action (C# et Visual Basic).

  • Le paramètre de type n'est pas utilisé comme contrainte générique pour les méthodes d'interface.

Dans un délégué générique, un paramètre de type peut être déclaré covariant s'il est utilisé uniquement comme type de retour de méthode et non pour les arguments de méthode.

La covariance et la contravariance sont prises en charge pour les types référence mais pas pour les types valeur.

En Visual Basic, vous ne pouvez pas déclarer d'événements dans des interfaces covariantes sans spécifier le type délégué.De même, les interfaces covariantes ne peuvent pas avoir de classes, d'enums ou de structures imbriqués, mais elles peuvent inclure des interfaces imbriquées.

Comportement

Une interface ayant un paramètre de type covariant permet à ses méthodes de retourner des types plus dérivés que ceux spécifiés par le paramètre de type.Par exemple, comme dans .NET Framework 4, dans IEnumerable<T>, le type T est covariant, vous pouvez assigner un objet de type IEnumerabe(Of String) à un objet de type IEnumerable(Of Object) sans utiliser des méthodes de conversion spéciales.

Un autre délégué du même type peut être assigné à un délégué covariant, mais avec un paramètre de type générique plus dérivé.

Exemple

L'exemple suivant indique comment déclarer, étendre et implémenter une interface générique covariante.Il montre également comment utiliser la conversion implicite pour les classes qui implémentent une interface covariante.

' Covariant interface.
Interface ICovariant(Of Out R)
End Interface

' Extending covariant interface.
Interface IExtCovariant(Of Out R)
    Inherits ICovariant(Of R)
End Interface

' Implementing covariant interface.
Class Sample(Of R)
    Implements ICovariant(Of R)
End Class

Sub Main()
    Dim iobj As ICovariant(Of Object) = New Sample(Of Object)()
    Dim istr As ICovariant(Of String) = New Sample(Of String)()

    ' You can assign istr to iobj because
    ' the ICovariant interface is covariant.
    iobj = istr
End Sub

L'exemple suivant indique comment déclarer, instancier et appeler un délégué générique covariant.Il montre également comment vous pouvez utiliser la conversion implicite pour les types délégués.

' Covariant delegate.
Public Delegate Function DCovariant(Of Out R)() As R

' Methods that match the delegate signature.
Public Shared Function SampleControl() As Control
    Return New Control()
End Function

Public Shared Function SampleButton() As Button
    Return New Button()
End Function

Private Sub Test()

    ' Instantiating the delegates with the methods.
    Dim dControl As DCovariant(Of Control) =
        AddressOf SampleControl
    Dim dButton As DCovariant(Of Button) =
        AddressOf SampleButton

    ' You can assign dButton to dControl
    ' because the DCovariant delegate is covariant.
    dControl = dButton

    ' Invoke the delegate.
    dControl()
End Sub

Voir aussi

Référence

In (modificateur générique) (Visual Basic)

Concepts

Variance dans les interfaces génériques (C# et Visual Basic)