Usar varianza en delegados (C#)

  • Artículo

Al asignar un método a un delegado, la covarianza y la contravarianza proporcionan flexibilidad para hacer coincidir un tipo de delegado con una firma de método. La covarianza permite que un método tenga un tipo de valor devuelto más derivado que el definido en el delegado. La contravarianza permite un método que tiene tipos de parámetro menos derivados que los del tipo de delegado.

Ejemplo 1: Covarianza

Descripción

En este ejemplo se muestra cómo se pueden usar delegados con métodos que tienen tipos de valor devuelto derivados del tipo de valor devuelto en la firma del delegado. El tipo de datos devuelto por DogsHandler es de tipo Dogs, que se deriva del tipo Mammals definido 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 que son tipos base del tipo de parámetro de la firma del delegado. Con la contravarianza, puede usar un controlador de eventos en lugar de controladores independientes. En el ejemplo siguiente se usan 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 parámetro EventArgs, que se usa para controlar los eventos Button.KeyDown y Button.MouseClick. Es posible hacer esto porque EventArgs es un tipo base de KeyEventArgs y 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;  
  
}

Consulte también