std::construct_at 是 C++20 引入的 constexpr 函数，用于在已分配未初始化的原始内存上就地构造单个对象，替代 placement new，更安全简洁；需确保内存足够、对齐且无活跃对象，须配对使用 std::destroy_at 析构。

std::construct_at 是 C++20 引入的标准库工具，用于在**已分配但未初始化的原始内存地址上就地构造对象**，替代过去常用的 placement new，更安全、更简洁、更符合现代 C++ 风格。

作用和核心场景

它解决的是“已有内存块（比如 malloc 分配、aligned_alloc、或自定义内存池返回的 raw bytes），但还没调用构造函数”的问题。典型用途包括：

• 手动内存管理（如实现 vector、string 等容器底层）
• 使用对齐内存（std::aligned_alloc）后构造对象
• 对象池、内存池中复用内存时重新构造新对象
• 避免默认构造 + 赋值的开销，直接用参数构造

基本用法：语法与参数

函数签名如下：

说明：

• p 必须是指向足够大、正确对齐的未初始化内存的指针（类型为 T*）
• args... 是传递给 T 构造函数的参数（完美转发）
• 返回值就是 p，即构造完成后的对象地址（方便链式调用）
• 若 T 是平凡类型（trivial），该函数不执行实际构造（无副作用），但仍保证内存被“视为已构造”（语义上）

示例：

和 placement new 的对比

等价写法（传统方式）：

区别在于：

• std::construct_at 是 constexpr 函数（C++20 起），支持编译期构造（对字面类型）
• 类型安全更强：编译器能检查 p 是否为 T*，而 placement new 接受 void*，容易误用
• 无需写 reinterpret_cast 或额外括号，语义清晰
• 自动处理数组元素构造（配合 std::construct_at + 循环，比 std::uninitialized_fill 更底层）

注意事项与常见错误

使用时必须严格满足前提，否则行为未定义：

• p 指向的内存必须至少 sizeof(T) 字节且满足 alignof(T) 对齐要求
• 该内存不能已存在活跃对象（即不能重复构造同一地址）
• 构造后必须用 T::operator delete 或显式析构（obj.~T()）清理，不能只靠 free 或 delete
• 不适用于数组类型（如 T[]），std::construct_at 只构造单个对象；数组需用 std::uninitialized_construct_n 或循环

安全建议：

• 优先使用 std::allocator + allocate/construct（兼容旧标准）
• C++20 起可组合使用：std::allocator.allocate(1) → std::construct_at
• 搭配 std::destroy_at 成对使用，确保析构逻辑一致