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

	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:

int a1, a2;

public:

void func ();

};

class B: public A {

int b1, b2;

public:

void func ();

};

void main () {

A* ap = new A;

B* bp = new B;

bp->func(); // вызывается функция класса В

bp->A::func(); // вызывается функция класса A

ap= bp;

ap->func(); // вызывается функция класса A

ap-> B::func () // недопустимо! B::func() не доступна через ap

Таким образом, нельзя через указатель на базовый класс обращаться к компонентной функции производного класса.

Механизм виртуальных функций снимает этот запрет и позволяет с помощью указателя на базовый класс обращаться к функциям производных классов (после присваивания этому указателю значения указателя на соответствующий производный класс).

Если бы func () была объявлена как виртуальная, то предложение:

ap-> func();

привело к вызову функции производного класса B::func().

Работа с виртуальными функциями.

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

1. Рассмотрим последний случай.