C# Generisches überladene Methode mehrdeutig

Question

Dispatching Ich traf nur eine Situation, wo eine Methode Dispatch zweideutig war und fragte sich, ob jemand auf welcher Grundlage der Compiler erklären könnte (.NET 4.0.30319) wählt, was

interface IfaceA 
{ 

} 

interface IfaceB<T> 
{ 
    void Add(IfaceA a); 
    T Add(T t); 
} 

class ConcreteA : IfaceA 
{ 

} 

class abstract BaseClassB<T> : IfaceB<T> 
{ 
    public virtual T Add(T t) { ... } 
    public virtual void Add(IfaceA a) { ... } 
} 

class ConcreteB : BaseClassB<IfaceA> 
{ 
    // does not override one of the relevant methods 
} 

void code() 
{ 
    var concreteB = new ConcreteB(); 

    // it will call void Add(IfaceA a) 
    concreteB.Add(new ConcreteA()); 
} 

nennen Überlastung Warum warnt der Compiler mich überhaupt nicht oder warum kompiliert er überhaupt? Vielen Dank für Ihre Antworten.

Answer 1

Aufruf Es folgt den Regeln in Abschnitt 7.5.3.2 des C# 4 specification („Better Funktionselement“).

Zuerst (naja, nachdem Sie gesehen haben, dass beide Methoden anwendbar sind) müssen wir die Konvertierungen von Argumenttypen zu Parametertypen überprüfen. In diesem Fall ist es ziemlich einfach, weil es nur ein Argument gibt. Weder die Konvertierung des Argumenttyps in den Parametertyp ist "besser", weil beide von ConcreteA in IfaceA konvertieren. Es bewegt sich daher auf die nächste Reihe von Kriterien auf, darunter diese:

Andernfalls, wenn MP spezifischere Parametertypen als MQ hat, dann ist MP besser als MQ. Seien {R1, R2, ..., RN} und {S1, S2, ..., SN} die uninstantiierten und nicht expandierten Parametertypen von MP und MQ. MP des Parametertypen sind spezifischer als MQ ist, wenn für jeden Parameter ist RX nicht weniger spezifisch als SX, und, für zumin dest einen Parameter, RX ist spezifischer als SX: spezifischer als SX:

• Ein Typparameter ist weniger spezifisch als ein Nicht-Typparameter.
• ...

Also auch wenn die Umwandlung gleich gut ist, wird die Überlastung mit IfaceA direkt (und nicht über Delegierten) „besser“ als da ein Parameter vom Typ IfaceA spezifischer ist als ein Parameter vom Typ T.

Es gibt keine Möglichkeit, den Compiler auf dieses Verhalten warnen zu lassen - es ist nur normale Überladungsauflösung.

Answer 2

Da der Compiler zuerst die spezifischste auswählt.

Was passiert, wenn Sie rufen wie so geschieht: Diese etwas erinnert mich an den "Typ-Inferenz a-go-go" in Jon Skeet's BrainTeaser

void code() 
{ 
    var concreteB = new ConcreteB(); 

    IfaceA x = concreteB.Add(new ConcreteA()); 
} 

Answer 3

. Wenn Sie nicht wollen, den Compiler vertrauen, möchten Sie vielleicht seine Wahl zwingen, durch Add<ConcreteA>(new ConcreteA())