关于placement new使用临时变量的生命周期疑问

你提到的STL construct函数代码如下：

// construct method to set value into some already allocated
template <class T, class T2>
inline void construct(T* pointer, T2& value)
{
    new(pointer) T(value);
}

首先纠正一个误解：你代码里的value是左值引用，不是临时变量，它的生命周期由调用者控制，不会在new(pointer) T(value)这行执行完毕后就销毁。

再拆解placement new的核心逻辑：new(pointer) T(value)并不是“把临时变量放入已分配内存”，而是在pointer指向的预分配原始内存区域，调用T的拷贝构造函数，用value初始化出一个独立的T对象。

这段代码能正常运行的核心原因：

• 构造完成后，pointer指向的内存里已经存在一个完整的T类型对象，这个对象的生命周期和value完全无关——只要pointer指向的内存没有被释放、覆盖，这个对象就一直有效，直到你显式调用pointer->~T()来手动析构它。
• 就算调用construct时传入的是临时变量（比如construct(ptr, T(123))），C++规则会把临时变量的生命周期延长到函数调用结束，但placement new已经完成了对象的拷贝构造，把临时变量的内容复制到了目标内存中，之后临时变量销毁也不会影响已经构造好的对象。

这段代码是STL标准库中construct函数的典型实现，核心作用是分离内存分配与对象构造——STL容器会先通过allocator分配大块原始内存，再用这个函数在指定位置按需构造对象，这是容器高效管理内存的关键机制之一。

内容的提问来源于stack exchange，提问作者KEIFTH YANG