我正在探索Visitor模式,下面是代码。请注意,我已经知道如何解决这个问题了 - 使用虚拟方法并用各种过载扩展Visitor界面。我想更好地理解c#中的类型和重载分辨率。方法解析 - 为什么重载的方法不叫
在测试方法中,当调用Accept方法时,它始终使用参数类型“Element”而不是BinaryOperator调用Visit方法。根据关于SO的其他类似问题的答案,这是因为在编译时解析了超载方法&对象类型。
链接:
当我检查生成的IL,用于接受方法,在呼叫为Visitor.Visit()的指令是“callvirt “而不是”呼叫“。有什么我应该看看在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);
}
}
正如标记为副本所述,当通过类型为接口的变量调用方法时,编译器没有足够的上下文来选择任何方法过载,除了为该接口实现的对象之外。这是编译器当时唯一可以看到的超载方法。另请参阅https://stackoverflow.com/questions/2038333/overloads-done-at-compile-time和https://stackoverflow.com/questions/5572880/c-sharp-method-overload-problem-with-class-派生自泛型抽象类。 –
请注意,另一个解决方法是,接口的实施者可以进行一些类型检查来选择正确的过载,而不是扩展接口。或者直接用'as'运算符,或者用'dynamic'隐式地执行。恕我直言,这将是更好的混乱你的接口声明一堆类型,实现者可能永远不需要甚至不需要知道,不介意使用(当接口公开为公共类型时可能很重要,而试图保持实现特定类型内部)。 –