Usar la varianza para los delegados genéricos Func y Action (C#)

En estos ejemplos se muestra cómo usar covarianza y contravarianza en los Func y Action delegados genéricos para habilitar la reutilización de métodos y proporcionar más flexibilidad en su código.

Para obtener más información sobre la covarianza y la contravarianza, vea Varianza en delegados (C#)

Uso de delegados con parámetros de tipo covariantes

En el ejemplo siguiente se muestran las ventajas de la compatibilidad con la covarianza en los delegados Func genéricos. El FindByTitle método toma un parámetro del String tipo y devuelve un objeto del Employee tipo . Sin embargo, puede asignar este método al Func<String, Person> delegado porque Employee hereda Person.

// Simple hierarchy of classes.  
public class Person { }  
public class Employee : Person { }  
class Program  
{  
    static Employee FindByTitle(String title)  
    {  
        // This is a stub for a method that returns  
        // an employee that has the specified title.  
        return new Employee();  
    }  
  
    static void Test()  
    {  
        // Create an instance of the delegate without using variance.  
        Func<String, Employee> findEmployee = FindByTitle;  
  
        // The delegate expects a method to return Person,  
        // but you can assign it a method that returns Employee.  
        Func<String, Person> findPerson = FindByTitle;  
  
        // You can also assign a delegate
        // that returns a more derived type
        // to a delegate that returns a less derived type.  
        findPerson = findEmployee;  
  
    }  
}  

Usar delegados con parámetros de tipo contravariante

En el ejemplo siguiente se muestran las ventajas de la compatibilidad con la contravarianza en los delegados Action genéricos. El AddToContacts método toma un parámetro del Person tipo . Sin embargo, puede asignar este método al Action<Employee> delegado porque Employee hereda Person.

public class Person { }  
public class Employee : Person { }  
class Program  
{  
    static void AddToContacts(Person person)  
    {  
        // This method adds a Person object  
        // to a contact list.  
    }  
  
    static void Test()  
    {  
        // Create an instance of the delegate without using variance.  
        Action<Person> addPersonToContacts = AddToContacts;  
  
        // The Action delegate expects
        // a method that has an Employee parameter,  
        // but you can assign it a method that has a Person parameter  
        // because Employee derives from Person.  
        Action<Employee> addEmployeeToContacts = AddToContacts;  
  
        // You can also assign a delegate
        // that accepts a less derived parameter to a delegate
        // that accepts a more derived parameter.  
        addEmployeeToContacts = addPersonToContacts;  
    }  
}  

Contravarianza y funciones anónimas

Al trabajar con funciones anónimas (expresiones lambda), es posible que encuentre un comportamiento contraintuitivo relacionado con la contravarianza. Considere el ejemplo siguiente:

public class Person
{
    public virtual void ReadContact() { /*...*/ }
}

public class Employee : Person
{
    public override void ReadContact() { /*...*/ }
}

class Program
{
    private static void Main()
    {
        var personReadContact = (Person p) => p.ReadContact();

        // This works - contravariance allows assignment.
        Action<Employee> employeeReadContact = personReadContact;

        // This causes a compile error: CS1661.
        // Action<Employee> employeeReadContact2 = (Person p) => p.ReadContact();
    }
}

Este comportamiento parece contradictorio: si la contravarianza permite asignar un delegado que acepta un tipo base (Person) a una variable delegada que espera un tipo derivado (Employee), ¿por qué se produce un error en la asignación directa de la expresión lambda?

La diferencia clave es la inferencia de tipos. En el primer caso, la expresión lambda se asigna primero a una variable con el tipo var, lo que hace que el compilador infiera el tipo de la lambda como Action<Person>. La asignación posterior se realiza correctamente debido a Action<Employee> las reglas de contravarianza para los delegados.

En el segundo caso, el compilador no puede deducir directamente que la expresión (Person p) => p.ReadContact() lambda debe tener el tipo Action<Person> cuando se asigna a Action<Employee>. Las reglas de inferencia de tipos para las funciones anónimas no aplican automáticamente contravarianza durante la determinación del tipo inicial.

Soluciones alternativas

Para que la asignación directa funcione, puede usar la conversión explícita:

// Explicit cast to the desired delegate type.
Action<Employee> employeeReadContact = (Action<Person>)((Person p) => p.ReadContact());

// Or specify the lambda parameter type that matches the target delegate.
Action<Employee> employeeReadContact2 = (Employee e) => e.ReadContact();

Este comportamiento ilustra la diferencia entre la contravarianza de delegado (que funciona después de establecer tipos) y la inferencia de tipos de expresión lambda (que se produce durante la compilación).

Consulte también

• Covarianza y contravarianza (C#)
• Genéricos