Виртуальное наследование в C#

Question

Довольно смутно с правилами виртуального наследования, когда у меня есть метод, который предотвращает переопределение производного класса из виртуального метода, определенного в базовом классе. Вот немного кода, чтобы объяснить мою проблему лучше:

using System; 

namespace ConsoleApplication1 
{ 
    public class A 
    { 
     public virtual void DoWork() 
     { 
      Console.WriteLine("A.DoWork()"); 
     } 
    } 
    public class B : A 
    { 
     public override void DoWork() 
     { 
      Console.WriteLine("B.DoWork()"); 
     } 
    } 

    public class C : B 
    { 
     public sealed override void DoWork() 
     { 
      Console.WriteLine("C.DoWork()"); 
     } 
    } 

    public class D : C 
    { 
     public new void DoWork() 
     { 
      Console.WriteLine("D.DoWork()"); 
     } 
    } 

    public class MyMainClass 
    { 
     public static void Main() 
     { 
      B b = new D(); 
      b.DoWork(); 

      C c = new D(); 
      c.DoWork(); 

      A a = new D(); 
      a.DoWork(); 

      Console.WriteLine("Press any key to exit"); 
      Console.ReadKey(); 
     } 
    } 
} 

ВЫВОД

C.DoWork()
C.DoWork()
C.DoWork()
Нажмите любую клавишу для выхода

Это правда, что если переменная типа B используется для доступа к экземпляру C, так как B b = new C(); b.DoWork() приведет к в вызове реализации Cи для DoWork() поскольку С переопределяет виртуальный DoWork() из A.

Но почему это, когда переменная типа C, B, или A используется для доступа экземпляр D, как

B b = new D(); 
C c = new D(); 
A a = new D(); 

вызов DoWork() для каждого из них вызовет реализацию DoWork() для класса C?

Answer 1

Класс D теперь имеет два метода: DoWork.

Первый (метод # 1) - это виртуальный метод, определенный в классе A и переопределенный в классе C. D наследует этот метод от C.

Второй (метод # 2) является не виртуальным методом, который определен в самом классе D. Этот метод полностью отличается от метода №1.

Теперь у вас нет доступа к методу №1 от переменной типа D, потому что метод # 2 hides метод # 1.

Однако вы все равно можете получить доступ к методу # 1, используя переменную типа A, B или C.

Чтобы сделать это более ясным, вот пример:

D var_d = new D(); 

B var_b = var_d; 

var_d.DoWork(); //This accesses method #2 on an object of type D 

var_b.DoWork(); //This accesses method #1 on the same object