`fesetround()`函数的作用域范围技术咨询

1. 和源文件/翻译单元无关 #

fesetround的作用完全不受源文件、翻译单元的限制。它修改的是运行时的浮点环境状态，这个状态是程序运行时的线程内全局状态，和代码来自哪个编译单元没有关系。

举个实际场景：你在A.c里调用fesetround(FE_DOWNWARD)设置向下舍入，之后不管是在同一个源文件，还是链接进来的B.c、C.cpp里，只要是同一个线程执行的浮点运算，都会遵循这个舍入规则——哪怕这些文件是分开编译再链接到一起的。

2. 线程层面：线程局部独立 #

从C11标准开始，浮点环境被明确规定为线程局部的，简单说就是每个线程有自己独立的浮点环境副本：

• 线程A调用fesetround改了舍入规则，只会影响线程A自己的浮点运算，线程B的舍入规则不受任何干扰。
• 新创建的线程会继承创建它的线程的浮点环境初始状态，但之后各自修改自己的环境，互相不影响。

补充：C11之前的标准没明确这一点，老平台的行为可能有差异，但现在主流的Linux、Windows、macOS都严格遵循线程局部的规则，兼容性问题不用太担心。

3. 额外提醒 #

• 舍入规则的修改是即时生效的，直到下一次调用fesetround或者其他修改浮点环境的函数（比如feupdateenv）才会变更。
• 有些编译器优化会默认对浮点运算做假设，如果频繁切换舍入规则，可能需要禁用相关优化（比如GCC的-ffp-contract=off），防止优化打乱预期的舍入效果。

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