out (modificateur générique) (référence C#)

Pour les paramètres de type générique, le out mot clé spécifie que le paramètre de type est covariant. Vous pouvez utiliser le out mot clé dans les interfaces génériques et les délégués.

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 de classes qui implémentent des interfaces covariantes et la conversion implicite de types délégués. La covariance et la contravariance sont prises en charge pour les types de référence, mais elles ne sont pas prises en charge pour les types valeur.

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

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

Pour plus d’informations, consultez Covariance et Contravariance.

Exemple : interface générique covariante

L’exemple suivant montre 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<out R> { }

// Extending covariant interface.
interface IExtCovariant<out R> : ICovariant<R> { }

// Implementing covariant interface.
class Sample<R> : ICovariant<R> { }

class Program
{
    static void Test()
    {
        ICovariant<Object> iobj = new Sample<Object>();
        ICovariant<String> istr = new Sample<String>();

        // You can assign istr to iobj because
        // the ICovariant interface is covariant.
        iobj = istr;
    }
}

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 n’est pas utilisé 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éset utilisation de variance pour les délégués génériques func et action.

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

Exemple : délégué générique covariant

L’exemple suivant montre comment déclarer, instancier et appeler un délégué générique covariant. Il montre également comment convertir implicitement des types délégués.

// Covariant delegate.
public delegate R DCovariant<out R>();

// Methods that match the delegate signature.
public static Control SampleControl()
{ return new Control(); }

public static Button SampleButton()
{ return new Button(); }

public void Test()
{
    // Instantiate the delegates with the methods.
    DCovariant<Control> dControl = SampleControl;
    DCovariant<Button> dButton = SampleButton;

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

    // Invoke the delegate.
    dControl();
}

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

Spécification du langage C#

Pour plus d'informations, voir la spécification du langage C#. La spécification du langage est la source de référence pour la syntaxe C# et son utilisation.

Voir aussi

• Variance dans les interfaces génériques
• dans
• Modificateurs