覆盖C#的虚方法 - 为什么这不会导致无限递归？

Question

在我们的代码库中查看一些代码并且我无法理解这是如何/为什么这甚至正在工作(并且由于无限递归而不会导致堆栈溢出).我在下面粘贴了一些等效代码:我们在类P1中定义了一个虚拟方法Foo(B),并在P2类中重写.P2还定义了私有非虚方法Foo(A).B派生自A. P2 :: Foo(B)最后有一个调用:Foo(b).我希望这最终会导致堆栈溢出.但是,输出为:P2 :: Foo Virtual P2 :: Foo Private Non-Virtual

看起来在重写方法中第二次调用Foo就是在这种情况下拾取非虚方法Foo.在P1(取消注释代码)中执行类似的操作时,我们最终通过递归调用Foo无限次.

问题:(最后!)1.为什么原始虚方法和重写方法的行为不同？为什么一个人在调用自己而另一个人调用另一种方法？2.某处是否有指定的优惠顺序？请注意,如果我们将private修饰符更改为public,在这两种情况下,我们最终都会调用非虚方法(即使我们以这种方式实例化P2:P1 p2 = new P2();而不是P2 p2 = new P2( );)看起来非虚拟版本是首选,除非它在虚拟方法定义中.这是真的？

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace ConsoleApplication1
{
public class P1
{
    static void Main(string[] args)
    {
        B b = new B();
        P2 p2 = new P2();
        p2.Foo(b);
        // Uncomment code to cause infinite recursion
        //P1 p1 = new P1();
        //p1.Foo(b);
    }

    private void Foo(A a)
    {
        Console.WriteLine("P1::Foo Private Non-Virtual");
    }

    public virtual void Foo(B b)
    {
        Console.WriteLine("Inside P1::Foo");
        // Uncomment code to cause infinite recursion
        // Foo(b);
    }
}

public class P2 : P1
{
    private void Foo(A a)
    {
        Console.WriteLine("P2::Foo Private Non-Virtual");
    }

    public override void Foo(B b)
    {
        Console.WriteLine("P2::Foo Virtual");
        Foo(b);
    }
}

public class A
{
    public int a = 10;
}

public class B : A
{
    public int b = 20;
}

}

Answer 1

这是因为重载解析只查看继承的成员,如果它不能选择在派生类型上定义的重载.从规范(版本4):

例如,方法调用的候选集不包括标记为override的方法(第7.4节),如果派生类中的任何方法适用(第7.6.5.1节),则基类中的方法不是候选方法.

要具体解决您的问题:

为什么原始虚方法和重写方法的行为不同？

由于重写方法是在派生类中定义的,并且该类中存在适用的重载,因此不考虑虚方法.不考虑重写方法,因为从不考虑覆盖.

为什么一个人在调用自己而另一个人调用另一种方法？

上面解释了派生类中的行为.在基类中,重载解析的最佳候选者是虚方法本身,因为它更具体(B来自A).

是否在某处指定了偏好顺序？

是的,在C#语言规范中(链接到规范的Visual Studio 2012版本的MSDN页面).

请注意,如果我们将private修饰符更改为public,在这两种情况下,我们最终都会调用非虚方法(即使我们以这种方式实例化P2:P1 p2 = new P2();而不是P2 p2 = new P2( );)

在这种情况下,可访问性不是一个重要问题.变量的类型p2也不相关,因为您询问的重载决策涉及P2覆盖虚拟方法的调用站点.Main()无论变量的静态类型如何,虚拟分派都可确保调用调用覆盖.在P2's中的呼叫站点override void Foo(B b),接收器是隐式的this,它总是具有静态类型P2.

看起来非虚拟版本是首选,除非它在虚拟方法定义中.这是真的？

不完全的; 如上所述,偏好不是针对非虚拟方法,而是针对接收器类型中定义的方法(即,调用该方法的对象引用的静态类型).

Answer 2

这是C#经常被误解的特性:如果派生类中的任何方法适用,则基类中的方法不是候选者