C++: библиотека программиста

 
175 
Описания переменных класса 
В некоторых ситуациях объекты 
Class
стоит сделать достаточно умными, чтобы они могли получать 
экземпляры представляемого класса и описывать их структуру. Все начинается с переменных класса. В 
наиболее прямолинейном варианте 
Class
возвращает итератор, который в свою очередь возвращает 
пару смещение/
Class
, описывающую смещение переменной внутри экземпляра и ее 
Class
. Имеет 
смысл создать перечисления для трех подмножеств переменных класса: 
1. Все переменные, включая встроенные типы (такие как 
int
). Для представления примитивных 
типов вам придется создать фиктивные классы, производные от 
Class
. 
2. Только переменные невстроенных типов, для которых обычно и так существует свой 
Class
. 
3. Только указатели и ссылки на другие объекты. 
Последний вариант играет особенно важную роль в некоторых нетривиальных алгоритмах сборки 
мусора. 
Описания функций класса 
В еще более редких ситуациях объект 
Class
должен описывать набор функций представленного им 
класса. При этом вы фактически начинаете играть роль компилятора С++, так что не перегибайте 
палку. И снова оптимальным представлением оказывается итератор. Для каждой функции можно 
возвращать любую информацию, от простейшей (ее имени) до более сложной (адрес, имена, типы и 
порядок аргументов и тип возвращаемого значения). Некоторые проблемы просто выходят за рамки 
С++; если вам захочется проделать нечто подобное, стоит серьезно подумать об использовании 
настоящего динамического языка. 
Коллекции экземпляров 
Класс 
Class
предоставляет еще одну интересную возможность — ведение коллекции всех 
экземпляров класса. Это может быть либо отдельная коллекция для каждого 
Class
, либо одна 
глобальная структура данных с парами (
Class
, экземпляр). Если выбран второй вариант и коллекция 
индексируется в обоих направлениях, она оказывается чрезвычайно полезной при отладке («Покажи 
мне все экземпляры класса x»), а также может применяться для ответов на вопросы вроде «Каков класс 
данного экземпляра?» без физического хранения адреса объекта 
Class
в каждом экземпляре. Такое 
решение работает только для экземпляров верхнего уровня, создаваемых производящими функциями; 
вложенные объекты (переменные или базовые классы) в этот реестр не попадут. 
Статистика 
Показатели сыплются как из рога изобилия — количество экземпляров, в данный момент находящихся 
в памяти; общее количество экземпляров, созданных с момента запуска программы; статистические 
профили с описанием, когда и как создавались экземпляры… Возможности ограничены только тем, 
сколько времени вы сможете им посвятить. Если вы работаете на повременной оплате, не 
ограничивайте себя — ведь при желании обоснование можно придумать для любого показателя. А если 
нет, подумайте, окупятся ли потраченные усилия. 
Еще несколько слов об уничтожающих функциях 
После долгого разговора о том, какие замечательные штуки можно проделывать с объектами классов, 
вернемся к уничтожающим функциям. Многие концепции, представленные в предыдущем разделе 
(такие как скрытые коллекции экземпляров и статистика), реализуются лишь в том случае, если вам 
удастся отследить время создания и уничтожения экземпляра. 
Конечно, для ведения статистики можно воспользоваться статистическими переменными, 
производящими функциями и т.д., принадлежащими целевому классу, однако методика, связанная с 
объектами классов, обеспечивает намного лучшую модульность. Возьмите существующий класс. 
Добавьте класс объекта 
Class
. Влейте одну-две производящие функции, перемешайте с 
уничтожающей функцией. Поставьте на огонь статистики и доведите до кипения. Ура! Все 
административные средства были добавлены без модификации исходного класса. Об ихменениях 
придется сообщать клиентам, но если в начале работы никаких клиентов еще не было, а управляемый 

---

 176 
класс должен оставаться неизменным или его исходные тексты недоступны, нам удалось довольно 
многого добиться, не создавая никаких побочных эффектов для критически важного кода. 
Определение класса по объекту 
Для существующего экземпляра довольно часто требуется определить его класс. Вроде бы ничего 
сложного, но в действительности это очень глубокая тема. Помните, что объекты могут создаваться в 
стеке или в куче, внедряться в другие объекты в виде переменных или базовых классов, а также 
создаваться производящими функциями. Ниже описано несколько основных решений. 
Внедрение указателя на объект класса 
Самое очевидное решение — внедрять указатель на 
Class
в любой объект, вложенный или нет. 
class Object { 
// 
Предок всех реальных классов 
protected: 
static ObjectClass s_my_class; 
Class* my_class; 
// == &s_my_class; 
public: 
Object() : my_class(&s_my_class) {} 
Class* My_Class() { return my_class; } 
}; 
class Foo : public Object 
protected: 
static 
FooClass 
s_my_class; 
public: 
Foo() { my_class = &s_my_class; } 
}; 
Все классы порождаются от общего предка 
Object
, в котором определяется протокол для получения 
объекта 
Class
. Вы имеете полное право использовать одни и те же имена членов на разных уровнях 
иерархии классов (как это сделано с 
s_my_class
в нашем примере). Компилятор выбирает имя, 
находящееся в непосредственной области действия. Более того, конструкторы выполняются в порядке 
«базовый класс/переменные класса/ производные классы», поэтому последний конструктор оставит 
my_class
правильное значение. Эта схема позволяет всегда получить объект 
Class
независимо от 
того, сколько выполнялось преобразований типа от производных к базовым классам. 
Издержки составляют четыре байта, необходимые для хранения указателя. Виртуальные функции не 
требуются, поэтому нам не придется добавлять v-таблицу в класс, обходившийся без нее. На 
избыточное конструирование 
my_class
будут потрачены дополнительные такты процессора, но для 
большинства приложений это несущественно. Пожалуй, основные издержки сводятся к 
дополнительному коду, находящемуся в конструкторах. 
В более «чистом» варианте указатель на 
Class
задается производящими функциями объекта 
Class
: 
class Object { 
friend class Class; 
private: 
Class* 
my_class; 
public: 
Class* My_Class() { reutrn my_class; } 
}; 
class Class { 
protected: 
void SetClass(Object& obj) { obj.my_class = this; } 
}; 
class Foo : public Object { ... }; 

---