C# методы сдерживания разрешения элемента во время выполнения

Question

Я недавно наткнулся на то, как компилятор C# разрешает метод вызывает методы, скрывающие методы базовых классов. Я написал следующие тесты, чтобы выставить мою проблему:

[TestClass] 
public class UnitTest1 
{ 
    public class Car 
    { 
     public int GetNumberOfSeets() 
     { 
      return 4; 
     } 
    } 

    public class BmwZ4 : Car 
    { 
     public new int GetNumberOfSeets() 
     { 
      return 2; 
     } 
    } 

    [TestMethod] 
    public void TestBmwNumberOfSeets1() 
    { 
     BmwZ4 bmw = new BmwZ4(); 
     Assert.AreEqual(2, bmw.GetNumberOfSeets()); 
    } 

    [TestMethod] 
    public void TestBmwNumberOfSeets2() 
    { 
     var bmw = new BmwZ4(); 
     Assert.AreEqual(2, bmw.GetNumberOfSeets()); 
    } 

    [TestMethod] 
    public void TestBmwNumberOfSeets3() 
    { 
     Car bmw = new BmwZ4(); 
     Assert.AreEqual(2, bmw.GetNumberOfSeets()); 
    } 
} 

Удивительно TestBmwNumberOfSeets1 и TestBmwNumberOfSeets2 работают прекрасно, где, как TestBmwNumberOfSeets3 просто не работает.

Может ли кто-нибудь объяснить мне, почему использование автомобиля в качестве принимающего типа (подразумеваемый upcast) превратит мой новый BMW в простой автомобиль?

EDIT: Я понял, что с помощью скрытого механизма метод, который будет вызываться, зависит от типа переменной, вызывающей метод. Динамической отправки нет. Но почему? Компилятору было бы легко использовать динамический тип вместо статически объявленного.

Скрывающий механизм в моем сознании должен использоваться, когда нужно переопределить класс, который не запечатан и не принадлежит ему (с использованием стороннего API), и хочет создать собственное поведение для метода, который является не отмечено виртуальным. Это главная цель. Но если у вас нет динамической отправки, функция абсолютно бесполезна и очень опасна для использования.

Answer 1

Если вы

public class Car 
{ 
    public virtual int GetNumberOfSeets() 
    { 
     return 4; 
    } 
} 

Тогда

public class BmwZ4 : Car 
{ 
    public override int GetNumberOfSeets() 
    { 
     return 2; 
    } 
} 

Ваши тесты будут проходить. Поскольку ваш код стоит сейчас, ваши тестовые тесты ошибочны. Поскольку вы явно указываете, что это Car, а не BmwZ4.

Это называется Subtype Polymorphism