C++ за 21 день седьмое издание

Класс, запрещающий создание экземпляра в стеке

Пространство в стеке зачастую ограничено. Если вы пишете базу данных, способную содержать гигабайт данных в своих внутренних структурах, то имеет смысл гарантиро-зать, что клиент этого класса не сможет создать его экземпляр в стеке, а вынужден будет создавать его только в распределяемой памяти. Для этого следует объявить закрытым де­ структор:

class MonsterDB

{
private:

0. 
   закрытый деструктор -MonsterDB();
   
1. 
   ... коллекция, резервирующая огромный объем памяти
   

236 ЗАНЯТИЕ 9. Классы и объекты

Таким образом, при попытке использовать класс M onsterD B не получится создать его экземпляр:

int main()

{
MonsterDB myDatabase; // ошибка компиляции

0. 
   ... остальной код return 0;
   

}

Этот экземпляр был бы успешно создан в стеке. Но поскольку компилятор знает, что экземпляр класса m y D atab ase должен быть удален, когда он выйдет из области видимо­ сти, он автоматически пробует вызывать его деструктор в конце функции m ain (), который оказывается недоступен, так как объявлен закрытым, что приводит к отказу при компи­ ляции.

Однако закрытый деструктор не помешает вам создать экземпляр в распределяемой памяти:

int main()


MonsterDB* myDatabase = new MonsterDB(); // ошибки нет

0. 
   ... остальной код return 0;
   

Если вы усмотрите здесь утечку памяти, то не ошибетесь. Поскольку деструктор недо­ ступен для функции m ain (), вы не можете удалить его там. Такой класс, как M onsterDB, нуждается в открытой статической функции-члене, которая удаляет экземпляр (как член класса она имеет доступ к деструктору). Рассмотрим листинг 9.11.

ЛИСТИНГ 9.11. Класс базы данных MonsterDB, позволяющий создавать свои

объекты только в динамической памяти (используя оператор new)_______________________

0.