clase derivada utilizando el método equivocado

Question

he simplificado mi código para esta

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

La cuestión es que esto requiere

public void AddToTotal(double currency) 

aunque yo estoy llamando con un int y se debería usar

public override void AddToTotal(int number) 

El uso del elemento primario devuelve el resultado esperado.

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

Actualización:

Gracias a @Jan y @azyberezovsky por dirigirme a la specification. He agregado un método virtual vacío a la clase base para solucionar esto por el momento.

Answer 1

A member lookup de un nombre de N en un tipo T se procesa como sigue:

En primer lugar, el conjunto de todos los miembros accesibles nombradas N declaradas en T y los tipos de base de T se construye. Las declaraciones que incluyen un modificador anula son excluidas del conjunto. Si no existen miembros con nombre N y son accesibles, la búsqueda no produce coincidencias y los siguientes pasos no se evalúan.

Por lo tanto cuando se utilice variable de tipo infantil

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

método public override void AddToTotal(int number) se excluye del conjunto, y tenemos sólo un método con el nombre N izquierdo. Int se convierte implícitamente en el doble, por lo que no se produjeron errores.

Answer 2

This answer a this question explica las razones técnicas por las que esto sucede. He incluido la respuesta en línea aquí por conveniencia, pero todo el crédito se debe a tvanfosson.

están en la sección de la Especificación C# Language en Member Lookup y Overload Resolution. El método de sustitución de la clase derivada no es un candidato debido a las reglas de Búsqueda de miembros y el método de clase base no es la mejor coincidencia basada en las reglas de Resolución de sobrecarga .

Sección 7,3

En primer lugar, se construye el conjunto de todos (Sección 3.5) miembros accesibles nombradas N declarada en T y los tipos de bases (Sección 7.3.1) de T. Las declaraciones que incluyen un modificador de anulación se excluyen del conjunto . Si no existen miembros con nombre N y son accesibles, la búsqueda no produce coincidencias y los siguientes pasos no se evalúan.

Sección 7.4.2:

Cada uno de estos contextos define el conjunto de los miembros de función candidatos y la lista de argumentos en su propia manera única, como se describe en detalle en las secciones mencionadas anteriormente. Por ejemplo, el conjunto de candidatos para una invocación a un método no incluye los métodos marcados anulada (Sección 7.3), y los métodos en una clase base no son candidatos si cualquier método en una clase derivada es aplicable (Sección 7.5.5.1) (el énfasis es mío)