13.5.3 Как создать систему динамических запросов о типе

Здесь показано, как можно прямо реализовать динамические запросы о типе, когда в трансляторе таких возможностей нет. Это достаточно утомительная задача и можно пропустить этот раздел, так как в нем есть только детали конкретного решения.       Классы set и slist_set из $$13.3 следует изменить так, чтобы с ними могли работать операции запросов о типе. Прежде всего, в базовый класс set нужно ввести функции-члены, которые используют операции запросов о типе:       class set {       public:       static const Type_info info_obj;       virtual typeid get_info() const;       static typeid info();       // ...       }; При выполнении программы единственным представителем объекта типа set является set::info_obj, который определяется так:       const Type_info set::info_obj("set",0); С учетом этого определения функции тривиальны:       typeid set::get_info() const { return &info_obj; }       typeid set::info() { return &info_obj; }       typeid slist_set::get_info() const { return &info_obj; }       typeid slist_set::info() { return &info_obj; } Виртуальная функция get_info() будет предоставлять операции ref_type_info() и ptr_type_info(), а статическая функция info() - операцию static_type_info().       При таком построении системы запросов о типе основная трудность на практике состоит в том, чтобы для каждого класса объект типа Type_info и две функции, возвращающие указатель на этот объект, определялись только один раз.       Нужно несколько изменить класс slist_set:       class slist_set : public set, private slist {       // ...       public:       static const Type_info info_obj;       virtual typeid get_info() const;       static typeid info();       // ...       };       static const Type_info* slist_set_b[]       = { &set::info_obj, &slist::info_obj, 0 };       const Type_info slist_set::info_obj("slist_set",slist_set_b);       typeid slist_set::get_info() const { return &info_obj; }       typeid slist_set::info() { return &info_obj; }

13.5.4 Расширенная динамическая информация о типе

В классе Type_info содержится только минимум информации, необходимой для идентификации типа и безопасных операций приведения. Но поскольку в самом классе Type_info есть функции-члены info() и get_info(), можно построить производные от него классы, чтобы в динамике определять, какие объекты Type_info возвращают эти функции. Таким образом, не меняя класса Type_info, пользователь может получать больше информации о типе с помощью объектов, возвращаемых функциями dynamic_type() и static_type(). Во многих случаях дополнительная информация должна содержать таблицу членов объекта:       struct Member_info {       char* name;       Type_info* tp;       int offset;       };       class Map_info : public Type_info {       Member_info** mi;       public:       static const Type_info info_obj;       virtual typeid get_info() const;       static typeid info();       // функции доступа       }; Класс Type_info вполне подходит для стандартной библиотеки. Это базовый класс с минимумом необходимой информации, из которого можно получать производные классы, предоставляющие больше информации. Эти производные классы могут определять или сами пользователи, или какие-то служебные программы, работающие с текстом на С++, или сами трансляторы языка.