Delen via

Variantie gebruiken voor generieke gedelegeerden Func en Action (C#)

Deze voorbeelden laten zien hoe u covariantie en contravariantie gebruikt in de Func en Action algemene gemachtigden om hergebruik van methoden mogelijk te maken en meer flexibiliteit in uw code te bieden.

Zie Variantie in Delegates (C#) voor meer informatie over covariantie en contravariantie.

Delegates gebruiken met covariante typeparameters

In het volgende voorbeeld ziet u de voordelen van covariantieondersteuning in de generieke Func delegaten. De FindByTitle methode gebruikt een parameter van het String type en retourneert een object van het Employee type. U kunt deze methode echter toewijzen aan de Func<String, Person> delegaat omdat EmployeePerson overerft.

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

Gemachtigden gebruiken met Parameters voor contravarianttype

In het volgende voorbeeld ziet u de voordelen van ondersteuning voor contravariantie in de generieke Action delegates. De AddToContacts methode gebruikt een parameter van het Person type. U kunt deze methode echter toewijzen aan de Action<Employee> delegaat omdat EmployeePerson overerft.

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;  
    }  
}

Contravariantie en anonieme functies

Wanneer u werkt met anonieme functies (lambda-expressies), kan het zijn dat u contra-intuïtief gedrag ondervindt met betrekking tot contravariantie. Bekijk het volgende voorbeeld:

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

Dit gedrag lijkt tegenstrijdig: als contravariantie het toewijzen van een gemachtigde toestaat die een basistype (Person) accepteert aan een gemachtigdevariabele die een afgeleid type verwacht (Employee), waarom mislukt de directe toewijzing van de lambda-expressie?

Het belangrijkste verschil is type-afleiding. In het eerste geval wordt de lambda-expressie voor het eerst toegewezen aan een variabele met type var, waardoor de compiler het type van de lambda kan afleiden als Action<Person>. De volgende toewijzing van Action<Employee> slaagt vanwege contravariantieregels voor delegates.

In het tweede geval kan de compiler niet rechtstreeks afleiden dat de lambda-expressie (Person p) => p.ReadContact() type Action<Person> moet hebben wanneer deze wordt toegewezen aan Action<Employee>. De typedeductieregels voor anonieme functies passen niet automatisch contravariantie toe tijdens de initiële typebepaling.

Tijdelijke oplossingen

Als u directe toewijzing wilt gebruiken, kunt u expliciete casting gebruiken:

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

Dit gedrag illustreert het verschil tussen gedelegeerde contravariantie (die werkt nadat typen zijn ingesteld) en lambda-expressietypedeductie (die zich tijdens de compilatie voordoet).

Zie ook