Любой класс, не удовлетворяющий перечисленным в предыдущем разделе условиям «POD-типизации», является nonPOD-типом. Стандарт определяет, что создание динамического nonPOD-объекта операцией new выполняется в два этапа:
1. Для объекта выделяется необходимый объем свободной памяти.
2. Вызывается конструктор для инициализации выделенной памяти.
Время жизни динамических nonPOD-объектов начинается только с момента окончания работы конструктора. Первый шаг выполняется функциями выделения памяти: для одиночного объекта — функцией operator new О, а для массива объектов — функцией operator new[] (). В стандарте (см. п. п. 3.7.3 и 18.4 в [1]) эти функции определены так:
void *operator new(std::size_t size) throw(std::bad_alloc); void *operator new[](std::s1ze_t size) throw(std::bad_alloc);
Следующая конструкция называется спецификацией исключений (см. главу 7): throw(std::bad_alloc)
Эта конструкция означает, что в случае нехватки памяти генерируется стандартное исключение типа bad_alloc.
Отметим, что при невозможности выделить память конструктор не вызывается. Более того (см. п. п. 5.3.4/17 в [1]), в случае возникновения исключения во время инициализации объекта сначала выполняется возврат выделенной памяти, а затем начинается обработка исключения.
Уничтожение динамического объекта тоже выполняется в два шага: сначала вызывается деструктор, а затем — функция возврата памяти. Время жизни динамического объекта заканчивается, когда начинается выполнение кода деструктора. Функции возврата памяти определены в стандарте там же; где и функции^ вь*де-ления памяти, и имеют следующие прототипы:
void operator delete (void *) throw(); void operator delete [](void *) throw();
Пустая спецификация исключений throw() показывает, что функция не генерирует никаких исключений.
Как и в случае создания динамических POD-объектов, динамический объект произвольного класса можно создать без инициализации:
Type *pl = new Type: Type *р2 = new Type();
При наличии в классе определенного конструктора без аргументов после выделения памяти в данном случае вызывается именно он. Кроме того, мы можем инициализировать динамические объекты (аналогично объектам встроенных типов), если в классе определен конструктор инициализации.
При создании динамического массива объектов конструктор без аргументов вызывается для каждого элемента массива. Подчеркнем еще раз, что вызывается именно конструктор по умолчанию, а не конструктор инициализации.
Создание динамических объектов-констант ничем не отличается от создания динамических констант встроенных типов. Конечно, даже динамически создаваемую константу требуется инициализировать (для этого в классе должен быть определен конструктор инициализации), однако и Visual C++.NET 2003, и С++ Builder 6 «пропускают» отсутствие инициализации. Например, без всяких сообщений транслируется такое объявление:
const Type *pl = new const Type:
Естественно, в этом случае во время выполнения вызывается конструктор без аргументов.
Операция delete осуществляет уничтожение динамических объектов: сначала вызывается деструктор, а затем возвращается память. Возврат памяти выполняется функцией operator delete() для одиночного объекта и функцией operator delete [] () для массива. Эти функции не генерируют исключений — это гарантирует, что операция уничтожения объекта не преподнесет никаких сюрпризов — ведь деструктор тоже не должен генерировать исключений. При уничтожении массива деструктор вызывается для каждого элемента удаляемого массива.
Еще одна форма операции new
В стандарте определена еще одна форма операции new, позволяющая обойтись без исключений. Герб Саттер в [22] называет эту форму операции new: «обычная старая new». Работает она так же, как new в языке С: в случае невозможности выделить память возвращается нулевой указатель. Чтобы этот вид операции new работал, необходимо подключить заголовок:
#include <new>
В стандарте прототипы функций определены так (см. п. п. 18.4 в [1]):
void *operator new(std::size_t size, const std::nothrow_t &) throw(); void "operator new[](std::size_t size, const std::nothrow_t &) throwQ;
Спецификация исключений throwQ как раз и говорит о том, что данная форма new не генерирует никаких исключений. Вызов такой операции new несколько необычен:
int *pn = new (std::nothrow) int[10000000];
Имя nothrow — это обычно имя пустого класса, определенного в стандартном пространстве имен std (см. главу 13). При такой форме обращения указатель рп получит значение NULL — из-за отсутствия памяти исключение генерироваться не будет. Естественно, это нужно проверять:
if(рп != NULL) // if (!рп) - можно и так
{ // действия при успешном выделении памяти
}
Возвращают такую память обычным образом — с помощью соответствующей формы операции delete:
void operator delete(void *ptr, const std::nothrow_t &) throwQ; void operator delete[](void *ptr, const std::nothrow_t &) throwQ:
Если вы разрабатываете программы на заказ используя С++, тогда вам необходимо знать сведения об образовании юрлица, для успешного ведения бизнеса.
Несмотря на «страшный» прототип, использование этой формы операции delete ничем не отличается от показанной ранее. Заметим, что даже при отсутствии выделенной памяти, когда указатель равен нулю, вызов операции delete совершенно безопасен. |
Главная
Каталог файлов
