En C#, les arguments du gestionnaire d'événements sont-ils contravariants?

Question

Si j'ai une classe qui déclenche un événement, avec (par exemple) FrobbingEventArgs, suis-je autorisé à le gérer avec une méthode qui prend EventArgs?

Voici quelques code:

class Program 
{ 
    static void Main(string[] args) 
    { 
     Frobber frobber = new Frobber(); 
     frobber.Frobbing += FrobberOnFrobbing; 
     frobber.Frob(); 
    } 

    private static void FrobberOnFrobbing(object sender, 
     EventArgs e) 
    { 
     // Do something interesting. Note that the parameter is 'EventArgs'. 
    } 
} 

internal class Frobber 
{ 
    public event EventHandler<FrobbingEventArgs> Frobbing; 
    public event EventHandler<FrobbedEventArgs> Frobbed; 

    public void Frob() 
    { 
     OnFrobbing(); 

     // Frob. 

     OnFrobbed(); 
    } 

    private void OnFrobbing() 
    { 
     var handler = Frobbing; 
     if (handler != null) 
     handler(this, new FrobbingEventArgs()); 
    } 

    private void OnFrobbed() 
    { 
     var handler = Frobbed; 
     if (handler != null) 
     handler(this, new FrobbedEventArgs()); 
    } 
} 

internal class FrobbedEventArgs : EventArgs { } 
internal class FrobbingEventArgs : EventArgs { } 

La raison pour laquelle je demande est que semble ReSharper d'avoir un problème avec (ce qui ressemble à) l'équivalent en XAML, et je me demande si c'est un bogue dans ReSharper, ou une erreur dans ma compréhension de C#.

Answer 1

Peut-être covariant est pas le mot

Fermer. Le mot que vous recherchez est contravariant. La conversion d'un groupe de méthodes en un type de délégué est covariant dans le type de retour et contravariante dans les types de paramètres formels.

Voici mon article de blog sur le sujet:

http://blogs.msdn.com/ericlippert/archive/2007/10/19/covariance-and-contravariance-in-c-part-three-member-group-conversion-variance.aspx

si j'ai une classe qui déclenche un événement, avec (par exemple) FrobbingEventArgs, suis-je le droit de le manipuler avec une méthode qui prend EventArgs?

Eh bien, vous l'avez essayé et cela a fonctionné, donc clairement oui. Pour la justification dans la spécification, voir la section intitulée utilement "Conversions de groupes de méthodes".

Answer 2

Oui, vous pouvez mais lorsque vous accédez au paramètre e dans le gestionnaire d'événements, vous ne pourrez accéder aux membres appartenant à la classe de base EventArgs que si vous l'avez converti en tant que type dérivé. Je pense que le mot est polymorphe plutôt que covariant et toutes les classes de C# sont pollymorphes, c'est une caractéristique du langage.

Answer 3

Étant donné que les événements ne peuvent être invoqués qu'à partir de la classe qui les a déclarés, votre classe dérivée ne peut pas invoquer directement les événements déclarés dans la classe de base.

Vous pouvez réaliser ce que vous voulez en créant une méthode d'invocation protégée pour l'événement. En appelant cette méthode invoquant, votre classe dérivée peut appeler l'événement.

Pour encore plus de flexibilité, la méthode d'appel est souvent déclarée virtuelle, ce qui permet à la classe dérivée de la surcharger. Cela permet à la classe dérivée d'intercepter les événements que la classe de base appelle, en effectuant éventuellement son propre traitement.

Vous pouvez faire:

protected void OnFrobbing(EventArgs e) 
    { 
     var handler = Frobbing; 
     if (handler != null) 
     handler(this, new e); 
    } 

Ou:

protected virtual void OnFrobbing(EventArgs e) 
    { 
     var handler = Frobbing; 
     if (handler != null) 
     handler(this, new e); 
    }