JavaScript整除负数时Math.floor与Math.trunc的结果差异

一、数轴原理解析：向负无穷与向零舍入

JavaScript 本身并没有类似 Python 中专门表示整数除法的 // 运算符，所有的常规数值除法 / 均按照 IEEE 754 双精度浮点数标准进行运算。当需要取得整除的商时，开发者必须显式调用取整函数。要搞清楚为什么对负数会有不同的计算结果，首先需要回归数轴观察两者的数学定义：

• Math.floor(x)（向下取整）：对应数学中的底函数 $\lfloor x floor$。它的严格定义是“返回小于或等于给定数值的最大整数”。在数轴上，这意味着计算点永远向左（即向负无穷方向 $-\infty$）寻找最近的整数。
• Math.trunc(x)（截断取整）：该方法由 ECMAScript 2015 (ES6) 引入，功能非常纯粹——完全抹去数值的小数部分，仅保留整数位。在数轴上，无论处于正半轴还是负半轴，截断小数都意味着计算点向原点 $0$ 方向靠拢。

以算式 7 / 2 = 3.5 与 -7 / 2 = -3.5 为例：

// 正数除法：两者表现完全相同，均向左靠拢到 3
console.log(Math.floor(7 / 2)); // 3 (3 <= 3.5)
console.log(Math.trunc(7 / 2)); // 3 (抹去 .5)

// 负数除法：出现分歧
console.log(Math.floor(-7 / 2)); // -4 (-4 <= -3.5，向负无穷方向)
console.log(Math.trunc(-7 / 2)); // -3 (抹去 .5，向原点方向)

在正数侧，小于 3.5 的最大整数是 3，抹去小数也是 3，两个动作的方向恰好一致；但在负数侧，小于 -3.5 的整数是 -4，而抹去小数得到的却是 -3。正是因为在正数场景下两者输出完全相同，导致许多读者形成了“Math.floor 就是整除求商”的思维惯性，直到在负数场景发生差一错误时才察觉出问题。

二、运算推导过程与伴生余数的变化

从代码执行推导的角度来看，对任意两个整数 a 和 b 执行整除操作，可分为三个连续步骤：

1. 执行浮点除法：计算 raw = a / b，获得浮点结果。
2. 判定数值形态：检查 raw 是否含有非零小数。若除法能够整除（例如 -6 / 2 = -3），小数位为零，此时 Math.floor(-3) 与 Math.trunc(-3) 均返回 -3，两者并无区别。
3. 分流取整：当且仅当 raw < 0 且包含小数时，Math.floor 触发向更小负整数跃迁，而 Math.trunc 保持当前整数位不变。

这种取整方式的分歧不仅改变了商的值，还会直接连带影响余数（Remainder）的定义。在数学公式中，除法、商与余数满足恒等式：被除数 = 除数 × 商 + 余数（即 a = b * q + r）。取整方式的选择直接决定了余数的正负：

const a = -7;
const b = 2;

// 1. 基于 Math.floor 的商与余数（欧几里得除法 / 类似 Python // 与 %）
const qFloor = Math.floor(a / b); // -4
const rFloor = a - (b * qFloor);   // -7 - (2 * -4) = +1 （余数始终保持非负）

// 2. 基于 Math.trunc 的商与余数（对齐 C/Java 整数除法及 JS 原生 % 运算符）
const qTrunc = Math.trunc(a / b); // -3
const rTrunc = a - (b * qTrunc);   // -7 - (2 * -3) = -1 （余数符号与被除数一致）
console.log(a % b);                // -1 （与 Math.trunc 的伴生余数一致）

由此可见，JavaScript 语言内置的求模运算符 % 在底层采用的正是向零截断的语义。如果你的数学逻辑强依赖 a % b，那么配合 Math.trunc 才能保持代数关系的一致闭合。

三、方案横向对比：Math.floor、Math.trunc 与按位运算

在实际工程代码中，除了 Math.floor 和 Math.trunc，还常能见到使用按位运算符进行整除的写法（如 (a / b) | 0 或 ~~(a / b)）。为了全面评估不同方案的特性与边界，我们将它们的核心指标汇总如下：

四、业务选型与场景决策指南

既然 Math.floor 和 Math.trunc 在负数下产生不同结果，那么在实际项目中该如何选择？答案取决于你的业务需求是侧重“空间/周期的连续平移”，还是侧重“关于零点的绝对值对称”。

场景一：网格地图分块、时间槽分桶、无限滚动分页（推荐 Math.floor）

在游戏开发、GIS 地图切片或无限虚拟列表中，常常需要将任意坐标 x 映射到固定步长 S 的网格区块（Chunk ID）。假设网格单元宽度为 10：

• 区间 [0, 10) 属于网格 0
• 区间 [10, 20) 属于网格 1
• 区间 [-10, 0) 应当平滑衔接属于网格 -1

如果使用 Math.floor(x / 10)，当 x = -5 时，计算出 Math.floor(-0.5) = -1，每个网格的宽度始终恒定为 10，数轴上的网格连续无缝；但若误用 Math.trunc(x / 10)，当 x = -5 时会得到 0，导致区间 (-10, 10) 内的所有点全部被归入网格 0，使得 0 号网格的宽度异常膨胀为 20，造成严重的逻辑断裂。因此，凡是涉及空间网格划分、时间周期循环等场景，必须使用 Math.floor。

场景二：后端接口对齐、物理对称运动、进度截断（推荐 Math.trunc）

如果前端需要与 Java、C++、Go 或 C# 编写的后端微服务协同计算，这些后端语言在对整数类型进行 / 运算时，均严格遵循向零截断规则。例如 Java 中的 -7 / 2 直接得出 -3。前端若使用 Math.floor 计算得到 -4，就会引发前后端校验不一致的 Bug。此外，在处理折扣率截断、对称物理受力等强调绝对值量级的场景下，Math.trunc 能够确保 trunc(-x) === -trunc(x)，保证几何与物理上的对称性。

五、边界条件与避坑清单

在实际编码中，还需留意以下三个极易被忽视的边界陷阱：

• 带符号的负零（-0）：当传入介于 (-1, 0) 之间的小数时（如 Math.trunc(-0.3)），Math.trunc 会返回 -0。虽然在大多数判断中 -0 === 0 成立，但在使用 Object.is(-0, 0) 或执行除以零（得到 -Infinity）时会出现差异。如果需要清除负零，可使用 Math.trunc(x) || 0。
• BigInt 大整数类型除法：JavaScript 中原生的 BigInt 除法（如 -7n / 2n）本身就是整数除法，且规范明确规定其行为为向零截断，运算结果为 -3n。需要注意的是，Math.floor 和 Math.trunc 并不支持接收 BigInt 作为参数，直接传入会抛出 TypeError。
• 非数值与特殊浮点数：当除数为 0 或操作数包含 NaN 时，浮点运算会返回 Infinity、-Infinity 或 NaN。Math.floor 和 Math.trunc 会如实透传这些特殊标记，但在使用位运算 | 0 时，所有非有限数值都会被强制静默转换成 0，从而掩盖上游的计算异常。

总结而言，在 JavaScript 中整除负数时，Math.floor 代表“向负无穷方向求下界”，保障了周期与区间的几何连续性；而 Math.trunc 代表“向零方向截断小数”，保障了数值量级的对称性以及与主流系统语言除法的兼容。在面对负数除法需求时，应当根据具体业务语义明确选用，避免凭直觉随手调用。