C++ за 21 день седьмое издание

нет реализации для Func2 virtual void FuncN()

{

1. 
   реализация FuncN
   

};

Компилятор видит иерархию наследования и понимает, что класс B ase определяет неко­ торые виртуальные функции, которые были переопределены в классе D erived . Теперь ком­ пилятор должен составить таблицу, называемую таблицей виртуальной функции (Virtual Function Table — VFT), для каждого класса, который реализует виртуальную функцию, и производного класса, который переопределяет ее. Другими словами, классы B ase и D erived получают собственной экземпляр своей таблицы виртуальной функции. Когда создается объект этих классов, инициализируется скрытый указатель (назовем его VFT*) на соответ­ ствующую таблицу VFT. Таблицу виртуальной функции можно представить как статиче­ ский массив, содержащий указатели на функцию, каждый из которых указывает на вирту­ альную функцию (или ее переопределенную версию), представляющую интерес (рис. 11.1).

Р И С . 11 .1 . Представление таблицы виртуальной функции для классов Derived и Base

Основы полиморфизма

287

Таким образом, каждая таблица состоит из указателей на функции, каждый из которых указывает на доступную реализацию виртуальной функции. В случае класса D e riv e d все, громе одного указателя на функцию в его таблице VFT, указывают на локальные реали­ зации виртуального метода в классе D e riv e d . Класс D e riv e d не переопределяет метод B a se:: Func2 (), а следовательно, указатель на функцию указывает на реализацию в клас­ се Base.

Это означает, что при следующем вызове пользователя класса D e riv e d