round 和 nearbyint：C++里那点“四舍五入”的小心思

刚写完一段浮点计算，想把 3.7 变成 4，2.5 变成 3，顺手敲下 round(2.5)——结果没错。可一跑测试，发现 round(-2.5) 返回的是 -2，不是 -3？再换 nearbyint(-2.5)，咦，它居然也返回 -2？你盯着控制台发了三秒呆：这俩函数到底在按什么规则“取整”？它们真能当四舍五入使吗？

别急，这不是你环境坏了，也不是编译器抽风。这是 C++ 标准里埋得挺深、但又实实在在影响结果的细节。

round 看似直白，实则严格遵循 IEEE 754 的“舍入到最近整数，平局时向远离零的方向舍入”。也就是说，2.5 → 3，−2.5 → −3？错。round(-2.5) 实际返回 -2。因为“远离零”对负数而言是更小的数（即更负），但等等——-3 才比 -2.5 更小啊？这里卡壳了。真相是：“远离零”指绝对值更大。|-3| = 3 > |-2.5| = 2.5，所以 -2.5 应该去 -3。可为什么实测是 -2？

答案藏在 round 的定义里：它舍入到最近的整数，当恰好位于两个整数正中间时，向远离零的方向取。-2.5 正好夹在 -2 和 -3 中间，离两者距离都是 0.5，属于“平局”。此时，“远离零”意味着选绝对值更大的那个——-3。那为什么你看到的是 -2？
→ 检查你的编译环境和标准库实现。GNU libstdc++ 在某些旧版本或特定 ABI 下曾有 round 对负半整数处理异常的 bug；但更大概率是你误用了 rint 或没开启 C++11 以上标准。用 g++ -std=c++17 重编，再试：std::round(-2.5) 确实是 -3。这个细节常被忽略——round 是可靠的，但前提是你的工具链符合 ISO/IEC 14882:2011 起的规范。

而 nearbyint 完全不参与“四舍五入”的日常想象。它干的事很纯粹：把浮点数按当前浮点舍入模式（FE_TONEAREST、FE_DOWNWARD 等）转换为整型浮点值，且不抛出 FE_INEXACT 异常。重点来了：它不改变当前的舍入方向，只忠实地执行。如果你没手动改过舍入模式，系统默认是 FE_TONEAREST——也就是 IEEE 的“舍入到最近偶数”（银行家舍入）。所以 nearbyint(2.5) 返回 2.0，nearbyint(3.5) 返回 4.0，nearbyint(-2.5) 返回 -2.0。它根本不是四舍五入，而是“就近取偶”的静默执行者。

这就引出一个实际痛点：你想做真正的“数学上四舍五入”（即 x ≥ 0 ? floor(x+0.5) : ceil(x-0.5)），但又不想自己写分支逻辑。round 最接近，但它依赖标准合规性；nearbyint 则完全不满足需求。怎么办？

一个轻量解法：用 round，但加一层兜底校验。例如：

#include <cmath>
#include <cfenv>

long true_round(double x) {
    // 先尝试标准 round
    double r = std::round(x);
    // 验证是否真为“远离零”行为（尤其针对负半整数）
    if (std::abs(x - std::trunc(x)) == 0.5 && x < 0) {
        // 手动补正：-2.5 应得 -3，而非 -2（若 round 行为异常）
        return static_cast<long>(x - 0.5);
    }
    return static_cast<long>(r);
}

不过更推荐的做法是：明确你的场景需要哪种语义，然后选对工具。

• 需要“数学课本式四舍五入”？用 std::round，并确保编译器支持 C++11+。
• 需要“不触发浮点异常的快速取整”（比如音频采样、实时渲染）？用 nearbyint，但必须清楚它走的是银行家舍入。
• 需要“向零截断”？static_cast<long>(x) 或 std::trunc 更直接。
• 需要“始终向上/向下取整”？std::ceil / std::floor 不香吗？

最后提醒一个易踩坑点：round 和 nearbyint 返回类型是 double（或 float/long double），不是整型。直接赋给 int 可能溢出，尤其对大浮点数。安全做法是先转 long long，再检查范围：

double x = 1e10;
auto r = std::round(x);
if (r > LLONG_MAX || r < LLONG_MIN) {
    throw std::overflow_error("rounded value out of integer range");
}
long long result = static_cast<long long>(r);

回到开头那个 3.7 → 4 的简单愿望——其实最稳的写法有时就是 static_cast<int>(x + (x >= 0 ? 0.5 : -0.5))，只要 x 在 int 表示范围内。它不依赖标准库实现细节，不触发异常，逻辑透明。工具的价值不在名字多像人话，而在你按下回车那一刻，它给出的答案是否如你所想。

下次看到 round，别只当它是“四舍五入函数”；看到 nearbyint，也别以为它只是个更快的 round。它们各自守着浮点世界的某条边界线——理解那条线在哪，比记住返回值更重要。