Pourquoi une expression d'accès de base ne peut-elle pas être distribuée dynamiquement en C#?

Question

Je pense que cette question est mieux comprise par un exemple si on y va:

public class Base { 

     // this method works fine 
     public void MethodA(dynamic input) { 
      // handle input 
     } 

    } 

    public class Derived: Base { // Derived was named Super in my original post 

     // This is also fine 
     public void MethodB(dynamic input) { 
      MethodA(input); 
     } 

     // This method does not compile and the compiler says: 
     // The call to method 'MethodA' needs to be dynamically dispatched, 
     // but cannot be because it is part of a base access expression. 
     // Consider casting the dynamic arguments or eliminating the base access. 
     public void MethodC(dynamic input) { 
      base.MethodA(input); 
     } 

    } 

Le compilateur indique clairement que la méthode C est invalide en raison du fait qu'il utilise un accès de base à appeler la méthode A. Mais pourquoi est-ce?

Et comment appeler la méthode de base lors du remplacement d'une méthode par des paramètres dynamiques?

E.g. si je voulais faire:

public class Base { 

     // this method works fine 
     public virtual void MethodA(dynamic input) { 
      Console.WriteLine(input.say); 
     } 

    } 

    public class Derived: Base { // Derived was named Super in my original post 

     // this does not compile 
     public override void MethodA(dynamic input) { 
      //apply some filter on input 
      base.MethodA(input); 
     } 

    } 

Answer 1

Oui, cela ne peut pas fonctionner par conception. L'appel base.MethodA() effectue un appel non virtuel à une méthode virtuelle. Le compilateur a peu de difficulté à émettre l'IL pour cela dans le cas non dynamique puisqu'il sait quelle méthode spécifique doit être appelée.

Ce n'est pas le cas pour la répartition dynamique. C'est le travail du DLR de déterminer quelle méthode spécifique doit être appelée. Ce avec quoi il doit travailler est le MethodTable de la classe Derived. Cette table ne contient pas l'adresse de la méthode MethodA de la classe de base. Il a été écrasé par la dérogation. Tout ce qu'il peut éventuellement faire est d'appeler la méthode Derived.MethodA(). Ce qui viole le contrat de mot-clé de base.

Answer 2

Dans votre exemple, Derived ne dispose pas d'une méthode nommée MethodA conséquent, l'appel base.MethodA() est la même chose que d'appeler this.MethodA(), de sorte que vous pouvez simplement appeler la méthode directement et être fait avec il. Mais je suppose que vous avez également un this.MethodA() différent et vous voulez être en mesure d'appeler base.MethodA(). Dans ce cas, il suffit d'écouter les conseils et jeter l'argument du compilateur à object (rappelez-vous que dynamic est vraiment juste object que les compilateur traite d'une manière spéciale):

base.MethodA((object)input); 

Answer 3

Vous pouvez utiliser ceci:

((Base)this).MethodA(input); 

Spécification dit:

A de temps de liaison, une base d'accès expressions de la forme base.I et base [E] sont évalués exactement comme si ils ont été écrits ((B) this) .I et ((B) this) [E], où B est la classe de base de la classe ou structure dans laquelle la construction se produit

Donc, pourquoi votre exemple donne une erreur et cette construction compile bien c'est une bonne question.

Answer 4

Le problème n'est pas l'argument dynamique, mais l'appel utilise le DLR pour effectuer le dispatching (que l'exemple suivant illustre). Ce genre d'appel n'est peut-être pas appuyé par le DLR.

public class Base 
{ 
    public virtual void Method(int input) 
    { 
    } 
} 

public class Super : Base 
{ 
    public override void Method(int input) 
    { 
     dynamic x = input; 
     base.Method(x); // invalid 
    } 
}