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

Para los parámetros de tipo genérico, la in palabra clave especifica que el parámetro de tipo es contravariante. Puede usar la in palabra clave en interfaces y delegados genéricos.

Contravariance permite usar un tipo menos derivado que el especificado por el parámetro genérico. Esto permite la conversión implícita de clases que implementan interfaces contravariantes y conversión implícita de tipos delegados. La covarianza y la contravarianza en los parámetros de tipo genérico se admiten para los tipos de referencia, pero no se admiten para los tipos de valor.

Un tipo se puede declarar contravariante en una interfaz genérica o un delegado solo si define el tipo de parámetros de un método y no del tipo de valor devuelto de un método. InLos parámetros , refy out deben ser invariables, lo que significa que no son covariante ni contravariante.

Una interfaz que tiene un parámetro de tipo contravariante permite a sus métodos aceptar argumentos de tipos menos derivados que los especificados por el parámetro de tipo de interfaz. Por ejemplo, en la IComparer<T> interfaz, el tipo T es contravariante, puede asignar un objeto del IComparer<Person> tipo a un objeto del IComparer<Employee> tipo sin usar ningún método de conversión especial si Employee hereda Person.

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

Para obtener más información, vea Covarianza y Contravarianza.

Interfaz genérica contravariante

En el ejemplo siguiente se muestra cómo declarar, extender e implementar una interfaz genérica contravariante. También muestra cómo puede usar la conversión implícita para las clases que implementan esta interfaz.

// Contravariant interface.
interface IContravariant<in A> { }

// Extending contravariant interface.
interface IExtContravariant<in A> : IContravariant<A> { }

// Implementing contravariant interface.
class Sample<A> : IContravariant<A> { }

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

        // You can assign iobj to istr because
        // the IContravariant interface is contravariant.
        istr = iobj;
    }
}

Delegado genérico contravariante

En el ejemplo siguiente se muestra cómo declarar, crear instancias e invocar un delegado genérico contravariante. También muestra cómo puede convertir implícitamente un tipo de delegado.

// Contravariant delegate.
public delegate void DContravariant<in A>(A argument);

// Methods that match the delegate signature.
public static void SampleControl(Control control)
{ }
public static void SampleButton(Button button)
{ }

public void Test()
{

    // Instantiating the delegates with the methods.
    DContravariant<Control> dControl = SampleControl;
    DContravariant<Button> dButton = SampleButton;

    // You can assign dControl to dButton
    // because the DContravariant delegate is contravariant.
    dButton = dControl;

    // Invoke the delegate.
    dButton(new Button());
}

Especificación del lenguaje C#

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

Consulte también

• Covarianza y contravarianza
• Modificadores