gcc 13.2开启-O3时std::launder相关代码断言失败问题咨询

我编写了一段C++代码，预期不会触发断言失败，但在GCC 13.2开启-O3优化选项时却出现断言失败。Clang及GCC开启-O0时运行正常，将Foo类的析构函数改为其他方法后，断言失败现象消失。代码如下：

#include <cstddef>
#include <new>
#include <cassert>

struct Foo
{
    ~Foo()
    {
        destructed = true;
    }

    bool destructed = false;
};

int main()
{
    alignas(alignof(Foo)) std::byte buffer[sizeof(Foo)];

    Foo* p1 = std::launder(reinterpret_cast<Foo*>(buffer));

    new (p1) Foo();

    assert(p1->destructed == false);

    Foo* p3 = std::launder(reinterpret_cast<Foo*>(buffer));
    p3->~Foo();
    
    //////////// Assertion failure ?????????????????????????
    assert(p3->destructed == true);
    
    return 0;
}

问题根源：访问已销毁对象成员的未定义行为 #

这段代码的核心问题在于对象析构后仍访问其成员，属于C++标准明确禁止的未定义行为：

• 调用p3->~Foo()后，p3指向的Foo对象生命周期正式结束，此时任何对该对象成员（destructed）的访问操作都是非法的。
• -O0无优化模式下，编译器不会对内存做激进的清理或优化，destructed的值可能还保留在内存中，因此断言侥幸通过；但-O3高优化模式下，编译器会严格遵循对象生命周期规则进行优化，可能直接判定析构后访问成员的行为无效，甚至将相关读取操作优化掉，最终导致断言失败。
• 额外说明：代码中两次使用std::launder都是错误的——第一次在placement new之前使用，此时buffer中还没有构造Foo对象，std::launder毫无意义；第二次在析构后使用，std::launder无法让指向已销毁对象的指针重新变得合法，它仅适用于在原内存地址上重新构造对象后的指针调整。

修复方案 #

要解决这个问题，必须确保只在对象的生命周期内访问其成员。最安全的做法是在析构前将需要验证的状态保存到外部变量：

#include <cstddef>
#include <new>
#include <cassert>

struct Foo
{
    ~Foo()
    {
        destructed = true;
    }

    bool destructed = false;
};

int main()
{
    alignas(alignof(Foo)) std::byte buffer[sizeof(Foo)];

    // 直接通过placement new构造对象，无需提前launder
    Foo* p = new (buffer) Foo();

    assert(p->destructed == false);

    // 析构前先保存状态
    bool destructed_status = p->destructed;
    p->~Foo();
    
    // 验证保存的状态
    assert(destructed_status == true);
    
    return 0;
}

如果确实需要在析构后检查内存中的值（仅适用于平凡类型且内存未被复用的场景，不推荐作为通用做法），可以通过指向内存的原始指针访问，但这依然依赖于编译器的实现行为，并非标准合规的写法：

#include <cstddef>
#include <new>
#include <cassert>

struct Foo
{
    ~Foo()
    {
        destructed = true;
    }

    bool destructed = false;
};

int main()
{
    alignas(alignof(Foo)) std::byte buffer[sizeof(Foo)];

    Foo* p = new (buffer) Foo();
    assert(p->destructed == false);

    p->~Foo();
    
    // 通过原始字节数组访问内存中的值
    bool* destructed_ptr = reinterpret_cast<bool*>(buffer);
    assert(*destructed_ptr == true);
    
    return 0;
}

关键总结 #

• 对象生命周期结束后，任何访问其成员的行为都是未定义行为，编译器可自由处理，不同优化级别下表现差异是正常现象。
• std::launder的正确使用场景是：在同一块内存上重新构造对象后，调整指针指向新构造的对象，不能用于“复活”已销毁的对象指针。
• 验证对象状态的操作必须在对象生命周期内完成，避免依赖析构后的内存内容。

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