Тип объекта после литья?

Question

Учитывая этот код:

class B 
{ 
    public virtual string Method() 
    { 
    return "base"; 
    } 
} 

class D : B 
{ 
    public override string Method() 
    { 
    return "derived"; 
    } 
} 

D d = new D(); 
B b = d as B; 
b.Method(); 

"производный" является выходом.

Но почему именно? Я имею в виду, b - новый объект типа B, не так ли? Или это тот же объект (в памяти), что и d? Если да, то каков тип времени выполнения b, а затем B или D?

Благодаря

Answer 1

Правило простое: b является ссылкой на объект типа D. Можно сказать, что тип времени выполнения b равен D, но это не особенно полезно для терминологии.

Answer 2

b новый объект типа B, не так ли?

Нет, b является существующий объект типа B, который указывает на тот же объект, созданный прямо над ним: d. Единственное различие заключается в том, что вы выбрали объект как его родительский тип - B, поэтому b рассматривается как B, а не более производный тип D.

Причина, по которой вы получаете вывод «производный», заключается в том, что метод переопределяется в производном классе, и это то, как работает надстройка. Просто потому, что вы объявляете переменную (т. Е. b), поскольку ее менее производный тип B не означает, что он еще не является фактически более производным типом D. Такова природа полиморфизма.

Answer 3

Вы можете сделать

B b = new D(); 
b.Method(); 

и вы все равно получите "получено". Как отметил @Bathsheba, важно то, что тип объекта не является ссылкой.

Представьте себе типичный пример объектно-ориентированного программирования, где у вас есть базовый класс Shape с производными классами Circle, Square и т.д. с виртуальным методом Area .. если у вас есть метод, как это:

void ShowArea(Shape shape) 
{ 
    Console.WriteLine(shape.Area()); 
} 

Тот факт, что ссылка не имеет значения (а фактический тип объекта) позволяет метод, как выше, чтобы принимать любой тип Shape и до сих пор печатать правильную область

Answer 4

B b = d as B; 

I б чтобы эта строка кода приводила только d к типу класса B, но значение по-прежнему остается «производным».