Nota
El acceso a esta página requiere autorización. Puede intentar iniciar sesión o cambiar directorios.
El acceso a esta página requiere autorización. Puede intentar cambiar los directorios.
Al asignar un método a un delegado, la covarianza y la contravarianza proporcionan flexibilidad para hacer coincidir un tipo delegado con una firma de método. La covarianza permite que un método tenga un tipo de retorno más derivado que el definido en el delegado. Contravariance permite un método que tiene tipos de parámetros menos derivados que los del tipo delegado.
Ejemplo 1: Covarianza
Descripción
En este ejemplo se muestra cómo se pueden usar delegados con métodos que tienen tipos de retorno que son derivados del tipo de retorno en la firma del delegado. El tipo de datos devuelto por DogsHandler
es de tipo Dogs
, que deriva del tipo Mammals
que se define en el delegado.
Código
class Mammals {}
class Dogs : Mammals {}
class Program
{
// Define the delegate.
public delegate Mammals HandlerMethod();
public static Mammals MammalsHandler()
{
return null;
}
public static Dogs DogsHandler()
{
return null;
}
static void Test()
{
HandlerMethod handlerMammals = MammalsHandler;
// Covariance enables this assignment.
HandlerMethod handlerDogs = DogsHandler;
}
}
Ejemplo 2: Contravarianza
Descripción
En este ejemplo se muestra cómo se pueden usar delegados con métodos que tienen parámetros cuyos tipos son tipos base del tipo de parámetro de firma de delegado. Con la contravarianza, puede usar un controlador de eventos en lugar de controladores independientes. En el ejemplo siguiente se usa dos delegados:
Un delegado KeyEventHandler que define la firma del evento Button.KeyDown. Su firma es:
public delegate void KeyEventHandler(object sender, KeyEventArgs e)
Un delegado MouseEventHandler que define la firma del evento Button.MouseClick. Su firma es:
public delegate void MouseEventHandler(object sender, MouseEventArgs e)
En el ejemplo se define un controlador de eventos con un EventArgs parámetro y se usa para controlar los Button.KeyDown
eventos y Button.MouseClick
. Puede hacerlo porque EventArgs es un tipo base tanto de KeyEventArgs como de MouseEventArgs.
Código
// Event handler that accepts a parameter of the EventArgs type.
private void MultiHandler(object sender, System.EventArgs e)
{
label1.Text = System.DateTime.Now.ToString();
}
public Form1()
{
InitializeComponent();
// You can use a method that has an EventArgs parameter,
// although the event expects the KeyEventArgs parameter.
this.button1.KeyDown += this.MultiHandler;
// You can use the same method
// for an event that expects the MouseEventArgs parameter.
this.button1.MouseClick += this.MultiHandler;
}