Стенли Липпман - Язык программирования C++. Пятое издание

const string const string *pcs = new const string;

Подобно любым другим константным объектам, динамически созданный константный объект следует инициализировать. Динамический константный объект типа класса, определяющего стандартный конструктор (см. раздел 7.1.4), можно инициализировать неявно. Объекты других типов следует инициализировать явно. Поскольку динамически зарезервированный объект является константой, возвращенный оператором new указатель является указателем на константу (см. раздел 2.4.2).

Хотя современные машины имеют огромный объем памяти, всегда существует вероятность исчерпания динамической памяти. Как только программа использует всю доступную ей память, выражения с оператором newбудут терпеть неудачу. По умолчанию, если оператор newнеспособен зарезервировать требуемый объем памяти, он передает исключение типа bad_alloc(см. раздел 5.6). Используя иную форму оператора new, можно воспрепятствовать передаче исключения:

// при неудаче оператор new возвращает нулевой указатель

int *p1 = new int; // при неудаче оператор new передает

// исключение std::bad_alloc

int *p2 = new (nothrow) int; // при неудаче оператор new возвращает

// нулевой указатель

По причинам, рассматриваемым в разделе 19.1.2, эта форма оператора newупоминается как размещающий оператор new(placement new). Выражение размещающего оператора newпозволяет передать дополнительные аргументы. В данном случае передается определенный библиотекой объект nothrow. Передача объекта nothrowоператору newуказывает, что он не должен передавать исключения. Если эта форма оператора newокажется неспособна зарезервировать требуемый объем памяти, она возвратит нулевой указатель. Типы bad_allocи nothrowопределены в заголовке new.

Чтобы предотвратить исчерпание памяти, по завершении использования ее следует возвратить операционной системе. Для этого используется оператор delete, получающий указатель на освобождаемый объект:

delete p; // p должен быть указателем на динамически созданный объект

// или нулевым указателем

Подобно оператору new, оператор deleteвыполняет два действия: удаляет объект, на который указывает переданный ему указатель, и освобождает соответствующую область памяти.

Передаваемый оператору deleteуказатель должен либо указывать на динамически созданный объект, либо быть нулевым указателем (см. раздел 2.3.2). Результат удаления указателя на область памяти, зарезервированную не оператором new, или повторного удаления значения того же указателя непредсказуем:

int i, *pi1 = &i, *pi2 = nullptr;

double *pd = new double(33), *pd2 = pd;

delete i; // ошибка: i - не указатель

delete pi1; // непредсказуемо: pi1 - локальный

delete pd; // ok

delete pd2; // непредсказуемо: память, на которую указывает pd2,

// уже освобождена

delete pi2; // ok: освобождение нулевого указателя всегда допустимо

Компилятор сообщает об ошибке оператора delete i, поскольку знает, что i — не указатель. Ошибки, связанные с выполнением оператора deleteдля указателей pi1и pd2, коварней: обычно компиляторы неспособны выяснить, указывает ли указатель на объект, созданный статически или динамически. Точно так же компилятор не может установить, была ли уже освобождена память, на которую указывает указатель. Большинство компиляторов примет такие выражения delete, несмотря на их ошибочность.

Хотя значение константного объекта не может быть изменено, сам объект вполне может быть удален. Подобно любым динамическим объектам, константный динамический объект освобождается выполнением оператора deleteдля указателя, указывающего на этот объект:

const int *pci = new const int(1024);

delete pci; // ok: удаляет константный объект

Как упоминалось в разделе 12.1.1, управляемая указателем shared_ptrпамять автоматически освобождается при удалении последнего указателя shared_ptr. Динамический объект, управляемый указателем встроенного типа, существует до тех пор, пока к областям памяти, управляемой при помощи указателей встроенных типов, не будет удален явно.