为何gcc -O1优化会影响std::rint()函数的执行结果？

这是因为GCC的优化行为导致浮点舍入模式的修改没有生效：

• 编译器优化忽略了浮点环境修改：在-O1及以上优化级别下，GCC默认会假设浮点环境（比如舍入模式）保持默认状态，不会追踪fesetround这类修改浮点环境的调用带来的副作用。这就导致你设置的FE_DOWNWARD（向负无穷舍入）根本没起作用，rint函数还是用了其他舍入规则。
• 实际生效的是向零舍入：你的代码里rint(-1.6)最终用了向零舍入的规则——直接截断小数部分，所以得到了-1，而不是预期的-2。

解决办法 #

有两种方式可以让舍入模式的修改生效：

1. 添加编译指示：在代码最开头加上#pragma STDC FENV_ACCESS ON，明确告诉编译器要关注浮点环境的变化：

#pragma STDC FENV_ACCESS ON
#include <iostream>
#include <cmath>
#include <cfenv>

using namespace std;

int main() {
    fesetround(FE_DOWNWARD);
    cout << rint(-1.6) << endl;
    return 0;
}

2. 编译时加特定选项：用-frounding-math编译，强制编译器考虑浮点舍入模式的修改：

g++ -O1 -frounding-math your_code.cpp -o your_program

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