Math.IEEEremainder() 严格遵循 IEEE 754 标准，按“四舍六入五成双”取最接近 x/y 的整数 n，再计算 x−y×n；结果符号同 x，绝对值不超过 |y|/2，与 % 在逻辑、舍入和边界行为上本质不同。
Math.IEEEremainder() 是 Java 中专为满足 IEEE 754 浮点余数定义而设计的方法，它与普通取余（%）在逻辑、舍入方式和结果行为上存在本质区别。它的核心目标不是“整除后剩下的部分”，而是严格遵循 IEEE 754 标准中对 remainder(x, y) 的数学定义：结果 = x − y × n，其中 n 是最接近 x / y 的整数（若 x / y 恰好位于两个相邻整数正中间，则取偶数）。
理解 IEEE 余数的关键逻辑
该方法不依赖于被除数的符号或截断方向，而是基于“四舍六入五成双”的舍入原则确定商的整数近似值 n，再代入公式计算余数。这导致它在处理边界情况（如跨零、大数比、半整数商）时与 % 明显不同：
- 当
x / y == 0.5或-0.5时，n取 0（偶数），余数等于x； - 当
x / y == 1.5时，n取 2（偶数），而非 1； - 结果的符号由被除数
x决定，但绝对值可能大于|y|/2（这点与%不同）。
与普通取余 % 的典型差异示例
以下对比清晰体现行为差异：
-
Math.IEEEremainder(5.0, 3.0)→ −1.0（因为 5/3 ≈ 1.666…，最接近整数是 2，5 − 3×2 = −1）；
而5.0 % 3.0→ 2.0（直接截断商为 1，5 − 3×1 = 2）。 -
Math.IEEEremainder(7.5, 5.0)→ −2.5（7.5/5 = 1.5，按“五成双”取 n=2，7.5 − 5×2 = −2.5）；
而7.5 % 5.0→ 2.5（截断商为 1）。 -
Math.IEEEremainder(−5.0, 3.0)→ 1.0（−5/3 ≈ −1.666…，最接近整数是 −2，−5 − 3×(−2) = 1）；
而−5.0 % 3.0→ −2.0（Java 中%符号随左操作数）。
使用注意事项与常见陷阱
该方法适用于需严格符合 IEEE 754 数值标准的科学计算、金融建模或硬件仿真场景，但日常开发中需警惕其非直观性：
立即学习“Java免费学习笔记（深入）”；
- 输入为
NaN或无穷大时，结果恒为NaN； - 若
y为 0，结果是NaN（不抛异常）； - 结果范围是
[−|y|/2, |y|/2]（闭区间），即余数绝对值不会超过除数绝对值的一半； - 不要用它替代整数模运算（如循环索引），因其浮点精度和性能开销均不匹配。
实际调用方式与简单验证
直接传入两个 double 值即可，无需额外转换：
double x = 10.7; double y = 4.0; double r = Math.IEEEremainder(x, y); // 返回 2.7（10.7/4 = 2.675 → n=3 → 10.7 − 4×3 = −1.3？错！注意：2.675 最接近整数是 3，但 10.7 − 4×3 = −1.3；而 2.675 更靠近 3，所以正确。再验：10.7 − 4×2 = 2.7，2.675 离 2 是 0.675，离 3 是 0.325 → 应取 3 → 结果 −1.3。因此上例应修正为：10.7/4 = 2.675，更近 3，故结果为 −1.3）
建议配合 Double.compare() 或误差容限判断结果，避免直接用 == 比较浮点余数。
