Utilizzo della varianza per i delegati generici Func e Action (C# e Visual Basic)
In questi esempi viene dimostrato come utilizzare la covarianza e la controvarianza nei delegati generici Func e Action per consentire di riutilizzare i metodi e fornire maggiore flessibilità nel codice.
Per ulteriori informazioni sulla covarianza e la controvarianza, vedere Varianza nei delegati (C# e Visual Basic).
Utilizzo di delegati con parametri di tipo covariante
Nell'esempio seguente vengono illustrati i vantaggi del supporto della covarianza nei delegati Func generici. Il metodo FindByTitle accetta un parametro del tipo String e restituisce un oggetto del tipo Employee. È tuttavia possibile assegnare questo metodo al delegato Func<String, Person> (Func(Of String, Person) in Visual Basic) perché Employee eredita Person.
' Simple hierarchy of classes.
Public Class Person
End Class
Public Class Employee
Inherits Person
End Class
Class Finder
Public Shared Function FindByTitle(
ByVal title As String) As Employee
' This is a stub for a method that returns
' an employee that has the specified title.
Return New Employee
End Function
Sub Test()
' Create an instance of the delegate without using variance.
Dim findEmployee As Func(Of String, Employee) =
AddressOf FindByTitle
' The delegate expects a method to return Person,
' but you can assign it a method that returns Employee.
Dim findPerson As Func(Of String, Person) =
AddressOf FindByTitle
' You can also assign a delegate
' that returns a more derived type to a delegate
' that returns a less derived type.
findPerson = findEmployee
End Sub
End Class
// 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;
}
}
Utilizzo di delegati con parametri di tipo controvariante
Nell'esempio seguente vengono illustrati i vantaggi del supporto della controvarianza nei delegati Action generici. Il metodo AddToContacts accetta un parametro del tipo Person. È tuttavia possibile assegnare questo metodo al delegato Action<Employee> ((Action(Of Employee) in Visual Basic) perché Employee eredita Person.
Public Class Person
End Class
Public Class Employee
Inherits Person
End Class
Class AddressBook
Shared Sub AddToContacts(ByVal person As Person)
' This method adds a Person object
' to a contact list.
End Sub
Sub Test()
' Create an instance of the delegate without using variance.
Dim addPersonToContacts As Action(Of Person) =
AddressOf 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.
Dim addEmployeeToContacts As Action(Of Employee) =
AddressOf AddToContacts
' You can also assign a delegate
' that accepts a less derived parameter
' to a delegate that accepts a more derived parameter.
addEmployeeToContacts = addPersonToContacts
End Sub
End Class
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;
}
}