C++ std::launder在对象替换后的指针安全访问

在C++中，当你在同一块内存上先销毁对象，再通过放置 new (placement new) 构建新对象时，原有的指针可能变得无效。编译器会认为旧对象的生命周期已结束，从而优化掉对内存的读取，或者沿用旧的缓存值。

观察 以下流程，展示了指针失效的逻辑链条：

核心问题在于：编译器依据“严格别名规则”和生命周期分析，认定指针 p 指向的内存状态未发生改变，除非你明确告知它内存已更新。

解决方案：std::launder 核心用法

std::launder 的核心功能是通知编译器：“这个指针指向的内存可能变了，请从内存地址重新加载数据，不要依赖寄存器缓存或旧假设”。

1. 准备环境

确认 你的编译器支持 C++17 标准或更高版本。std::launder 定义在 <new> 头文件中。

2. 执行对象替换

假设 你有一个存储对象的缓冲区。

1. 销毁 原对象（显式调用析构函数）。
2. 构建 新对象（使用 placement new 在原地址构建）。

3. 获取安全指针

不要 直接使用旧指针。必须 通过 std::launder 重新映射指针。

语法格式：

NewPointer = std::launder(OldPointer);

实战代码演示

以下代码展示了错误用法与正确用法的对比。注意观察 recreate 函数中的指针处理。

#include <new>
#include <iostream>
#include <string>

struct Widget {
    const int id; // 注意：包含 const 成员
    std::string name;

    Widget(int i, std::string n) : id(i), name(std::move(n)) {}
    ~Widget() { std::cout << "Destroying " << id << "\n"; }
};

// 错误示范：直接返回旧指针
Widget* unsafe_recreate(void* buffer, Widget* old_ptr) {
    old_ptr->~Widget(); // 销毁旧对象
    // 在原地址构建新对象
    new (buffer) Widget(2, "NewWidget");

    // 错误！编译器可能假设 old_ptr->id 仍然是旧值
    // 因为 id 是 const，编译器有权将其优化到寄存器中
    return old_ptr; 
}

// 正确示范：使用 std::launder
Widget* safe_recreate(void* buffer, Widget* old_ptr) {
    old_ptr->~Widget();
    new (buffer) Widget(2, "NewWidget");

    // 关键步骤：清洗指针
    // 强制编译器放弃优化假设，从内存重新获取对象地址
    return std::launder(old_ptr);
}

int main() {
    // 对齐并分配内存
    alignas(Widget) unsigned char buffer[sizeof(Widget)];

    // 初始创建
    Widget* p = new (buffer) Widget(1, "OldWidget");

    // 替换对象
    // Widget* p2 = unsafe_recreate(buffer, p); // 危险：可能导致读取到旧的 id (1)
    Widget* p3 = safe_recreate(buffer, p);     // 安全：正确读取到新的 id (2)

    std::cout << "New ID: " << p3->id << std::endl;

    // 清理
    p3->~Widget();
    return 0;
}

判定标准：何时必须使用

并非所有指针重用都需要 std::launder。仅在以下特定条件组合下，它是强制必须的：

执行 以下自查步骤，确保代码安全：

1. 检查 代码中是否使用了 placement new 在旧内存上构建新对象。
2. 确认 新对象是否包含 const 成员、引用成员或虚函数。
3. 验证 是否存在通过旧指针访问新对象的代码路径。
4. 应用 std::launder 将旧指针转换为新指针进行访问。