Varianza en delegados (C#)Variance in Delegates (C#)

En .NET Framework 3.5 se presentó por primera vez la compatibilidad con la varianza para hacer coincidir firmas de método con tipos de delegados en todos los delegados en C#..NET Framework 3.5 introduced variance support for matching method signatures with delegate types in all delegates in C#. Esto significa que puede asignar a los delegados no solo métodos con firmas coincidentes, sino métodos que devuelven tipos más derivados (covarianza) o que aceptan parámetros con tipos menos derivados (contravarianza) que el especificado por el tipo de delegado.This means that you can assign to delegates not only methods that have matching signatures, but also methods that return more derived types (covariance) or that accept parameters that have less derived types (contravariance) than that specified by the delegate type. Esto incluye delegados genéricos y no genéricos.This includes both generic and non-generic delegates.

Por ejemplo, consideremos el siguiente código, que tiene dos clases y dos delegados: genéricos y no genéricos.For example, consider the following code, which has two classes and two delegates: generic and non-generic.

public class First { }  
public class Second : First { }  
public delegate First SampleDelegate(Second a);  
public delegate R SampleGenericDelegate<A, R>(A a);  

Al crear delegados de los tipos SampleDelegate o SampleGenericDelegate<A, R>, puede asignar uno de los métodos siguientes a dichos delegados.When you create delegates of the SampleDelegate or SampleGenericDelegate<A, R> types, you can assign any one of the following methods to those delegates.

// Matching signature.  
public static First ASecondRFirst(Second first)  
{ return new First(); }  
  
// The return type is more derived.  
public static Second ASecondRSecond(Second second)  
{ return new Second(); }  
  
// The argument type is less derived.  
public static First AFirstRFirst(First first)  
{ return new First(); }  
  
// The return type is more derived   
// and the argument type is less derived.  
public static Second AFirstRSecond(First first)  
{ return new Second(); }  

En el ejemplo de código siguiente se ilustra la conversión implícita entre la firma del método y el tipo de delegado.The following code example illustrates the implicit conversion between the method signature and the delegate type.

// Assigning a method with a matching signature   
// to a non-generic delegate. No conversion is necessary.  
SampleDelegate dNonGeneric = ASecondRFirst;  
// Assigning a method with a more derived return type   
// and less derived argument type to a non-generic delegate.  
// The implicit conversion is used.  
SampleDelegate dNonGenericConversion = AFirstRSecond;  
  
// Assigning a method with a matching signature to a generic delegate.  
// No conversion is necessary.  
SampleGenericDelegate<Second, First> dGeneric = ASecondRFirst;  
// Assigning a method with a more derived return type   
// and less derived argument type to a generic delegate.  
// The implicit conversion is used.  
SampleGenericDelegate<Second, First> dGenericConversion = AFirstRSecond;  

Para obtener más ejemplos, vea Using Variance in Delegates (C#) (Usar varianza en delegados (C#)) y Using Variance for Func and Action Generic Delegates (C#) (Usar varianza para delegados genéricos Func y Action (C#)).For more examples, see Using Variance in Delegates (C#) and Using Variance for Func and Action Generic Delegates (C#).

Varianza en parámetros de tipo genéricoVariance in Generic Type Parameters

En .NET Framework 4 o posterior puede habilitar la conversión implícita entre los delegados, de modo que los delegados genéricos con tipos diferentes especificados por parámetros de tipo genérico se puedan asignar entre sí, en el caso de que los tipos se hereden entre sí, como requiere la varianza.In .NET Framework 4 or later you can enable implicit conversion between delegates, so that generic delegates that have different types specified by generic type parameters can be assigned to each other, if the types are inherited from each other as required by variance.

Para habilitar la conversión implícita, debe declarar explícitamente parámetros genéricos en un delegado como covariante o contravariante mediante la palabra clave in o out.To enable implicit conversion, you must explicitly declare generic parameters in a delegate as covariant or contravariant by using the in or out keyword.

En el ejemplo de código siguiente se muestra cómo se crea un delegado que tiene un parámetro de tipo genérico covariante.The following code example shows how you can create a delegate that has a covariant generic type parameter.

// Type T is declared covariant by using the out keyword.  
public delegate T SampleGenericDelegate <out T>();  
  
public static void Test()  
{  
    SampleGenericDelegate <String> dString = () => " ";  
  
    // You can assign delegates to each other,  
    // because the type T is declared covariant.  
    SampleGenericDelegate <Object> dObject = dString;             
}  

Si usa solo la compatibilidad con la varianza para hacer coincidir firmas de método con tipos de delegados y no usa las palabras clave in y out, es posible que en algunas ocasiones pueda crear instancias de delegados con métodos o expresiones lambda idénticos, pero no pueda asignar un delegado a otro.If you use only variance support to match method signatures with delegate types and do not use the in and out keywords, you may find that sometimes you can instantiate delegates with identical lambda expressions or methods, but you cannot assign one delegate to another.

En el ejemplo de código siguiente, SampleGenericDelegate<String> no se puede convertir explícitamente a SampleGenericDelegate<Object>, aunque String hereda Object.In the following code example, SampleGenericDelegate<String> cannot be explicitly converted to SampleGenericDelegate<Object>, although String inherits Object. Para solucionar este problema, marque el parámetro genérico T con la palabra clave out.You can fix this problem by marking the generic parameter T with the out keyword.

public delegate T SampleGenericDelegate<T>();  
  
public static void Test()  
{  
    SampleGenericDelegate<String> dString = () => " ";  
  
    // You can assign the dObject delegate  
    // to the same lambda expression as dString delegate  
    // because of the variance support for   
    // matching method signatures with delegate types.  
    SampleGenericDelegate<Object> dObject = () => " ";  
  
    // The following statement generates a compiler error  
    // because the generic type T is not marked as covariant.  
    // SampleGenericDelegate <Object> dObject = dString;  
  
}  

Delegados genéricos con parámetros de tipo variante en .NET FrameworkGeneric Delegates That Have Variant Type Parameters in the .NET Framework

En .NET Framework 4 se presentó por primera vez la compatibilidad con la varianza para los parámetros de tipo genérico en varios delegados genéricos existentes:.NET Framework 4 introduced variance support for generic type parameters in several existing generic delegates:

Para obtener más información y ejemplos, vea Using Variance for Func and Action Generic Delegates (C#) (Usar varianza para delegados genéricos Func y Action (C#)).For more information and examples, see Using Variance for Func and Action Generic Delegates (C#).

Declarar parámetros de tipo variante en delegados genéricosDeclaring Variant Type Parameters in Generic Delegates

Si un delegado genérico tiene parámetros de tipo genérico covariante o contravariante, se puede hacer referencia a él como un delegado genérico variante.If a generic delegate has covariant or contravariant generic type parameters, it can be referred to as a variant generic delegate.

Puede declarar un parámetro de tipo genérico covariante en un delegado genérico mediante la palabra clave out.You can declare a generic type parameter covariant in a generic delegate by using the out keyword. El tipo covariante puede usarse solo como un tipo de valor devuelto de método, y no como un tipo de argumentos de método.The covariant type can be used only as a method return type and not as a type of method arguments. En el siguiente ejemplo de código se muestra cómo declarar un delegado genérico covariante.The following code example shows how to declare a covariant generic delegate.

public delegate R DCovariant<out R>();  

Puede declarar un parámetro de tipo genérico contravariante en un delegado genérico mediante la palabra clave in.You can declare a generic type parameter contravariant in a generic delegate by using the in keyword. El tipo contravariante puede usarse solo como un tipo de argumentos de método, y no como un tipo de valor devuelto de método.The contravariant type can be used only as a type of method arguments and not as a method return type. En el siguiente ejemplo de código se muestra cómo declarar un delegado genérico contravariante.The following code example shows how to declare a contravariant generic delegate.

public delegate void DContravariant<in A>(A a);  

Importante

Los parámetros ref, in y out de C# no se pueden marcar como variantes.ref, in, and out parameters in C# can't be marked as variant.

También es posible admitir la varianza y la covarianza en el mismo delegado, pero para parámetros de tipo diferentes.It is also possible to support both variance and covariance in the same delegate, but for different type parameters. Esta implementación se muestra en el ejemplo siguiente.This is shown in the following example.

public delegate R DVariant<in A, out R>(A a);  

Crear instancias de delegados genéricos variantes e invocarlosInstantiating and Invoking Variant Generic Delegates

Puede crear instancias de delegados variantes e invocarlos del mismo modo que crea instancias de delegados invariables y los invoca.You can instantiate and invoke variant delegates just as you instantiate and invoke invariant delegates. En el ejemplo siguiente, se crea una instancia del delegado mediante una expresión lambda.In the following example, the delegate is instantiated by a lambda expression.

DVariant<String, String> dvariant = (String str) => str + " ";  
dvariant("test");  

Combinar delegados genéricos variantesCombining Variant Generic Delegates

No debe combinar delegados variantes.You should not combine variant delegates. El método Combine no admite la conversión de delegados variantes y espera que los delegados sean exactamente del mismo tipo.The Combine method does not support variant delegate conversion and expects delegates to be of exactly the same type. Esto puede provocar una excepción en tiempo de ejecución cuando se combinan delegados mediante el método Combine o mediante el operador +, como se muestra en el ejemplo de código siguiente.This can lead to a run-time exception when you combine delegates either by using the Combine method or by using the + operator, as shown in the following code example.

Action<object> actObj = x => Console.WriteLine("object: {0}", x);  
Action<string> actStr = x => Console.WriteLine("string: {0}", x);  
// All of the following statements throw exceptions at run time.  
// Action<string> actCombine = actStr + actObj;  
// actStr += actObj;  
// Delegate.Combine(actStr, actObj);  

Varianza en parámetros de tipo genérico para los tipos de referencia y valorVariance in Generic Type Parameters for Value and Reference Types

La varianza para parámetros de tipo genérico solo es compatible con tipos de referencia.Variance for generic type parameters is supported for reference types only. Por ejemplo, DVariant<int> no se puede convertir implícitamente en DVariant<Object> o DVariant<long>, porque un entero es un tipo de valor.For example, DVariant<int> can't be implicitly converted to DVariant<Object> or DVariant<long>, because integer is a value type.

En el ejemplo siguiente se muestra que la varianza en parámetros de tipo genérico no se admite para tipos de valor.The following example demonstrates that variance in generic type parameters is not supported for value types.

// The type T is covariant.  
public delegate T DVariant<out T>();  
  
// The type T is invariant.  
public delegate T DInvariant<T>();  
  
public static void Test()  
{  
    int i = 0;  
    DInvariant<int> dInt = () => i;  
    DVariant<int> dVariantInt = () => i;  
  
    // All of the following statements generate a compiler error  
    // because type variance in generic parameters is not supported  
    // for value types, even if generic type parameters are declared variant.  
    // DInvariant<Object> dObject = dInt;  
    // DInvariant<long> dLong = dInt;  
    // DVariant<Object> dVariantObject = dVariantInt;  
    // DVariant<long> dVariantLong = dVariantInt;              
}  

Vea tambiénSee also