std::construct_at 是 C++20 提供的 placement new 安全封装，自动处理类型转换与编译期对齐检查，要求首参为 T*，不支持自定义分配器、字节级构造、绕过访问控制及异常后手动清理等场景。
std::construct_at 是 placement new 的安全封装
std::construct_at 在 C++20 中提供了一种更类型安全、更易用的替代方案，用于在已分配的原始内存上构造对象。它不取代 placement new 的底层能力（比如对齐控制、自定义分配器感知等），而是封装了最常见、最易出错的使用模式：在 void* 或指针指向的未初始化内存上，以指定参数调用类型的构造函数。
你不需要手动写 reinterpret_cast、static_cast 或记住 operator new(size_t, void*) 的签名 —— std::construct_at 自动处理类型转换和对齐检查（编译期）。
怎么把 placement new 写法直接换成 std::construct_at
典型错误写法：new (ptr) T(args...) 容易漏掉对齐检查、类型不匹配或误用指针类型（比如传 char* 却期望 T*）。换成 std::construct_at 后，编译器会强制校验目标指针是否可写入 T 且满足对齐要求。
- 原来这样写：
char buffer[sizeof(MyClass)];<br>MyClass* p = new (buffer) MyClass(42);
→ 现在：char buffer[sizeof(MyClass)];<br>MyClass* p = std::construct_at(reinterpret_cast<MyClass*>(buffer), 42);
- 如果已有
T*（比如 malloc 返回或 aligned_alloc 分配的内存），直接传指针：auto ptr = static_cast<MyClass*>(aligned_alloc(alignof(MyClass), sizeof(MyClass)));<br>std::construct_at(ptr, 42); // 不需要再取地址或 cast
- 注意：
std::construct_at要求第一个参数是T*，不能是void*；若只有void*，必须显式reinterpret_cast<t>(p)</t>—— 这反而是好事，强迫你确认类型意图
std::construct_at 不能替代 placement new 的几种情况
它不是万能替代品。以下场景仍需原始 placement new 或更低层操作：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 需要调用非默认的
operator new重载（例如带内存池标签的new (pool) T）——std::construct_at没有接口传入自定义分配器或标签 - 构造对象时需绕过类型系统做字节级操作（如某些序列化/反序列化框架直接写内存布局）——
std::construct_at强制走正规构造路径 - 目标类型没有可访问的构造函数（比如私有构造 + friend 工厂），而你又想绕过访问控制 ——
std::construct_at和placement new都受相同访问规则约束，但前者不提供“构造函数指针”式间接调用机制 - 需要在构造失败时捕获异常并执行自定义清理（
placement new可配合try/catch手动析构）——std::construct_at抛异常时不会自动调用析构，这点和placement new行为一致，但封装后更难插入手动清理逻辑
对齐和 lifetime 的实际影响比想象中更关键
很多人以为只要内存够大就能用 std::construct_at，但忽略对齐会导致未定义行为（UB），尤其在 ARM64 或使用 alignas(16) 类型时。
std::construct_at 在编译期检查指针是否满足 alignof(T)，但仅当指针类型是 T* 且编译器能推导时才生效；若你传的是 char* 并自己 cast，这个检查就失效了 —— 错误仍会在运行时崩溃或静默损坏数据。
- 安全做法：用
std::aligned_alloc或std::vector<:byte></:byte>+std::assume_aligned（C++20）确保原始内存对齐 - 验证对齐：可用
assert(reinterpret_cast<uintptr_t>(ptr) % alignof(T) == 0)</uintptr_t>，尤其在跨平台或对接 C API 时 - 别忘了：对象 lifetime 从
std::construct_at成功返回才开始，此前读写该内存是 UB；析构必须用std::destroy_at，不能只靠ptr->~T()（虽等价，但后者易漏写）
