C++, действительно ли возможно вызвать конструктора непосредственно без нового?
Я могу вызвать конструктора явно без использования new, если у меня уже есть память для объекта?
class Object1{
char *str;
public:
Object1(char*str1){
str=strdup(str1);
puts("ctor");
puts(str);
}
~Object1(){
puts("dtor");
puts(str);
free(str);
}
};
Object1 ooo[2] = {
Object1("I'm the first object"), Object1("I'm the 2nd")
};
do_smth_useful(ooo);
ooo[0].~Object1(); // call destructor
ooo[0].Object1("I'm the 3rd object in place of first"); // ???? - reuse memory
7 ответов
Типа. Вы можете использовать размещение new для запуска конструктора с использованием уже выделенной памяти:
#include <new>
Object1 ooo[2] = {Object1("I'm the first object"), Object1("I'm the 2nd")};
do_smth_useful(ooo);
ooo[0].~Object1(); // call destructor
new (&ooo[0]) Object1("I'm the 3rd object in place of first");
Итак, вы все еще используете ключевое слово new , но выделения памяти не происходит.
Я думаю, что вы ищете Placement New. В C++ FAQ Lite есть хороший обзор того, как это делается. Есть несколько важных замечаний:
- Вы должны
#include, чтобы использовать синтаксис размещения new. - Ваш буфер памяти должен быть правильно выровнен для создаваемого объекта.
- Ваша задача - вручную вызвать деструктор.
Буквально НЕТ, без ключевого слова new невозможно. См. Все ответы о размещении new, чтобы узнать, как использовать ключевое слово new для вызова конструктора без фактического выделения памяти.
Вы можете вызвать деструктор, но память не будет освобождена, и ваш вызов будет эквивалентен вызову функции. Вы должны помнить, что деструктор выполняет 2 вещи: уничтожает объект в соответствии с вашей спецификацией и восстанавливает память. Поскольку ваш dtor все равно будет вызываться для объекта, размещенного в стеке, его вызов дважды может привести к неопределенному поведению.
Да, с использованием нового размещения - как указано выше, но вы можете подумать о создании второго фабричного класса для управления хранилищем, даже если это означает копирование объект. memcpy () обычно дешево для небольших объектов.
Да, когда у вас есть собственный выделенный буфер, вы используете новое размещение. У Брайана Бонди есть хороший ответ на связанный с этим вопрос:
Позвольте мне показать вам код того, как это можно сделать, как при построении, так и при разрушении
#include <new>
// Let's create some memory where we will construct the object.
MyObject* obj = (MyObject*)malloc(sizeof(MyObject));
// Let's construct the object using the placement new
new(obj) MyObject();
// Let's destruct it now
obj->~MyObject();
// Let's release the memory we used before
free(obj);
obj = 0;
Я надеюсь, что приведенное выше резюме проясняет ситуацию.