为什么 JavaScript 负数向下取整结果是 -4 而不是 -3？

一、直觉误区与“向下取整”的数学本质

初学者容易对 Math.floor(-3.4) 产生误解，根源在于混淆了日常语言习惯与严格数学定义。

在日常生活中，人们常把“向下取整”通俗地理解为“把零头抹掉”或者“数值变短”。在处理正数时，这种直觉碰巧是成立的：例如 Math.floor(3.7) 得到 3，看起来就像是直接把后面的 .7 删除了。然而，当输入值变为负数时，“抹掉小数位”和“向下取整”就会走向完全相反的两个方向：

• 丢弃小数部分（向零截断）：将 -3.7 变为 -3。由于 -3 距离原点更近，它的绝对值变小了，但在实数轴上其实是变大了（$-3 > -3.7$）。
• 数学意义上的向下取整（Floor）：向数轴更小的一端（负无穷）移动。-3.7 的左侧第一个整数是 -4，它的数值比 -3.7 更小（$-4 < -3.7$）。

严格的数学定义中，实数 $x$ 的向下取整函数记作 $\lfloor x floor$，其判定规则为：

⌊x⌋ = max { n ∈ ℤ | n ≤ x }

即在所有小于或等于 $x$ 的整数集合中，挑选出数值最大的一个。我们将正负数分别代入该定义进行四步验算：

1. 代入正数 $x = 3.4$：所有满足 $n \le 3.4$ 的整数有 ..., 0, 1, 2, 3。其中最大的整数是 3，因此 Math.floor(3.4) === 3。
2. 代入负数 $x = -3.4$：所有满足 $n \le -3.4$ 的整数有 ..., -6, -5, -4。注意，整数 -3 因为 $-3 > -3.4$，根本不满足 $n \le x$ 的前提条件，首轮就被排除！在所有满足条件的候选整数中，最大的就是 -4，因此 Math.floor(-3.4) === -4。

二、ECMAScript 规范中 Math.floor 的执行逻辑

在底层实现上，所有现代 JavaScript 引擎（如 V8、SpiderMonkey、JavaScriptCore）均严格遵循 ECMAScript 标准。根据 ECMA-262 规范中关于 Math.floor(x) 的定义：

规范中不仅界定了常规数值，还明确规定了各种特殊浮点值的边界行为：

// 1. 常规负浮点数向下取整
console.log(Math.floor(-3.14)); // 示例输出: -4
console.log(Math.floor(-3.7));  // 示例输出: -4
console.log(Math.floor(-3.99)); // 示例输出: -4

// 2. 刚好等于整数的负数（满足 n <= x 条件，自身即为最大整数）
console.log(Math.floor(-3.0));  // 示例输出: -3
console.log(Math.floor(-3));    // 示例输出: -3

// 3. 特殊边界值处理
console.log(Math.floor(-0));    // 示例输出: -0（保留负零符号）
console.log(Math.floor(-Infinity)); // 示例输出: -Infinity
console.log(Math.floor(NaN));   // 示例输出: NaN

这一设计与物理学、计算机图形学中的网格计算完全契合。如果负数向下取整变成 -3，那么连续区间 [-1, 0) 和 [0, 1) 就会在取整后挤压堆叠，导致数轴对称性和均匀周期性遭到破坏。

三、四大取整方法横向对比：选择你真正需要的函数

很多开发者之所以在负数上被 Math.floor 困扰，是因为他们的业务诉求本来就不是“数学下界”，而是“丢弃小数位”。JavaScript 提供了四个语义明确的取整函数，了解它们的差异能够避免 90% 的边界计算 Bug。

1. Math.floor(x) —— 向下取整（向负无穷）

向数轴左侧寻找最近整数。无论正负数，结果一定小于或等于原数。适合坐标网格划分、索引计算和数学下界求解。

2. Math.trunc(x) —— 向零截断（去除小数部分）

ES6（ECMAScript 2015）引入的标准方法。无论正负数，直接将小数点后的所有数字丢弃。如果你的业务需求是“把 -3.7 变成 -3”，那么 Math.trunc() 才是标准的写法。

3. Math.ceil(x) —— 向上取整（向正无穷）

向数轴右侧寻找最近整数。无论正负数，结果一定大于或等于原数。最常见的场景是分页计算（如计算总页数 Math.ceil(total / pageSize)）。

4. Math.round(x) —— 四舍五入（就近舍入）

