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

При использовании виртуальных функций следует не забывать о некоторых вещах.
Во-первых, статические функции-члены не могут быть объявлены виртуальными.
Поскольку статические функции-члены не вызываются с объектом, никакого объекта
этапа выполнения не может быть, а значит, нет и его типа.
Во-вторых, при указании имени класса в вызове функция будет компилироваться
с использованием раннего связывания независимо от того, объявлена она виртуальной
или нет.
Например, приведенный ниже вызов обращается к Base::fn(], поскольку так
указал программист, независимо от того, объявлена f n () виртуальной или нет.
void test (Bases b)
{
b.base::fn f);
//Этот вызов не использует позднего связывания
}
Кроме того, виртуальная функция не может быть встроенной. Чтобы подставить
функцию на место ее вызова, компилятор должен знать ее на этапе компиляции. Таким
образом, независимо от способа описания виртуальные функции-члены рассматриваются
как не встроенные.
И наконец, конструкторы не могут быть виртуальными, поскольку во время работы
конструктора не существует завершенного объекта какого-либо определенного типа.
В момент вызова конструктора память, выделенная для объекта, является просто
аморфной массой. И только после окончания работы конструктора объект становится
экземпляром класса в полном смысле этого слова.
В отличие от конструктора, деструктор может быть объявлен виртуальным. Более
того, если он не объявлен виртуальным, вы рискуете столкнуться с неправильной ликвидацией
объекта, как, например, в следующей ситуации:
class Base
f
public:
-Base () ;
);
class Subclass : public Base
(
public:
-Subclass();
void finishWithObject{Base* pHeapObject)
{
delete pHeapObject; //Здесь вызывается -Basef)
//независимо от типа
//указателя pHeapObject
)
Если указатель, передаваемый функции f inishWithObject (), на самом деле указывает
на объект Subclass, деструктор Subclass все равно вызван не будет: поскольку
он не был объявлен виртуальным, используется раннее связывание. Однако,
если объявить деструктор виртуальным, проблема будет решена.
А если вы не хотите объявлять деструктор виртуальным? Тому может быть только
одна причина: виртуальные функции несколько увеличивают размер объекта. Когда
программист определяет первую виртуальную функцию в классе, C++ прибавляет
Глава 22. Знакомство с виртуальными функциями-членами: настоящие л