Compartir a través de


out (Modificador genérico) (Referencia de C#)

En los parámetros de tipo genérico, la palabra clave out especifica que el parámetro de tipo es covariante.Puede usar la palabra clave out en delegados e interfaces genéricos.

La covarianza permite usar un tipo más derivado que el especificado por el parámetro genérico.Esto permite la conversión implícita de las clases que implementan interfaces variantes y de los tipos delegados.La covarianza y contravarianza son compatibles con los tipos de referencia, pero no con los tipos de valor.

Una interfaz con un parámetro de tipo covariante permite que sus métodos devuelvan tipos más derivados que los especificados por el parámetro de tipo.Por ejemplo, dado que en .NET Framework 4, en IEnumerable<T>, el tipo T es covariante, puede asignar un objeto del tipo IEnumerabe(Of String) a otro objeto del tipo IEnumerable(Of Object) sin usar ningún método de conversión especial.

A un delegado covariante se le puede asignar otro delegado del mismo tipo, pero con un parámetro de tipo genérico más derivado.

Para obtener más información, vea Covarianza y contravarianza (C# y Visual Basic).

Ejemplo

En el ejemplo siguiente se muestra cómo declarar, extender e implementar una interfaz genérica covariante.También se muestra cómo usar la conversión implícita para las clases que implementan una interfaz 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;
    }
}

En una interfaz genérica, un parámetro de tipo se puede declarar como covariante si cumple las siguientes condiciones:

  • El parámetro de tipo se usa solamente como tipo de valor devuelto de los métodos de interfaz y no como tipo de los argumentos de método.

    [!NOTA]

    Hay una excepción para esta regla.Si en una interfaz covariante tiene un delegado genérico contravariante como parámetro de método, puede usar el tipo covariante como parámetro de tipo genérico para este delegado.Para obtener más información sobre los delegados genéricos covariantes y contravariantes, vea Varianza en delegados (C# y Visual Basic) y Usar la varianza para los delegados genéricos Func y Action (C# y Visual Basic).

  • El parámetro de tipo no se usa como restricción genérica para los métodos de interfaz.

En el ejemplo siguiente se muestra cómo declarar, invocar y crear instancias de un delegado genérico covariante.También se muestra cómo convertir implícitamente los tipos de delegado.

// 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(); 
}

En un delegado genérico, un tipo se puede declarar como covariante si se usa solamente como tipo de valor devuelto por un método y no se usa para los argumentos de método.

Especificación del lenguaje C#

Para obtener más información, vea la Especificación del lenguaje C#. La especificación del lenguaje es la fuente definitiva de la sintaxis y el uso de C#.

Vea también

Referencia

in (Modificador genérico) (Referencia de C#)

Modificadores (Referencia de C#)

Conceptos

Varianza en interfaces genéricas (C# y Visual Basic)