Variantie gebruiken voor algemene gedelegeerden voor func en actie (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 Gemachtigden (C#) voor meer informatie over covariantie en contravariantie.
Gemachtigden gebruiken met parameters voor covarianttype
In het volgende voorbeeld ziet u de voordelen van covariantieondersteuning in de algemene Func
gemachtigden. 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>
gemachtigde omdat Employee
deze wordt Person
overgenomen.
// 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 contravariantieondersteuning in de algemene Action
gemachtigden. De AddToContacts
methode gebruikt een parameter van het Person
type. U kunt deze methode echter toewijzen aan de Action<Employee>
gemachtigde omdat Employee
deze wordt Person
overgenomen.
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;
}
}