c++ - 重建堆栈对象

Question

嗯，我知道这听起来很邪恶。我在读this SO post并偶然发现了重建堆栈对象的技术。基本思想是:

{
    T obj(...);  // dtor will be called at end of scope
    obj.~T();    // YOLO

    new (&obj) T(...);
    // obj goes out of scope. The compiler inserts `obj.~T();` here.
}

...这样我们就可以根据需要多次重复使用同一 block 内存。这段代码符合标准吗？疯狂就是这种未定义的行为吗？

Answer 1

此结构适用 placement new . See also .它是标准的 C++自第一个标准以来。它早于第一个标准并被引入核心语言因为它的 usefulness .所以不是“疯狂”自然不是 UB 本身。您当然可能会不小心在混凝土中引发 UB 或其他内存错误安置新的应用程序。与提供的所有原始内存管理设施一样通过语言，现在最好留给标准库的实现者和 3rd 方库，它们提示我们需要与其争论风险。