C++20中GLM库volatile相关废弃警告及代码修复咨询

下面是几种符合现代C++标准的修复方式，核心目标是阻止编译器优化循环，确保浮点溢出被实际触发：

方案一：用std::atomic<float>替代volatile #

std::atomic是C标准中用于控制内存访问的工具，能保证变量的每次读写都是内存操作，完全替代volatile在这个场景下的作用，且符合C20及以后的标准规范。

#include <atomic>

GLM_FUNC_QUALIFIER float overflow()
{
    std::atomic<float> f = 1e10;

    for(int i = 0; i < 10; ++i)
        f.store(f.load() * f.load());
    return f.load();
}

load()和store()方法强制每次运算都从内存读取当前值、写入计算结果，编译器无法优化掉循环逻辑，同时不会触发volatile相关的废弃警告。

方案二：插入编译器内存屏障 #

如果不想引入std::atomic的开销，可以直接用编译器提供的内存屏障指令，告诉编译器不能对变量f的操作进行优化。这种方式更贴近原代码的逻辑，且兼容性好。

GLM_FUNC_QUALIFIER float overflow()
{
    float f = 1e10;

    for(int i = 0; i < 10; ++i)
    {
        f *= f;
        // 跨编译器内存屏障，阻止优化
        #if defined(__GNUC__) || defined(__clang__)
            __asm__ __volatile__("" : : : "memory");
        #elif defined(_MSC_VER)
            _ReadWriteBarrier();
        #endif
    }
    return f;
}

内存屏障指令会让编译器放弃对这段代码的优化，确保f的每次修改都被实际执行，循环不会被剔除或展开。

方案三：兼容过渡方案（不推荐长期使用） #

如果需要临时兼容原有代码结构，同时消除C++20的警告，可以用std::launder处理volatile变量的指针，但这只是过渡手段，长期建议使用前两种方案。

#include <new>

GLM_FUNC_QUALIFIER float overflow()
{
    volatile float f = 1e10;
    volatile float* pf = std::launder(&f);

    for(int i = 0; i < 10; ++i)
        *pf *= *pf;
    return *pf;
}

std::launder在C20中可以正确处理volatile对象的指针，规避因volatile规则变更导致的警告，但本质还是依赖volatile，不符合现代C的推荐用法。

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