abgeleiteten Klasse die falsche Methode

Question

Ich habe meinen Code zu diesem

internal class Program 
{ 
    private static void Main(string[] args) 
    { 
     Child d = new Child(); 
     int i = 100; 
     d.AddToTotal(i); 

     Console.ReadKey(); 
    } 

    private class Parent 
    { 
     public virtual void AddToTotal(int x) 
     { 
      Console.WriteLine("Parent.AddToTotal(int)"); 
     } 
    } 

    private class Child : Parent 
    { 
     public override void AddToTotal(int number) 
     { 
      Console.WriteLine("Child.AddToTotal(int)"); 
     } 

     public void AddToTotal(double currency) 
     { 
      Console.WriteLine("Child.AddToTotal(double)"); 
     } 
    } 
} 

vereinfacht Das Problem ist, dass diese Anrufe

public void AddToTotal(double currency) 

obwohl ich es mit einem int nenne und es sollte

verwenden werden

public override void AddToTotal(int number) 

Die Verwendung des übergeordneten Elements gibt das erwartete Ergebnis zurück.

Parent d = new Child(); 
int i = 100; 
d.AddToTotal(i); 

Update:

Dank @Jan und @azyberezovsky für mich zum specification zeigt. Ich habe der Basisklasse eine virtuelle leere Methode hinzugefügt, um dies jetzt zu umgehen.

Answer 1

A member lookup eines Namens N in einem Typ T wird wie folgt verarbeitet:

Zunächst wird die Menge aller zugänglichen Mitglieder namens N in T deklariert und die Basistypen von T aufgebaut ist. Erklärungen, die einen überschreiben Modifizierer enthalten, sind ausgeschlossen aus dem Satz. Wenn keine Mitglieder mit dem Namen N existieren und zugänglich sind, erzeugt die Suche keine Übereinstimmung, und die folgenden Schritte werden nicht ausgewertet.

So wenn Sie Variable von Child Art

Child d = new Child(); 
int i = 100; 
d.AddToTotal(i); 

Methode public override void AddToTotal(int number) wird von Satz ausgeschlossen, und wir haben nur eine Methode mit dem Namen N links. Int wird implizit in double umgewandelt, so dass keine Fehler aufgetreten sind.

Answer 2

This answer zu this question erklärt die technischen Gründe, warum dies passiert. Ich habe die Antwort inline hier für die Bequemlichkeit enthalten, aber alle Kredit ist aufgrund tvanfosson.

Siehe Abschnitt der # Language Specification C auf Member Lookup und Overload Resolution. Die Überschreibungsmethode der abgeleiteten Klasse ist aufgrund der Regeln für die Membersuche nicht geeignet, und die Basisklassenmethode ist nicht die beste Übereinstimmung basierend auf den Regeln für die Überladungsauflösung .

Abschnitt 7,3

Zunächst wird die Menge aller zugänglich (Abschnitt 3.5) Mitglieder N genannt in T und den Basistypen deklariert (Abschnitt 7.3.1) von T aufgebaut. Deklarationen, die einen Überschreibungsmodifikator enthalten, werden vom -Set ausgeschlossen. Wenn keine Mitglieder mit dem Namen N vorhanden sind und auf sie zugegriffen werden kann, erzeugt die Suche keine Übereinstimmung und die folgenden Schritte werden nicht ausgewertet.

Abschnitt 7.4.2:

da jeder dieser Kontexte definieren den Satz von Kandidatenfunktionsmitgliedern und die Liste der Argumente in seiner eigenen einzigartigen Art und Weise, in der oben aufgeführt Detail in den Abschnitten beschrieben. Zum Beispiel enthält der Satz von Kandidaten für einen Methodenaufruf keine mit überschriebenen Methoden (Abschnitt 7.3) und Methoden in einer Basisklasse sind keine Kandidaten , wenn eine Methode in einer abgeleiteten Klasse anwendbar ist (Abschnitt 7.5.5.1). (Hervorhebung von mir)