考虑以下代码(它有点长,但希望你可以遵循):
class A
{
}
class B : A
{
}
class C
{
public virtual void Foo(B b)
{
Console.WriteLine("base.Foo(B)");
}
}
class D: C
{
public override void Foo(B b)
{
Console.WriteLine("Foo(B)");
}
public void Foo(A a)
{
Console.WriteLine("Foo(A)");
}
}
class Program
{
public static void Main()
{
B b = new B();
D d = new D ();
d.Foo(b);
}
}
如果你认为这个节目的输出是“Foo(B)”那么你和我在同一条船上:完全错了!事实上,它输出“Foo(A)”
如果我从C
类中删除虚方法,那么它按预期工作:“Foo(B)”是输出。
当A
是更派生的类时,为什么编译器选择采用B
的版本?
答案在C#规范section 7.3和section 7.5.5.1中
我打破了用于选择要调用的方法的步骤。
N=Foo
)中声明的名为N(T=class D
)的所有可访问成员的集合以及T(class C
)的基本类型。包含覆盖修饰符的声明将从集合中排除(D.Foo(B)是排除的)
S = { C.Foo(B) ; D.Foo(A) }
AL=B
)的那些方法。集合缩减包括将以下规则应用于集合中的每个方法T.N,其中T(T=class D
)是声明方法N(N=Foo
)的类型:
如果N不适用于AL(Section 7.4.2.1),则从集合中移除N.
C.Foo(B)
适用于AL
D.Foo(A)
适用于AL
S = { C.Foo(B) ; D.Foo(A) }
如果N适用于AL(第7.4.2.1节),那么在基本类型T中声明的所有方法都将从集合中删除。 C.Foo(B)
被从集合中删除
S = { D.Foo(A) }
最后,获胜者是D.Foo(A)
。
如果从C中删除抽象方法,则初始集合为S = { D.Foo(B) ; D.Foo(A) }
,并且必须使用overload resolution rule来选择该集合中的the best function member。
在这种情况下,获胜者是D.Foo(B)
。
当B是派生更多的类时,为什么编译器会选择带A的版本?
正如其他人所指出的那样,编译器会这样做,因为这就是语言规范所说的。
这可能是一个令人不满意的答案。一个自然的后续行动将是“什么样的设计原则决定以这种方式指定语言?”
这是一个经常被问到的问题,包括StackOverflow和我的邮箱。简短的回答是“这种设计减轻了脆弱的基类系列错误。”
有关该功能的说明及其设计原因,请参阅我关于此主题的文章:
http://blogs.msdn.com/b/ericlippert/archive/2007/09/04/future-breaking-changes-part-three.aspx
有关各种语言如何处理脆弱基类问题的更多文章,请参阅我关于该主题的文章存档:
http://blogs.msdn.com/b/ericlippert/archive/tags/brittle+base+classes/
这是我对上周同一问题的回答,看起来非常像这一个。
Why are signatures declared in the base class ignored?
这里有三个更相关或重复的问题:
Method overloads resolution and Jon Skeet's Brain Teasers
Why does this work? Method overloading + method overriding + polymorphism
我认为这是因为在非虚方法的情况下,使用调用方法的变量的编译时类型。
你有非虚拟的Foo方法,因此调用该方法。
这个链接有很好的解释http://msdn.microsoft.com/en-us/library/aa645767%28VS.71%29.aspx
所以,这是它应该如何工作according to the specification(在编译时,并给定我正确导航文档):
编译器根据方法名称和参数列表,从类型D
及其基本类型中识别匹配方法的列表。这意味着任何名为Foo
的方法,从B
中获取隐式转换的类型的一个参数都是有效候选者。这将产生以下列表:
C.Foo(B) (public virtual)
D.Foo(B) (public override)
D.Foo(A) (public)
从此列表中,排除包含覆盖修饰符的任何声明。这意味着该列表现在包含以下方法:
C.Foo(B) (public virtual)
D.Foo(A) (public)
此时我们有匹配的候选列表,编译器现在决定调用什么。在7.5.5.1 Method invocations文件中,我们找到以下文字:
如果N适用于A(Section 7.4.2.1),则从集合中删除在基本类型T中声明的所有方法。
这实质上意味着如果在D
中声明了一个适用的方法,那么基类中的任何方法都将从列表中删除。在这一点上,我们有一个胜利者:
D.Foo(A) (public)
我认为在实现另一个类时,它看起来就像树一样可以获得一个方法的可靠实现。由于没有调用方法,因此使用基类。
public void Foo(A a){
Console.WriteLine("Foo(A)" + a.GetType().Name);
Console.WriteLine("Foo(A)" +a.GetType().BaseType );
}
这就是猜测我不是.Net的专业人士