Question

我已将代码简化为此

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

问题在于此调用

public void AddToTotal(double currency)

虽然我用int调用它，它应该使用

public override void AddToTotal(int number)

使用父级返回预期结果。

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

更新

感谢@Jan和@azyberezovsky指点我specification。我已经向基类添加了一个虚拟的空方法，以便现在解决这个问题。

Answer 1

类型T中名称N的member lookup按如下方式处理：

首先，构造在T中声明的名为N的所有可访问成员的集合，并构造T的基本类型。 包含覆盖修饰符的声明从集合排除。如果没有名为N的成员存在且可访问，则查找不会产生匹配，并且不评估以下步骤。

因此，当您使用Child类型的变量

时

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

方法public override void AddToTotal(int number)从集合中排除，我们只有一个名称为N的方法。 Int被隐式转换为double，因此不会发生错误。

Answer 2

This answer到this question解释了为什么会发生这种情况的技术原因。为方便起见，我在此处列出了答案内容，但所有信用都归于tvanfosson。

请参阅Member Lookup上的C＃语言规范部分   和Overload Resolution。派生类的重写方法   由于成员查询和基础的规则，不是候选人   class方法不是基于Overload Resolution的最佳匹配   规则。

第7.3节


首先，名为N的所有可访问（第3.5节）成员的集合     在T中声明并且构造了T的基本类型（第7.3.1节）。     包含覆盖修饰符的声明将从中排除     组。如果没有名为N的成员存在且可访问，则查找     不产生匹配，并且不评估以下步骤。


第7.4.2节：


这些上下文中的每一个都定义了候选函数成员集     和自己独特方式的参数列表，如中所述     上面列出的部分中的详细信息。例如，一组     方法调用的候选者不包括标记的方法     覆盖（第7.3节），基类中的方法不是候选者     如果派生类中的任何方法适用（第7.5.5.1节）。     （强调我的）

派生类使用错误的方法

2 个答案: