C# и приведение типов

[Xandr Karwen]

Вопрос, достойный настоящего профана, но он меня мучает.

Пусть есть два класса:

public class B {public int a;}
public class D : B {public int b;}

И следующий код, использующий их:

B b = new D();
D d = (D)b;

Собственно, как я это вижу.
1) new выделяет память под объект D, будем учитывать для простоты только память, выделенную для полей классов. Т.е. под класс D выделится память объемом 4*2 = 8 байт - под поле класса и под поле класса-родителя. Итак, new возвращает ссылку на объект данного класса в памяти.
2) Далее происходит приведение типа к типу-родителю, т.е. к B. Класс B знать не знает, что у него есть потомок, у которого есть еще одно поле. Для объекта класса B нужно 4 байта памяти, а не 8. Куда деваются остальные байты? Какой на самом деле тип имеет переменная b?
3) Далее мы явно приводим b к типу D. И снова та же непонятка (для меня) с количеством выделяемой памяти. Откуда возьмутся еще 4 байта на новое поле? Что вообще происходит?

Пример кода взят из книги Рихтера. Его объяснение я не понимаю, прошу помощи.

@темы: C#

Comments

[dixie_flatline]

B b и D d - это не объекты, а ссылки.
Вы, вероятно, пришли в сишарп из плюсов. Эквивалентная запись в плюсах - B * b. Сама переменная хранит указатель, его размер не зависит от типа, очевидно.
Т.е. байты никуда не деваются. Где-то в памяти выделяются 8 байт и хранятся, а b и d просто ссылаются на эту область, её саму не затрагивая. Все операции в примере - операции над указателями.

[Xandr Karwen]

.umi, спасибо, что пояснили)