方法解析-为什么不调用重载方法[重复]答案

【问题标题】：Method resolution - why is the overloaded method not called [duplicate]方法解析-为什么不调用重载方法[重复]
【发布时间】：2017-06-11 22:55:48
【问题描述】：

我正在探索访问者模式，下面是代码。请注意，我已经知道如何解决这个问题 - 使用虚拟方法并使用各种重载扩展访问者接口。我试图更好地理解 c# 中的类型和重载解析。

在测试方法中，调用Accept方法时，总是调用参数类型为“Element”的Visit方法，而不是BinaryOperator。根据对 SO 上其他类似问题的回答，这是因为重载方法和对象类型是在编译时解决的。

链接：

why-isnt-the-overloaded

runtime-type-vs-compile-time

non-virtual-method-resolution

当我检查生成的 IL 时，对于 Accept 方法，调用 Visitor.Visit() 的指令是“callvirt”而不是“call”。我应该在 IL 中查看其他指示重载是在编译时设置的内容吗？

此外，如果我在 Accept 方法中使用反射检查对象类型，它会打印 MathVisitor 和 BinaryOperator。所以运行时知道正确的类型。那为什么没有调用Visit方法的正确重载呢？

抽象：

public enum MathOp
{
    ADD,
    SUBSTRACT,
    MULTIPLY
}

public interface IElementVisitor
{
    void Visit(Element e);
}

public abstract class Element
{
    public string ElementValue { get; set; }
    public  void Accept(IElementVisitor ev) {

        //Console.WriteLine("Type for Paramter is {0}",ev.GetType().Name);
        //Console.WriteLine("Type for 'this' is {0}", this.GetType().Name);

        ev.Visit(this);

        //(ev as dynamic).Visit(this as dynamic);
    }
    public int ToNumber
    {
        get { return int.Parse(ElementValue); }
    }
}

混凝土：

class NumberLiteral:Element
{
    public NumberLiteral(int number)
    {
        ElementValue = number.ToString();
    }
}

class BinaryOperator:Element
{
    public NumberLiteral Left { get; set; }
    public NumberLiteral Right { get; set; }

    public MathOp MathOpType { get; set; }

    public BinaryOperator(MathOp optype)
    {
        MathOpType = optype;
    }
}

class MathVisitor : IElementVisitor
{
    public int Result { get; private set; }
    public void Visit(Element e)
    {
        Console.WriteLine("---Not Implemented--for--Element");
    }

    public void Visit(NumberLiteral e)
    {
        Console.WriteLine("Num Lit - do nothing");
    }

    public void Visit(BinaryOperator b)
    {
        if (b.MathOpType.Equals(MathOp.ADD))
        {
            int v1 = b.Left.ToNumber;
            int v2 = b.Right.ToNumber;
            Result = v1 + v2;
        }
    }
}

测试：

public class TestVisitorPattern
{
    public void TestMethod()
    {
        NumberLiteral e1 = new NumberLiteral(1);
        NumberLiteral e2 = new NumberLiteral(2);

        BinaryOperator b1 = new BinaryOperator(MathOp.ADD);

        b1.Left = e1;
        b1.Right = e2;


        MathVisitor mv = new MathVisitor();
        Console.WriteLine("------------direct call---------------");
        mv.Visit(b1);
        Console.WriteLine(mv.Result);


        mv = new MathVisitor();
        Console.WriteLine("------------call through accept---------------");

        b1.Accept(mv);
        Console.WriteLine(mv.Result);

    }
}

【问题讨论】：

正如标记的副本中所述，当通过类型为接口的变量调用方法时，编译器没有足够的上下文来选择任何方法重载，除了为该接口实现的对象。这是当时编译器唯一可见的方法重载。另见stackoverflow.com/questions/2038333/… 和stackoverflow.com/questions/5572880/…。
请注意，另一种解决方法不是扩展接口，而是让接口的实现者进行一些类型检查以选择正确的重载。可以通过as 运算符显式使用，也可以通过dynamic 隐式使用。恕我直言，这比用一堆实现者可能永远不需要知道的类型来混淆你的接口声明更可取，更不用说使用（当将接口公开为公共类型时，这可能很重要，同时试图保持实现- 内部特定类型）。

标签： c# polymorphism overloading visitor-pattern

【解决方案1】：

当你调用 Accept 时，它进入这个方法：

    public void Accept(IElementVisitor ev)
    {

        //Console.WriteLine("Type for Paramter is {0}",ev.GetType().Name);
        //Console.WriteLine("Type for 'this' is {0}", this.GetType().Name);

        ev.Visit(this);

        //(ev as dynamic).Visit(this as dynamic);
    }

依次调用：

    public void Visit(Element e)
    {
        Console.WriteLine("---Not Implemented--for--Element");
    }

那是因为这是实现 IElementVisitor 接口的唯一方法：

public interface IElementVisitor
{
    void Visit(Element e);
}

所以即使实现者有其他“更好”的方法可用，因为ev 的类型是IElementVisitor 唯一可以调用的方法是Visit(Element e) - 所以这是它调用的那个。

【讨论】：