Utilisation de la variance dans les délégués (C#)

  • Article

Quand vous assignez une méthode à un délégué, la covariance et la contravariance offrent une grande flexibilité pour la mise en correspondance d’un type délégué avec une signature de méthode. La covariance permet à une méthode d’avoir un type de retour qui est plus dérivé que celui défini dans le délégué. La contravariance autorise une méthode qui a des types de paramètres moins dérivés que ceux du type délégué.

Exemple 1 : Covariance

Description

Cet exemple montre comment vous pouvez utiliser des délégués avec des méthodes ayant des types de retour dérivés du type de retour dans la signature du délégué. Le type de données retourné par DogsHandler est Dogs, qui dérive du type Mammals défini dans le délégué.

Code

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;  
    }  
}

Exemple 2 : Contravariance

Description

Cet exemple montre comment vous pouvez utiliser des délégués avec des méthodes ayant des paramètres dont les types sont des types de base du type de paramètre de signature de délégué. Avec la contravariance, vous pouvez maintenant utiliser un gestionnaire d’événements plutôt que des gestionnaires distincts. L’exemple suivant utilise deux délégués :

  • Un délégué KeyEventHandler qui définit la signature de l’événement Button.KeyDown. Sa signature est :

    public delegate void KeyEventHandler(object sender, KeyEventArgs e)

  • Un délégué MouseEventHandler qui définit la signature de l’événement Button.MouseClick. Sa signature est :

    public delegate void MouseEventHandler(object sender, MouseEventArgs e)

L’exemple définit un gestionnaire d’événements avec un paramètre EventArgs et s’en sert pour gérer les événements Button.KeyDown et Button.MouseClick. C’est possible parce que EventArgs est un type de base de KeyEventArgs et MouseEventArgs.

Code

// 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;  
  
}

Voir aussi