Блог

 public class Base1
{
    public virtual void f()
    {
        Console.WriteLine("Base1.f()");
    }
}

public class Derived1 : Base1
{
    // Hides Base1.f() because 'override' was not specified
    public new virtual void f()
    {
        Console.WriteLine("Derived1.f()");
    }
}

public class Derived2 : Derived1
{
    // Overrides Derived1.f()
    public override void f()
    {
        Console.WriteLine("Derived2.f()");

        // Call base method
        base.f();
    }
}

class Program
{
    static void Main(string[] args)
        Base1 ob1 = new Derived1();
        ob1.f();

        Base1 ob2 = new Derived2();
        ob2.f();

        Derived1 ob3 = new Derived2();
        ob3.f();

        Derived2 ob4 = new Derived2();
        ob4.f();
    }
}


// Calls Derived2.f() because Derived2 overrides Derived1().f()
        Derived1 ob3 = new Derived2();
        ob3.f();
  

ожидалось, что

 Base1 ob2 = new Derived2();
ob2.f();
  

1. Будет вызвана функция derived2, но функция базового класса была
   вызывается, в чем причина этого.
2. Использует ли .net vtables

Слот метода, используемый статическим анализом во время компиляции, зависит от типа переменной (или выражения), а не от фактического объекта. Переменная ob2 вводится как Base1 , поэтому используется Base1 слот метода. И затем выбирается правильное переопределение на основе введенного (по существу, vtable в этом слоте). Итак, используется базовая функция.

Чтобы использовать функцию derived2, переменная (или выражение) должна быть введена как Derived1 или подкласс.

В принципе, если тип переменной, которую вы используете для вызова во время компиляции, f() равен Base1 , то будет вызван базовый метод — потому что на самом деле его ничто не переопределяет.

Если типом времени компиляции является Derived1 или Derived2 , он вызовет соответствующий метод либо в Derived1 , либо Derived2 на основе типа объекта во время выполнения… потому что в этот момент компилятор будет просто выполнять виртуальный вызов Derived1.f() , и переопределение произойдет во время выполнения.

И да, .NET использует vtables.

Проблема здесь в том, что вы слишком много всего смешиваете.

В принципе, вот что вы сделали:

1. Вы определяете виртуальный метод f в базовом классе
2. Вы производите от этого базового класса и создаете новый виртуальный f метод
3. Вы происходите из второго класса и переопределяете f , это переопределяет функцию из второго класса, а не из базового класса.

Итак, когда вы говорите:

 Base1 b = new Derived2();
b.f();
  

тогда вы всегда (в данном случае) будете вызывать базовую реализацию f , поскольку переопределенный f в Derived2 это другой f метод. Название то же, но это все еще другой метод.

Причина этого в том, что компилятор увидит, что вызываемая f вами функция исходит из Base1 класса, и поэтому он вызовет это.

Поскольку ни один класс не переопределяет Base1.f , это тот, который вы вызываете.

В ответ на вопрос в комментарии, строго говоря, класс будет иметь два виртуальных метода, оба с именами f .

Однако одна из них затеняется новой, введенной в Derived1.

Вы можете внутри класса выбрать, какие вызывать:

 public void MethodInDerived1()
{
    f();                            // calls Derived1.f()
    base.f();                       // calls Base1.f()
}
  

Однако извне вам нужно «выбирать» путем приведения.

Другими словами:

 Derived1 d = new Derived1();
d.f();                              // calls Derived1.f()
((Base1)d).f();                     // calls Base1.f()
  

Вы также можете наблюдать за методами с помощью отражения. Если вы выполните следующий код в LINQPad, вы увидите, что существует два метода, оба названных f :

 void Main()
{
    typeof(Derived1).GetMethods().Dump();
}

public class Base1
{
    public virtual void f()
    {
        Debug.WriteLine("Base1.f");
    }
}

public class Derived1 : Base1
{
    public virtual new void f()
    {
        Debug.WriteLine("Derived1.f");
    }
}

public class Derived2 : Derived1
{
    public override void f()
    {
        Debug.WriteLine("Derived2.f");
        base.f();
    }
}
  

Выходные данные этого скрипта усечены (справа есть дополнительная информация):