Usando variância para delegados genéricos de ação e func (C#)
Estes exemplos demonstram como usar covariância e contravariância nos delegados genéricos e Action
para permitir a Func
reutilização de métodos e fornecer mais flexibilidade em seu código.
Para obter mais informações sobre covariância e contravariância, consulte Variância em delegados (C#).
Usando delegados com parâmetros de tipo covariante
O exemplo a seguir ilustra os benefícios do suporte à covariância nos delegados genéricos Func
. O FindByTitle
método usa um parâmetro do String
tipo e retorna um objeto do Employee
tipo. No entanto, você pode atribuir esse método ao Func<String, Person>
delegado porque Employee
herda 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;
}
}
Usando delegados com parâmetros de tipo contravariante
O exemplo a seguir ilustra os benefícios do suporte à contravariância nos delegados genéricos Action
. O AddToContacts
método usa um parâmetro do Person
tipo. No entanto, você pode atribuir esse método ao Action<Employee>
delegado porque Employee
herda 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;
}
}