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

11 

---

 170 
Grandpa
позволяет нам как угодно манипулировать любым экземпляром производного класса, 
включая 
Dad
, но при это не существует способа создать этот экземпляр! 
make-функции 
На сцену выходят производящие функции. По общепринятому соглашению их простейшая форма 
называется 
makeFoo()
, где 
Foo
— имя генерируемого класса. 
class Grandpa { 
public: 
static 
Grandpa* 
makeDad(); // 
Создает экземпляры Dad 
static 
Grandpa* 
makeAuntieEm(); 
}; 
// В Grandpa.cpp 
Grandpa* Grandpa::makeDad() 
{ 
return 
new 
Dad; 
} 
Grandpa* Grandpa::makeAuntieEm() 
{ 
return 
new 
AuntieEm; 
} 
О существовании конкретных производных классов по-прежнему известно всем, однако настоящие 
интерфейсы 
Dad
и 
AuntieEm
надежно спрятаны от любопытных глаз. 
Символические классы и перегруженные make-функции 
Все эти функции 
makeFoo
расходятся с перегружаемой природой С++, не правда ли? Следующий 
фрагмент помогает выбрать нужную версию 
make
. 
class Variation Dad {}; // 
Пустое объявление класса 
class VariationAuntieEm {}; 
class Grandpa { 
public: 
static 
Grandpa* 
make(VariationDad); 
static 
Grandpa* 
make(VariationAuntieEm); 
}; 
// В вашей программе 
Grandpa* g = Grandpa::make(VariationDad()); 
Вызов 
VariationDad()
создает анонимный экземпляр (anonymous instance) класса 
VariationDad
— 
то есть экземпляр, не связанный ни с какой переменной в исходной области действия. Он живет лишь 
столько, сколько необходимо для вызова, а затем исчезает. Экземпляр 
VariationDad
нужен лишь для 
одного — он сообщает компилятору, какая перегруженная версия 
make
должна вызываться. Класс, 
который не имеет членов и используется подобным образом, называется символическим классом 
(symbol class). Он играет ту же роль, что и символический тип данных в языках типа Lisp: строка, 
которая заранее компилируется в более эффективную форму. 
Поскольку производные классы все равно инкапсулированы в файле .cpp, мы можем воспользоваться 
этим обстоятельством и заменить имя исходного 
Dad
другим локальным по отношению к файлу .cpp, а 
затем просто воспользоваться 
Dad
вместо 
VariationDad
в файле .h. 
Оптимизация с применением производящих функций 
Задержимся на минутку. Допустим, ни один из производных классов 
Grandpa
не интересует публику 
настолько, чтобы различать их при выборе производящей функции. Даже в этом случае 

---