向距离原数最近的整数舍入。需要特别注意 JavaScript 中负数临界值 -3.5 的行为：规范规定对 x + 0.5 进行向下取整并调整符号，导致 Math.round(-3.5) 的输出是 -3 而非 -4（因为向正无穷方向更优先），但对于 Math.round(-3.51) 则输出 -4。

四、位运算取整（~~ 与 | 0）的工作原理与隐藏陷阱

在阅读老项目源码或性能优化代码时，我们经常能看到使用双波浪号 ~~x 或按位或 x | 0 来取整的技巧。测试以下代码会发现：

console.log(~~(-3.7));    // 示例输出: -3
console.log((-3.7) | 0);  // 示例输出: -3

为什么此时负数的结果变成了 -3？难道位运算才是“真正的 floor”？恰恰相反：位运算取整从来都不是向下取整，它在规范层面上对应的是向零截断（Math.trunc）。

其深层原理在于 ECMAScript 规范中对位操作符的强制转换流程：

1. 当执行 ~、|、^ 或位移操作时，JavaScript 引擎会先对操作数调用内部抽象操作 ToInt32(x)。
2. ToInt32 算法内部明确规定：先去除小数部分（向零截断），然后将其映射到 32 位补码有符号整数范围内。
3. 因此，~~(-3.7) 实际上执行的是 ToInt32(-3.7)，自然输出了 -3。

// 超过 32 位上限的灾难性后果
const bigVal = 3000000000.7; // 30 亿
console.log(Math.floor(bigVal)); // 示例输出: 3000000000（正常）
console.log(Math.trunc(bigVal)); // 示例输出: 3000000000（正常）
console.log(~~bigVal);           // 示例输出: -1294967296（严重溢出变为负数！）

五、业务场景中的选型决策指南

在实际工程中，选择哪个取整函数取决于你的业务模型是否需要处理连续性与负数。

场景 1：网格平铺与游戏地图坐标（必须用 Math.floor）

假设你在开发二维网格系统或游戏地图，每个网格单元的宽度为 10px。给定任意 X 坐标，要计算它所属的网格索引：

function getGridIndex(x, gridSize = 10) {
  return Math.floor(x / gridSize);
}

// 正负坐标网格连续均匀：
// [0, 10)  => index 0
// [-10, 0) => index -1 (宽度为 10)
// [-20, -10) => index -2 (宽度为 10)
console.log(getGridIndex(5));   // 示例输出: 0
console.log(getGridIndex(-5));  // 示例输出: -1
console.log(getGridIndex(-12)); // 示例输出: -2

如果这里错误地使用了 Math.trunc，那么 -5 / 10 = -0.5 会被截断为 0，导致 [-10, 10) 这一整个区间的网格索引全部变成了 0，网格宽度直接扩大了一倍，系统几何逻辑彻底损坏！因此在连续坐标系中，Math.floor 是唯一正确的选择。

场景 2：时间换算与单纯取整（推荐用 Math.trunc）

当处理倒计时、秒数转分钟，或格式化纯展示数值时，负数通常表示超期或反向时间差。此时通常希望保留对称的纯整数：

function formatDiffSeconds(seconds) {
  const mins = Math.trunc(seconds / 60);
  const remainingSecs = Math.trunc(seconds % 60);
  return `${mins} 分 ${remainingSecs} 秒`;
}

console.log(formatDiffSeconds(125));  // 示例输出: 2 分 5 秒
console.log(formatDiffSeconds(-125)); // 示例输出: -2 分 -5 秒

场景 3：分页总数计算（标准用 Math.ceil）

无论数据总量是否能整除每页条数，多余的条目都必须占用一个新页面：

const totalItems = 21;
const pageSize = 10;
const totalPages = Math.ceil(totalItems / pageSize);
console.log(totalPages); // 示例输出: 3

六、核心要点总结

回顾本文开头的问题：“为什么 JavaScript 负数向下取整结果是 -4 而不是 -3？”，可以总结为三条清晰的心智模型：

• 向下的方向是向左：向下取整的“下”指的是数轴的负无穷方向，而不是以原点 0 为参考的去尾。$-4 \le -3.4$ 成立，因此 $-4$ 是向左触达的第一个整数。
• 去掉小数用 Math.trunc：如果业务需要舍弃小数位得到 $-3$，请直接使用 ES6 引入的 Math.trunc()。
• 警惕位运算伪装：~~x 和 x | 0 的行为是向零截断而不是向下取整，且受限于 32 位有符号整数，超过 21 亿会导致数值溢出。