Объект А Объект В

	a1 a2		A::a1 A::a2

B::func_b

b1 b2

A::func_a

A::func_a

ap bp ap = bp

Преобразовать объект А в объект В нельзя, т.к. объект В больше. Он являетсянадмножеством объекта А. Таким образом:

bp = ap; // - не допустимо!

Преобразовать объект В в объект А вполне допустимо, так как в объекте В целиком содержится объект А. “ Лишние” переменные просто “отрежутся”.

ap = bp; // допустимо

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

В результате предложения указатель ap по значению будет равен указателю bp, но будет указывать только на начальную часть объекта В.

Для этого указателя не доступны ни переменные b1, b2, ни функция func_b:

ap->func_a(); // допустимо

ap-> func_b(); // не допустимо!

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

class A {

protected: