这是Clang的Bug还是代码问题？RAII浮点舍入类输出差异问询

首先还原你的测试场景和疑问：

请运行以下C程序两次：一次保留给定的析构函数，一次移除析构函数中的std::fesetround(value);语句。为何两次输出不同？析构函数不应在add函数执行后才调用吗？我已在cpp.sh、Clang 6.0及g++ 7.2.0环境测试，针对g++还添加了#pragma STDC FENV_ACCESS on，但结果无变化。

先补全符合RAII管理浮点舍入模式逻辑的完整代码片段：

#include <iostream>
#include <cfenv>
#include <cmath>

struct raii_feround {
    int value;
    raii_feround(int round_mode) {
        value = std::fegetround(); // 保存当前全局舍入模式
        std::fesetround(round_mode); // 设置目标舍入模式
    }
    ~raii_feround() {
        std::fesetround(value); // 恢复原舍入模式——就是这行被移除后输出变化
    }
};

double add(double a, double b) {
    raii_feround guard(FE_DOWNWARD); // 进入函数时切换为向下舍入
    return a + b;
}

int main() {
    std::cout.precision(15);
    // 用一个会触发舍入的计算：比如1.9 + 1.9，实际值是3.8，但浮点表示存在精度问题
    std::cout << "add函数返回值：" << add(1.9, 1.9) << std::endl;
    // 后续的浮点运算，验证舍入模式的影响
    std::cout << "直接计算结果：" << 1.9 + 1.9 << std::endl;
    return 0;
}

咱们来拆解核心原因：

1. 浮点环境是全局共享的，析构函数的作用是“清理全局状态” #

你可能误以为析构函数只是add函数的局部操作，但std::fesetround修改的是整个程序的全局浮点舍入模式。当你保留析构函数的恢复语句时，add函数执行完会把舍入模式改回原来的默认值（通常是FE_TONEAREST）；但移除这行后，add设置的FE_DOWNWARD会一直生效到程序结束——这意味着main里后续的1.9 + 1.9也会用向下舍入，自然输出不同。

2. 编译器优化会“打乱”运算执行时机 #

你提到的“析构函数应该在add执行后才调用”理论上是对的，但编译器的优化（尤其是-O2及以上级别）会重排浮点运算的顺序，甚至做函数内联：

• 当保留析构函数时，编译器会识别到“舍入模式只是临时修改”，会确保a + b的计算在FE_DOWNWARD模式下完成，之后立即恢复模式。
• 当移除恢复语句时，编译器会认为“舍入模式会一直保持FE_DOWNWARD”，可能会把add里的加法和main里的后续浮点运算合并计算，甚至延迟到输出时才执行——这时候整个运算流程的舍入模式都被改变了，结果自然不同。

3. #pragma STDC FENV_ACCESS on的局限性 #

你添加这个指令是想让编译器严格跟踪浮点环境的变化，但它的支持并不完美：

• GCC和Clang在优化级别较高时，会优先考虑性能，忽略这个指令（因为跟踪浮点环境会大幅降低优化效率）。
• 这个指令需要在所有浮点运算之前声明，且作用于整个编译单元，否则无法生效。

验证小技巧 #

如果你用-O0（关闭所有优化）编译两次，会发现输出差异消失：

• 保留析构函数：add的加法在FE_DOWNWARD下执行，之后恢复默认模式，main的直接计算用默认模式。
• 移除析构函数：add的加法在FE_DOWNWARD下执行，之后模式保持不变，但add的返回值已经计算完成，所以add的输出和之前一致，只有main的直接计算结果变化——这也能印证是优化和全局状态污染导致的问题。

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