Class base

Void main(void)

Class base

{

public:

virtual void vfunc (int i)

{ printf(" base::i = %d",i); };

};

class derived1: public base

{

public:

void vfunc (int i)

{ printf(" der1::i = %d",i); };

};

class derived2: public base

{

public:

void vfunc (int i)

{ printf(" der2::i = %d",i); };

};

{

base B, *bp = &B;

derived1 D1, *dp1 = &D1;

derived2 D2, *dp2 = &D2;

bp->vfunc(1); // Печатает: base::i = 1

dp1->vfunc(2); // Печатает: der1::i = 2

dp2->vfunc(3); // Печатает: der2::i = 3

bp = &D1; bp->vfunc(4); // Печатает: der1::i = 4

bp = &D2; bp->vfunc(5); // Печатает: der2::i = 5

}

Заметим, что доступ к функциям vfunc() организован через указатель bp на базовый класс. Когда он принимает значение адреса объекта базового класса, то вызывается функция из базового класса. Когда указателю присваиваются значения ссылок на объекты производных классов &D1, &D2, выбор соответствующего экземпляра функции определяется именно объектом. Таким образом, интерпретация каждого вызова виртуальной функции через указатель на базовый класс зависит от значения этого указателя, то есть от типа объекта, для которого выполняется вызов. Для не виртуальной функции ее вызов через указатель интерпретируется в зависимости от типа указателя.

Виртуальными могут быть не любые функции, а только нестатические компонентные функции какого-либо класса. После того как функция определена как виртуальная, ее повторное определение в производном классе (с тем же самым прототипом) создает в этом классе новую виртуальную функцию, причем спецификатор virtual может не использоваться.

В производном классе нельзя определять функцию с тем же именем и с тем же набором параметров, но с другим типом возвращаемого значения, чем у виртуальной функции базового класса. Это приводит к ошибке на этапе компиляции.

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

// особенности виртуальных функций

# inclube <stdio.h>

{

public:

virtual void f1(void) { printf(" base::f1"); };

virtual void f2(void) { printf(" base::f2"); };

virtual void f3(void) { printf(" base::f3"); };

};

class derived: public base

{

public:

void f1(void) { printf(" der::f1"); }; // виртуальная

//int f2(void){ printf(" der::f2"); }; // ошибка в типе

void f3(int i) {printf(" der::f3:%d",i);}; //невиртуальная

};

Дата добавления: 2014-01-13