C++中int与double互转、std::round转int是否有正确性强保证？

1. int转double再转回int的恒等性 #

目前所有通用平台（x86、ARM、RISC-V等）的double类型都遵循IEEE 754双精度标准，该类型有53位有效二进制位，能精确表示所有绝对值小于2^{53（约9×10}15）的整数。常规32位int的取值范围是-2^31到231-1（约±21亿），远低于2^53的阈值。
在符合IEEE 754标准的环境下，任意int类型值A，A == (int)(double)A是有强保证的，必然成立。除非你碰到极其罕见的、不遵循IEEE 754的特殊嵌入式浮点实现，否则这个结论没有例外。

2. std::round会不会返回偏离整数的近似值 #

你担心的std::round(4.1)返回3.99999999999或者4.000000000001的情况，在你说的-50000到50000的取值范围内完全不可能出现：

• std::round的标准语义就是返回距离输入值最近的整数值，小数部分恰好为0.5时向远离0的方向舍入
• -50000到50000区间的所有整数都远小于2^53的精确表示阈值，全部可以被double精确存储，因此std::round在这个输入范围内的返回值一定是精确对应整数的double值，不会出现和真实结果差极小量的误差
  如果真的存在3.99999999999这样的double值，转int确实会得到3，但这个前提在你的使用场景下根本不会发生。

3. 自定义roundi函数是否有必要 #

你实现的自定义取整函数代码如下：

template<std::integral S = int, std::floating_point T>
S roundi(T x)
{
    S r = (S) x;
    T r2 = std::fmod(x, 1);
    if (r2 >= 0.5) return r + 1;
    if (r2 <= -0.5) return r - 1;
    return r;
}

写这个自定义函数完全没必要。这个实现属于多余的防护，反而还存在潜在问题：比如浮点数精度误差导致std::fmod的返回值出现极小偏差时，可能触发错误的大小判断。
在你给定的日常取值范围内，直接写(int)std::round(y)就能100%得到正确结果。如果想省掉强制转换的步骤，还可以直接用标准库提供的std::lround或者std::llround，这两个函数会直接返回long/long long类型的取整结果，不需要额外做类型转换，语义更清晰也更安全。

4. double转int的转换规则 #

double强制转换为int时不会做任何基于尾数的舍入操作，C++标准明确规定这个转换是向零截断：直接舍弃全部小数部分，只保留整数部分，和数值距离哪个整数更近没有关系。比如(int)4.999999的结果是4，(int)-3.999999的结果是-3，不存在四舍五入的逻辑。

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