根本原因是IEEE 754未规定中间计算精度和舍入时机：x86 x87用80位扩展精度，ARM/x64 SSE用32/64位；且编译器可能重排浮点表达式，因结合律不成立导致结果差异。
为什么 float 和 double 在不同平台算出来不一样
根本原因不是编译器“乱来”，而是 IEEE 754 标准只规定了基本行为，没锁死中间计算精度和舍入时机。x86 的 x87 FPU 默认用 80 位扩展精度做中间运算，而 ARM 或现代 x64（启用 SSE）默认用 32/64 位直接算；编译器还可能把 a + b + c 重排成 a + (b + c) 或 (a + b) + c，浮点结合律不成立，结果就分家了。
常见错误现象：std::abs(x - y) 在本地过、CI 上失败；网络同步游戏里两个客户端位置慢慢漂移；回放系统重演时状态错位。
- 别依赖编译器默认浮点模型，显式关掉优化级的浮点宽松性（如 GCC/Clang 的
-ffp-contract=off、-fno-fast-math） - 禁用 x87：Clang/GCC 加
-mfpmath=sse，MSVC 用/arch:AVX2或至少/arch:AVX（避免回落到 x87） - 所有参与关键计算的变量必须是
float或double，别混用long double（它在各平台语义差异极大）
std::fesetround 和 fegetround 能不能用来统一舍入方向
能设，但治标不治本。它们只控制当前线程的舍入模式（如向零、向上、向下），不影响中间计算位宽、不阻止编译器重排表达式、也不约束 sqrt sin 等数学函数的实现差异——glibc、musl、MSVC CRT 各自的 libm 对同一函数可能用不同算法逼近。
使用场景有限：仅适用于你完全控制所有运算步骤、且只用基础四则与明确舍入的场合（比如定点模拟、某些金融计算）。游戏逻辑或物理引擎里基本没用。
立即学习“C++免费学习笔记（深入）”；
- 设完必须检查返回值：
int old = std::fegetround(); if (std::fesetround(FE_TONEAREST) != 0) { /* 失败 */ } - 别跨线程共享舍入设置；每个线程需独立设置，且最好在计算前即时设、算完立刻恢复
- Windows 上需定义
_CRT_SECURE_NO_WARNINGS并链接legacy_stdio_definitions.lib才能用部分 fenv 函数
用整数或定点数替代浮点数是否更可靠
是目前最靠谱的跨平台确定性方案，尤其对游戏、模拟、区块链共识等场景。核心思路是把浮点需求“降维”：比如位置用 int32_t 表示毫米单位，角度用 uint16_t 表示 1/65536 圈，所有运算在整数域完成，彻底绕开 IEEE 754 的平台分歧。
性能影响很小——现代 CPU 整数运算吞吐远高于浮点，且无分支预测惩罚；兼容性拉满，连裸机或 DSP 都能跑。
- 避免用
float做缩放因子再转整数（比如(int)(x * 1000.0f)），这又引入了浮点不确定性；改用整数比例：x_mm = (x_int * 1000 + origin_int) / scale_int - 乘除要防溢出：用
int64_t中间暂存，或提前做模运算（如网络同步常用uint32_t序列号加法取模） - 标准库没现成定点类，别硬套
std::ratio；轻量级自己写 struct 就够用，重点是重载+-*并确保每步都截断或饱和
编译器和构建配置的关键开关
光写对代码没用，构建链路任何一个环节松动，确定性就崩。重点不是“支持什么”，而是“禁止什么”。
错误典型：CMake 里只设 set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -ffp-contract=off")，却忘了 RelWithDebInfo 模式下可能继承了其他 profile 的 fast-math。
- GCC/Clang 必加：
-fno-fast-math -ffp-contract=off -mfpmath=sse -msse2（后者确保 SSE2 指令集强制启用） - MSVC 必加：
/fp:precise /arch:AVX2（/fp:strict更严但慢很多，一般不必要） - CMake 中对所有 build type 显式覆盖：
add_compile_options($:-ffp-contract=off>) - 禁用 LTO（Link Time Optimization）：它可能跨函数重排浮点表达式，即使编译期关了 fast-math，LTO 阶段也可能重新打开
真正的难点不在某一行代码，而在于整个工具链的信任链：从源码字符编码（BOM？换行符？）、预处理器宏展开顺序、模板实例化路径，到最终二进制中浮点常量的汇编表示——任何一环有非确定性输入，结果就不可复现。所以，与其赌某个开关能“修好”浮点，不如早一步把关键逻辑移到整数域。
