Стенли Липпман - Язык программирования C++. Пятое издание

Подобно вызову функции destroy(), вызов деструктора освобождает заданный объект, но не освобождает область, в которой располагается этот объект. При желании эту область можно использовать многократно.

Вызов деструктора удаляет объект, но не освобождает память.

Идентификацию типов времени выполнения (run-time type identification RTTI) обеспечивают два оператора.

• Оператор typeid, возвращающий фактический тип заданного выражения.

• Оператор dynamic_cast, безопасно преобразующий указатель или ссылку на базовый тип в указатель или ссылку на производный.

Будучи примененными к указателям или ссылкам на тип с виртуальными функциями, эти операторы используют динамический тип (см. раздел 15.2.3) объекта, с которым связан указатель или ссылка.

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

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

Динамическое приведение следует использовать осторожно. При каждой возможности желательно создавать и использовать виртуальные функции, а не прибегать к непосредственному управлению типами.

Оператор dynamic_castимеет следующую форму:

dynamic_cast< тип *>(е)

dynamic_cast< тип &>(е)

dynamic_cast< тип &&>(е)

где тип должен быть типом класса, у которого (обычно) есть виртуальные функции. В первом случае е— допустимый указатель (см. раздел 2.3.2); во втором — l-значение, а в третьем — не должен быть l-значением.

Во всех случаях тип указателя едолжен быть либо типом класса, открыто унаследованным от типа назначения, либо открытым базовым классом типа назначения, либо самим типом назначения. Если указатель ебудет одним из этих типов, то приведение окажется успешным. В противном случае приведение закончится ошибкой. При неудаче приведения к типу указателя оператор dynamic_castвозвращает 0. При неудаче приведения к типу ссылки он передает исключение типа bad_cast.

Для примера рассмотрим класс Base, обладающий по крайней мере одной виртуальной функцией-членом, и класс Derived, открыто унаследованный от класса Base. Если имеется указатель bpна класс Base, то во время выполнения можно привести его к указателю на тип Derivedследующим образом:

if (Derived *dp = dynamic_cast(bp)) {

// использование объекта Derived, на который указывает dp

} else { // bp указывает на объект Base

// использование объекта Base, на который указывает dp

}

Если bpуказывает на объект класса Derived, то приведение инициализирует указатель dpтак, чтобы он указывал на объект класса Derived, на который указывает указатель bp. В данном случае для кода в операторе ifвполне безопасно использовать функции класса Derived. В противном случае результатом приведения будет 0. Если указатель dpнулевой, условие оператора ifне выполняется. В этом случае блок директивы elseосуществляет действия, соответствующие классу Base.

Оператор dynamic_castприменим и к нулевому указателю; результат — пустой указатель требуемого типа.

Обратите внимание на то, что указатель dpопределен в условии. При определении переменной в условии приведение и соответствующая проверка осуществляются как единая операция. Кроме того, указатель dpнедоступен вне оператора if. Если приведение потерпит неудачу, то несвязанный указатель не будет доступен для использования в последующем коде, где уже будет забыто успешно ли приведение или нет.