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

Приведение вверх не разрешается, поскольку типы не связаны

342 ЗАНЯТИЕ 13. Операторы приведения

Приведение производного типа к базовому называется приведением вверх (upcast) и может быть осуществлено без явного оператора приведения:


Derived objDerived;


Base* pBase = &objDerived; // ok!

Приведение базового типа к производному называется приведением вниз (downcast) и не может быть осуществлено без применения явных операторов приведения:

Derived objDerived;


Base* pBase = &objDerived; // Приведение вверх -> ok! Derived* pDerived = pBase; // Ошибка: приведение вниз осуществляется явно

Но обратите внимание, что оператор s t a t i c _ c a s t проверяет только то, что ссылоч­ ные типы связаны. Он не выполняет проверок времени выполнения. Так, с оператором s t a t i c _ c a s t разработчик вполне может совершить следующую ошибку:

Base* pBase = new Base ();


Derived* pDerived = static_cast(pBase); // Все еще // никакой ошибки!

Здесь указатель p D e riv e d фактически указывает на частичный объект D e riv e d , по­ скольку объект, на который он указывает, фактически имеет тип B ase (). Так как оператор s t a t i c c a s t выполняет проверку только во время компиляции, подтверждая связанность рассматриваемых типов, и не выполняет проверку времени выполнения, вызов p D e riv e d -

0. 
   S o m e D e riv e d C la ssF u n c tio n () будет откомпилирован, но, вероятно, приведет к неожи­ данным последствиям во время выполнения.
   

Кроме помощи в приведении вверх или вниз, оператор s t a t i c _ c a s t может помочь сделать неявные приведения явными и привлечь к ним внимание разработчика или чита­ теля:

double dPi = 3.14159265;