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

};



13:

0. 
   class Base
   

12: {

0. 
   int a, b;
   

0. 
   

public:

288 ЗАНЯТИЕ 11. Полиморфизм

0. 
   virtual void FuncDoSomething() {}
   

0. 
   };
   

18:


19: int main()
20: {

0. 
   cout « "sizeof(SimpleClass) = " « sizeof(SimpleClass) « endl;
   

0. 
   cout « "sizeof(Base) = " « sizeof(Base) « endl;
   

23:

0. 
   return 0;
   

0. 
   }
   

Результат


sizeof(SimpleClass) = 8


sizeof(Base) = 12


Анализ

Этот пример ограничен до минимума. Вы видите два класса, S im p le C la s s и B ase, которые идентичны по типам и количеству членов, но функция F u n cD o S o m eth in g ()

0. 
   классе B a se объявлена как виртуальная, а в классе S im p le C la s s как не виртуаль­ ная. Различие лиш ь в добавлении клю чевого слова v i r t u a l , но компилятор создает таблицу виртуальной функции для класса B a se и резервирует место для указателя на нее в том же классе B a se, как его скрытый член. Этот указатель использует 4 допол­ нительных байта на 32-разрядной системе автора, что и является доказательством его сущ ествования.
   

Язык C++ позволяет запросить указатель Base*, если он имеет тип Derived*, при помощи оператора приведения типов dynamic_cast и последующего условного выполнения на основе результата запроса.

Это называется идентификацией типа времени выполнения (Run Time Type Identification - RTTI), и в идеале этого следует избегать, несмотря на поддержку большинством компиляторов C++. Дело в тойг, что необходимость узнать тип объекта производного класса по указателю базового класса обычно считается плохой практикой программирования.

Более подробно R7TI и оператор dynamic_cast обсуждаются на занятии 13, “Операторы приведения”.