8
#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 - это оператор, то наверное есть его перегруженная версия, которая принимает указатель на уже выделенную память и вторым параметром объект, который нужно выделить в ней. Вообщем это все догадки и возможно я кардинально не прав по этому поводу. Так что лучше всего было бы, если бы вы написали как это называется, что бы можно было хоть почитать где нибудь об этом способе или объяснили так, как вы считаете нужным.

14
  • 6
    [Placement new][1] [1]: ru.wikipedia.org/wiki/New_(C%2B%2B)#Placement_new
    – Dith
    Commented 13 мар. 2013 в 0:25
  • 2
    @mzarb, почему Вы решили, что можно раз выделить много памяти и потом использовать её с помощью new(buf) при динамическом выделении объектов. Откуда эта многократность? На самом деле T *t = new(buf) T; предписывает создать один экземпляр объекта T в памяти по адресу, содержащимся в указателе buf. Т.о. динамическая память для T в этом new не выделятся и деструктор надо вызывать вручную, до delete [] buf.
    – avp
    Commented 13 мар. 2013 в 9:02
  • 2
    @mzarb, в коде T *t = new(buf) T; память НЕ выделяется. Этот код говорит компилятору, что создавать экземпляр T надо по ПЕРЕДАВАЕМОМУ в аргументе new() адресу. Об этом уже говорили в комментарии. А new вернет адрес buf (можете проверить). Заодно посмотрите адреса с char buf[sizeof(T)];
    – avp
    Commented 14 мар. 2013 в 20:42
  • 2
    @mzarb: Да, это магия компилятора. Когда вы говорите new T, происходит на самом деле две вещи: (1) вызывается глобальный оператор new с параметром sizeof(T) (ну или operator new для класса, если он перегружен), (2) вызывается конструктор T со значением this, равным адресу, полученному при выделении памяти. Если вы вызываете new(buf) T, первый шаг пропускается.
    – VladD
    Commented 14 мар. 2013 в 23:19
  • 2
    Здесь все сложнее. В случае T t() будут вызваны конструкторы по умолчанию для всех полей. В случае int будет просто записан ноль, в случае std::string - будет вызван его конструктор (он внутри заметно сложнее). Если же идет вызов T t, то здесь два варианта. Если у объекта определен конструктор по умолчанию (T()), то он и будет вызван. Если же его нет, то никто ничего не будет обнулять. Вот три полезные ссылки 1, 2 и 3.
    – KoVadim
    Commented 15 мар. 2013 в 19:38

1 ответ 1

4

@mzarb, на самом деле никакой магии тут нет. Все довольно просто. Это Вы наделяете язык/компилятор какими-то особыми свойствами.

Разберите пример Вашей (немного измененной) программы.

avp@avp-xub11:~/hashcode$ cat mzarb.cpp
#include <iostream>
#include <string.h>

class T
{
    int x;
  public:
    T() { std::cout << "constr\n"; }
    ~T() { std::cout << "destr\n"; }
  void setX(int v) { x = v; }
};

int main (void)
{
  struct {
    char f1[2];
    char f2[10];
  } s;
  strcpy (s.f2,(char *)"1234");
  std::cout << "f2 before: " << s.f2 << '\n';

  T *t = new(s.f1) T;

  std::cout << "f2 after: " << s.f2 << '\n';
  t->setX('z');
  std::cout << "f2 again: " << s.f2 << '\n';

  std::cout << "f2 offset: " << s.f2+2 << '\n';

  t->~T();
}
avp@avp-xub11:~/hashcode$ g++ mzarb.cpp 
avp@avp-xub11:~/hashcode$ ./a.out 
f2 before: 1234
constr
f2 after: 1234
f2 again: 
f2 offset: 34
destr
avp@avp-xub11:~/hashcode$

Видите, все предельно прозрачно. Никто ничего не проверяет. А рассуждения о надежности и безопасности это в реальности "развод лохов".

Да, крестовый компилятор делает много проверок и для них язык заставляет Вас писать (и изучать) кучу лишнего.

5
  • >T *t = new(s.f1) T; Тут объект на стеке создается?
    – mzarb
    Commented 15 мар. 2013 в 18:03
  • 1
    @mzarb, да в стеке. Обратите внимание, f2 after: 1234 никакой инициализации памяти объекта (реально одного int) не происходит.
    – avp
    Commented 15 мар. 2013 в 19:53
  • @avp >Компилятор для обращения к полю x созданного экземпляра t класса T будет генерить машинные команды, которые используют адрес в переменной buf. Спасибо, это тоже не знал. Но вот как адрес, который вернул new, воспринимается как объект? К примеру код new T() будет выглядеть как "адрес_который_вернул_new((T()))", но для создания объекта нужен же и тип перед самим объектом, то есть должно быть что-то такое "T адрес_объекта_который_вернул_new()", по аналогии с созданием обычного объекта без new "T t()", где на месте "t" был бы адрес в случае создания через new.
    – mzarb
    Commented 16 мар. 2013 в 8:05
  • 1
    @mzarb, адрес, который вернет new будет записан в переменную t. Как объект его воспринимаете Вы и компилятор С++ в процессе компиляции текста программы. Создание объекта - это очень громкие слова, за которыми стоит выделение участка памяти нужного размера (в некоторых случаях ее инициализация) и генерация команд вызова подходящего конструктора. Во время исполнения никаких сведений о типах (в нашем случае) нет. Все адреса это просто целые числа длиной 32 бита (или 64 на 64-bit компьютере). -- Да, IMHO надо сначала освоить Си и ассемблер (и на этом можно остановиться).
    – avp
    Commented 16 мар. 2013 в 8:48
  • @avp >new "T t()" Здесь я имел ввиду не new T t(), а - T t(). Просто не понятно, что происходит после того как new вернул адрес, то есть как будет выглядеть код(с точки зрения C++, а не глубже), в котором конструктор вызывается с этим адресом, а не то, что происходит в конструкторе после вызова.
    – mzarb
    Commented 16 мар. 2013 в 9:12

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.