（重新）在cpp中初始化没有复制构造函数的对象

Question

这个问题是针对嵌入式系统的！

我有以下选项来初始化一个对象：

Object* o = new Object(arg);

这会将对象放入堆中并返回指向它的指针。我不喜欢在嵌入式软件中使用动态分配。

Object o = Object(arg);

这会在堆栈中创建一个新对象，然后将其复制到对象o 并在之后将其删除。如果对象大到足以放入 RAM 但不能放入堆栈，这可能会导致堆栈溢出。我已经看到关闭优化时会发生这种情况，我还没有探索过启用优化是否会有所不同。

Object o(arg);

这会创建对象而不进行复制，但是我怎样才能再次“初始化”o？

对于嵌入式，我更喜欢最后一个选项，因为不使用堆，并且堆栈中没有可以执行堆栈溢出的临时对象。

但是我对如何重新初始化对象感到困惑，因为：

o.Object(arg)

不允许。

我可以创建一个名为 init(arg) 的方法并调用

o.init(arg)

这与 Object::Object(arg) 执行相同的初始化，但我不希望创建一个额外的方法，该方法具有我需要记住的“非标准”名称。

有没有办法调用已经创建的对象的构造函数来重新初始化它而不进行复制？

Answer 1

考虑在对象的当前内存上使用新位置。这将在当前使用的内存中初始化一个新对象，而不分配新内存。这可能是您的解决方案。例如：

new (&o) Object(args)

试试这个：

#include <iostream>

class A
{
public:

    A(int i)
    {
        m_i = i;
    }

    int m_i;
};

int main()
{
    int s = 10;
    int *ps = new (&s) int(100);
    std::cout << *ps;
    std::cout << s;

    A a(5);
    new (&a) A(49);
    std::cout << a.m_i;
}

g++ -std=c++98 main.cpp 返回 10010049，这是正确的。

Answer 2

您需要使用placement new 并调用下面的对象析构函数示例

A a = A();//init
a.~A();//clear
new (&a) A();//re init

Answer 3

步骤 1. 获得一个可以工作的编译器（即识别最明显的初始化对象的机会）并且至少支持 C++11。

第 2 步。用于初始化：

auto o = Object(arg); // won't copy ever with optimization turned on

如果您需要为构造函数重新分配新参数：

o = Object(arg1); // calls move asignment operator

如果您需要用不同对象的值覆盖该值（以后不打算使用：

o = std::move(o1); // o1 is the other Object, afterwards o1 is left in 'valid but undefinded state'

如果这对您不起作用（仍然是堆栈颠簸/无移动赋值运算符等），您可能应该选择放置 new，像 @tomer zeitune 建议的那样显式调用析构函数：

o.~Object(); // cleanup
new (&o) Object();

需要显式调用析构函数，例如释放对象管理的所有资源。