И.А. Волкова, А.В. Иванов, Л.Е. Карпов - Основы объектно-ориентированного программирования. Язык программирования С++ (1114893), страница 14
Текст из файла (страница 14)
Последовательность действийпри возникновенииисключительной ситуации1. Создание временного объекта — копии исключительной ситуации.2. Уничтожение объектов, созданных в try-блоке, с запуском для нихнеобходимых деструкторов, освобождающих динамическую память(свертка стека).3. Выход из try-блока.4. Подбор и выполнение обработчика для данного try-блокав соответствии с типом исключительной ситуации (статическаяловушка).5. Если необходимый обработчик для данного try-блока не найден илив обработчике имеется инструкция throw без параметров, сигнализирующая о незавершенности обработки исключительной ситуации,92Средства обработки ошибок, исключения и обработка исключенийто происходит выход в объемлющий try-блок с повторением пунктов 2–4 (динамическая ловушка).6.
Если исключительная ситуация осталась необработанной послевыхода из всех объемлющих try-блоков, то вызывается функцияterminate().93Множественное наследование, интерфейсыГлава 13.Множественноенаследование, интерфейсыМножественное наследование возникает, когда имеется несколько базовыхтипов и один тип — наследник. При множественном наследовании появляется возможность моделирования более сложных отношений между типами.class X { . .
. };class Y { . . . };class Z: public X, public Y { . . . };При описании производного класса каждый базовый класс имеет свойсобственный описатель типа наследования (явно указанный или неявнопредполагаемый).13.1. Видимость примножественном наследованииПри множественном наследовании возникает проблема неоднозначностииз-за совпадающих имен в базовых классах.Пример:struct X{int i1;int jx;};struct Y{int i1;int jy;};struct Z: X, Y{int jz;};94Множественное наследование, интерфейсыint main(){Z z1;z1.i1 = 5;}// ошибка — неоднозначность: член i1// наследуется как из базового типа X, так// и из базового типа Y.return 0;Тем не менее, данная неоднозначность проявляется не при объявленииобъекта типа-наследника, а при использовании его членов, имеющихся в нескольких базовых типах.
Эту неоднозначность можно обойти при помощиоперации разрешения области видимости:z1.X::i1 = 5Таким образом, в тип-наследник попадают все члены базовых типов. Ноповторяющиеся имена необходимо сопровождать квалификатором базовоготипа.13.2. Виртуальные базовые классыПри многоуровневом множественном наследовании базовые классы могутбыть получены от общего предка.
в этом случае итоговый производный классбудет содержать несколько подобъектов общего предка:class W{ . . .};class X: public W{ . . . };class Y: public W{ . . . };class Z: public X, public Y{ . . . };Если необходимо, чтобы общий предок присутствовал в итоговомпроизводном классе в единственном экземпляре (например, если необходи95Множественное наследование, интерфейсымо, чтобы функции классов X и Y в классе Z использовали общие информационные члены класса W, или для экономии оперативной памяти), то наследование базовых классов от общего предка описывается с использованиемвиртуального наследования:class W{ .
. .};class X: public virtual W{ . . . };class Y: public virtual W{ . . . };class Z: public X, public Y{ . . . };13.3. ИнтерфейсыУказанная неоднозначность при множественном наследовании отсутствует,если все базовые классы являются абстрактными классами без информационных членов и содержат только открытые чистые виртуальные функции.Такие базовые классы называются интерфейсами. Действительно, еслис объектом работать через указатель такого класса, то набор чистых виртуальных функций данного класса определяет, какие методы объекта доступнычерез этот указатель.Класс-наследник классов-интерфейсов, если он не является абстрактным классом (то есть, не содержит ни одной чистой виртуальной функции),называется классом реализации.
На основе класса реализации создаютсяконкретные объекты. Работа с такими объектами осуществляетсяс использованием указателей типа классов-интерфейсов.96Динамическая информация о типе (RTTI).Глава 14.Динамическая информацияо типе (RTTI).RTTI (Run Time Type Identification) — механизм безопасного преобразованиятипов объектов. Этот механизм включает:— dynamic_cast — операция преобразования типа указателя илиссылки на полиморфные объекты— typeid — операция определения типа объекта— type_info — структура, содержащая информацию о типе объекта(данная структура содержится в библиотечном файле typeinfo.h).Точнее, type_info — это класс, описывающий тип данных, значениямикоторого является информация о типе исследуемого объекта.
Операция typeidвозвращает ссылку на объект типа const type_info. Таким образом, typeid является встроенной операцией, но для его корректного использованияв программу должна быть подгружена библиотечный файл typeinfo.h.Для текстового представления имени типа объекта в классе type_infoимеется функция name().ПримечаниеТак как операция typeid возвращает значение типа const type_info &, то нецелесообразно явно создавать объект такого типа.
Обычно такой объект используется неявно, то есть, используется создаваемый временный объект.Синтаксис операции динамического приведения типа (dynamic_cast):dynamic_cast<Типрезультата>(Выражение)где тип_результата — указатель или ссылка.Выражение — указатель, если тип_результата является указателем,или объект (или ссылка на объект), если тип_результата является ссылкой.Пример:#include <iostream>#include <typeinfo>using namespace std;97Динамическая информация о типе (RTTI).class A{public:virtual void fx (){cout << "A::fx" << '\n';}};class B: public A{public:void fx (){cout << "B::fx" << '\n';}};void f2(A* ptr){B* dptr = dynamic_cast<B*> (ptr);cout<<"type of pointer dptr: ";cout<<typeid(dptr).name()<<'\n';}int main(){A* p1 = new A;f2 (p1);return 0;}В результате работы данной программы будет выведена следующаястрока:type of pointer dptr: class B *ПримечаниеДля обеспечения возможности использования механизма RTTI в компиляторе,как правило, необходимо указать специальный параметр, так как обычно вцелях повышения эффективности работы программы механизм RTTI по умолчанию отключен.
Так, в компиляторе Microsoft Visual C++ 6.0 таким параметромявляется /GR.Динамическое приведение типов с помощью операции динамическогоприведения типа (dynamic_cast) возможно только для объектов родственныхполиморфных классов, относящихся к одной иерархии классов. Указательможет иметь нулевое значение, поэтому при динамическом приведенииуказателя в случае возникновения ошибки может возвращаться это нулевоезначение, которое затем может быть проверено в программе. Ошибка приприведении ссылки всегда приводит к возбуждению исключительной ситуации bad_cast, так как никакого выделенного значения для ссылок не существует. Проверка правильности динамического приведения ссылок всегдавыполняется перехватом исключительной ситуации.
Bad_cast — класс,описывающий исключительную ситуацию. Так же, как и класс type_info, онсодержится в библиотечном файле ‹typeinfo›.98Динамическая информация о типе (RTTI).Пример:#include <iostream>#include <typeinfo>using namespace std;class A{public:virtual void fx (){cout << "A::fx" << '\n';}};class B: public A{public:void fx (){cout << "B::fx" << '\n';}};class C: public A{public:void fx (){cout << "C::fx" << '\n';}};void f (A* p, A& r){if (B* pp = dynamic_cast<B*> (p)){cout << "using of pp" << '\n';/* использование указателя pp */}else {cout << "NULL" << '\n';/* указатель pp не принадлежит нужному типу */}B& pr = dynamic_cast<B&> (r);/* использование ссылки pr */}void g(){try{cout << "f (new B, * new B) - correct using" << '\n';f (new B, *new B); // правильный вызовcout << "f (new C, * new C) - incorrect using";cout << '\n';f (new C, *new C); // выход в перехватчик (C — из// другой иерархии,основанной// на том же базовом классе)}catch (bad_cast){cout << "Bad_cast" << '\n';// обработка исключительной ситуации}}int main(){g ();99Динамическая информация о типе (RTTI).return 0;}Однако корректность преобразования, зависит не только от типов указателей и ссылок, но и от типов соответствующих объектов.
Пусть наследование классов представлено следующей схемой:Тогда, если объект создан на основе класса E, то указатель на него,имеющий тип указателя на базовый класс B, может быть преобразованв указатель на базовый класс C. Кроме того, если объект создан на основекласса E, то указатель на него, имеющий тип указателя на базовый класс D,может быть преобразован в указатель на базовый класс B, несмотря на то, чтоклассы B и D не имеют общего базового класса. Это связано с тем, что объект,созданный на основе класса, находящегося на нижней ступени иерархии,содержит в своей структуре структуру всех выше расположенных классов.Пример:#include <iostream>#include <typeinfo>using namespace std;class A{public:virtual void fx (){cout << "A::fx" << '\n';}};class B: public A{public:void fx (){cout << "B::fx" << '\n';}};class C: public A{public:void fx (){cout << "C::fx" << '\n';}};class D {public:100Динамическая информация о типе (RTTI).virtual void fd (){cout << "D::fd" << '\n';}};class E: public B, public C, public D {};void f ( C* p, C& r ){if ( B* pp = dynamic_cast<B*> (p) )cout << "using of pp in f" << '\n';elsecout << "NULL in f" << '\n';B& pr = dynamic_cast<B&> (r);/* использование ссылки pr */}void f2 ( D* p, D& r ){if ( B* pp = dynamic_cast<B*> (p) )cout << "using of pp in f2" << '\n';elsecout << "NULL in f2" << '\n';B& pr = dynamic_cast <B&> (r);/* использование ссылки pr */}void g(){try{cout << "f(new E, *new E)" << '\n';f (new E, *new E);}catch (bad_cast){cout << "Bad_cast in f" << '\n';// обработка исключительной ситуации};try{cout << " f2 (new E, *new E)" << '\n';f2 (new E, *new E);}catch (bad_cast){cout << "Bad_cast in f2" << '\n';// обработка исключительной ситуации};}int main(){g();return 0;}В приведенном примере не будет возбуждена ни одна из двух исключительных ситуаций, а указатели будут иметь ненулевые значения.Статическое приведение типов (операция static_cast) возможно дляобъектов родственных классов (полиморфность типов, участвующихв операции, при этом может отсутствовать), относящихся к одной иерархииклассов.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
