Стефан Дэвис - С++ для чайников .

class Base

{

public :

/* Возвращает копию текущего объекта */

Base* makeACopy( )

{

/* ...делает всё, что нужно для создания копии */

}

} ;

class Subclass : public Base

{

public :

/* Возвращает копию текущего объекта */

Subclass* makeACopy( )

{

/* ...Делает всё, что нужно для создания копии */

}

} ;

void fn( BaseClass & bс )

{

BaseClass* pCopy = bс.makeACopy( ) ;

/* Функция продолжается... */

}

С практической точки зрения всё естественно: функция копирования makeCopy( ) должна возвращать указатель на объект типа Subclass , даже если она переопределяет Base::makeCopy( ) .

_________________

246 стр. Часть 4. Наследование

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

Во-вторых, при указании имени класса в вызове функция будет компилироваться с использованием раннего связывания независимо от того, объявлена она виртуальной или нет.

Например, приведённый ниже вызов обращается к Base::fn( ) , поскольку так указал программист, независимо от того, объявлена fn( ) виртуальной или нет.

void test( Base & b )

{

b.base::fn( ) ;

/* Этот вызов не использует позднего связывания */

}

Кроме того, виртуальная функция не может быть встроенной. Чтобы подставить функцию на место её вызова, компилятор должен знать её на этапе компиляции. Таким образом, независимо от способа описания виртуальные функции-члены рассматриваются как не встроенные.

И наконец, конструкторы не могут быть виртуальными, поскольку во время работы конструктора не существует завершённого объекта какого-либо определённого типа. В момент вызова конструктора память, выделенная для объекта, является просто аморфной массой. И только после окончания работы конструктора объект становится экземпляром класса в полном смысле этого слова.

В отличие от конструктора, деструктор может быть объявлен виртуальным. Более того, если он не объявлен виртуальным, вы рискуете столкнуться с неправильной ликвидацией объекта, как, например, в следующей ситуации:

class Base

{

public :

~Base( ) ;

} ;

class SubClass : public Base

{

public :

~SubClass( ) ;

} ;

void finishWithObject( Base* pHeapObject )

{

delete pHeapObject ; /* Здесь вызывается ~Base( ) независимо от типа указателя pHeapObject */

}

Если указатель, передаваемый функции finishWithObject( ) , на самом деле указывает на объект SubСlass , деструктор Subclass всё равно вызван не будет: поскольку он не был объявлен виртуальным, используется раннее связывание. Однако, если объявить деструктор виртуальным, проблема будет решена.

А если вы не хотите объявлять деструктор виртуальным? Тому может быть только одна причина: виртуальные функции несколько увеличивают размер объекта. Когда программист определяет первую виртуальную функцию в классе, С++ прибавляет к классу дополнительный скрытый указатель — именно один указатель на класс, а не для каждой виртуальной функции.

_________________

247 стр. Глава 21. Знакомство с виртуальными функциями-членами: настоящие ли они

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

■■■

■ класс не содержит много данных, так что даже один указатель существенно увеличивает его размер;

■ вы намерены создать большое количество объектов, так что один указатель, умноженный на количество объектов, даст существенный перерасход памяти.

■■■

Если выполняются два перечисленных условия, а в классе нет виртуальных функций — это единственное основание не делать деструктор виртуальным.

«Лучше всегда объявлять деструкторы виртуальными, даже если ваш класс не наследуется ( пока не наследуется! ): ведь никогда не известно, в какой момент появится некто ( может, это будете вы сами ), желающий воспользоваться вашим классом как базовым для своего собственного класса. Если вы не объявили деструктор виртуальным, обязательно документируйте это!»