#include <iostream>
class T
{
int x;
public:
T() { std::cout << "constr\n"; }
~T() { std::cout << "destr\n"; }
};
int main (void)
{
char *buf = new char[sizeof(T)]; //13 line
T *t = new(buf) T;
t->~T();
}
Что это за выделение памяти такое new(buf)
? То есть память выделяется в строчке 13, а потом в строчке 14 не выделяется новая память под объект типа T
, а берется уже выделенная память из той, на которую указывает buf
. То есть такой способ занимает меньше действий, потому как можно раз выделить много памяти и потом использовать её с помощью new(buf)
при динамическом выделении объектов. Если это так, то указатель будет указывать на следующий свободную ячейку памяти выделенного участка, когда будет к примеру ещё одно выделение T *t2 = new(buf) T;
, то есть buf указывает на участок памяти размером с размер класса T и по этому перезапишет память, на которую указывает *t
. И ещё не понятно как это реализовано. Так как new
- это оператор, то наверное есть его перегруженная версия, которая принимает указатель на уже выделенную память и вторым параметром объект, который нужно выделить в ней.
Вообщем это все догадки и возможно я кардинально не прав по этому поводу. Так что лучше всего было бы, если бы вы написали как это называется, что бы можно было хоть почитать где нибудь об этом способе или объяснили так, как вы считаете нужным.
T
в памяти по адресу, содержащимся в указателеbuf
. Т.о. динамическая память дляT
в этомnew
не выделятся и деструктор надо вызывать вручную, до delete [] buf.new()
адресу. Об этом уже говорили в комментарии. А new вернет адрес buf (можете проверить). Заодно посмотрите адреса с char buf[sizeof(T)];new T
, происходит на самом деле две вещи: (1) вызывается глобальный операторnew
с параметром sizeof(T) (ну илиoperator new
для класса, если он перегружен), (2) вызывается конструкторT
со значениемthis
, равным адресу, полученному при выделении памяти. Если вы вызываетеnew(buf) T
, первый шаг пропускается.T t()
будут вызваны конструкторы по умолчанию для всех полей. В случае int будет просто записан ноль, в случае std::string - будет вызван его конструктор (он внутри заметно сложнее). Если же идет вызовT t
, то здесь два варианта. Если у объекта определен конструктор по умолчанию (T()
), то он и будет вызван. Если же его нет, то никто ничего не будет обнулять. Вот три полезные ссылки 1, 2 и 3.