Оператор размещения new *

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

new (place_address) type-specifier

place_address должен быть указателем. Такая форма (она включается заголовочным файлом <new>) позволяет программисту предварительно выделить большую область памяти, которая впоследствии будет содержать различные объекты. Например:

#include <iostream>

#include <new>

const int chunk = 16;

class Foo {

public:

int val() { return _val; }

FooQ(){ _val = 0; }

private:

int _val;

};

// выделяем память, но не создаем объектов Foo

char *buf = new char[ sizeof(Foo) * chunk ];

int main() {

// создаем объект Foo в buf

Foo *pb = new (buf) Foo;

// проверим, что объект помещен в buf

if ( pb.val() == 0 )

cout << "Оператор new сработал!" << endl;

// здесь нельзя использовать pb

delete[] buf;

return 0;

}

Результат работы программы:

Оператор new сработал!

Для оператора размещения new нет парного оператора delete: он не нужен, поскольку эта форма не выделяет память. В предыдущем примере необходимо освободить память, адресуемую указателем buf, а не pb. Это происходит в конце программы, когда буфер больше не нужен. Поскольку buf ссылается на символьный массив, оператор delete имеет форму

delete[] buf;

При уничтожении buf прекращают существование все объекты, созданные в нем. В нашем примере pb больше не ссылается на существующий объект класса Foo.

Упражнение 8.5

Объясните, почему приведенные операторы new ошибочны:

(a) const float *pf = new const float[100];

(b) double *pd = new doub1e[10] [getDim()];

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

Упражнение 8.6

Как бы вы уничтожили pa?

typedef int arr[10];

int *pa = new arr;

Упражнение 8.7

Содержание Назад Вперед