JS负数求余结果是正还是负？%运算符符号规则详解

在编写轮播组件向前翻页、环形缓冲区调度或时间回退计算时，许多开发者会写下形如 (currentIndex - 1) % total 的表达式。当当前处于第 0 项时，期望通过 (0 - 1) % 5 得到最后一个元素的索引 4，但在 JavaScript 环境中运行却得到了 -1，进而因为访问 list[-1] 返回 undefined 造成页面白屏或逻辑报错。

结论先行：在 JavaScript 中，负数求余的结果是负数。 更严谨地说，JavaScript 的 % 运算符是求余运算符（Remainder Operator），其计算结果的符号严格由左操作数（被除数）决定，而右操作数（除数）的符号对余数正负没有任何影响。

一、四种符号组合的实测与规律

为了直观验证这一规则，我们测试操作数在不同正负组合下的实际求值结果：

// 1. 正数 % 正数
console.log(7 % 3);   // 结果： 1

// 2. 负数 % 正数（常见踩坑场景）
console.log(-7 % 3);  // 结果：-1

// 3. 正数 % 负数
console.log(7 % -3);  // 结果： 1

// 4. 负数 % 负数
console.log(-7 % -3); // 结果：-1

二、ECMAScript 底层原理：为什么符号由被除数决定？

为什么 JavaScript 会设计成余数带负号，而不是像数论中那样保持在非负区间？这需要从 ECMAScript 规范定义的除法与求余机制 说起。

在 ECMAScript 规范中，% 运算符被正式命名为 Remainder Operator（求余运算符）。给定表达式 n % d，其计算满足标准算术等式：

n = (d * q) + r

其中 n 为被除数，d 为除数，q 为整数商，r 为求余结果。决定 r 符号的关键，在于商 q 的取整策略：

• 截断除法（Truncated Division，向零取整）：JavaScript、C/C++（C99规范起）、Java、C# 等语言采用此策略。商 q = Math.trunc(n / d)，即直接丢弃小数部分，朝数字 0 的方向靠拢。
• 地板除法（Floored Division，向下取整）：Python、Ruby 及数学同余理论采用此策略。商 q = Math.floor(n / d)，向负无穷方向靠拢。

以 -7 % 3 为例的数学推导：

1. 首先计算实数商：-7 / 3 ≈ -2.3333...。
2. 在 JavaScript 的截断规则下，向 0 截断获得整数商：q = Math.trunc(-2.3333...) = -2。
3. 根据等式 r = n - (d * q) 推导余数：
   r = -7 - (3 * -2) = -7 - (-6) = -1。
4. 因此，最终得到的结果是 -1。

相反，在 Python 等采用地板除法的语言中，q = floor(-7 / 3) = -3，则余数 r = -7 - (3 * -3) = -7 - (-9) = 2。两者的根本区别在于商是舍向 0 还是舍向负无穷。

三、实际开发中的两大高频踩坑场景

1. 环形数组与无缝轮播图

在前端交互开发中，轮播图（Carousel）向前翻页是最典型的场景。若直接使用 %，当当前索引为 0 时：

const items = ["Banner A", "Banner B", "Banner C", "Banner D", "Banner E"]; // 长度为 5
let currentIndex = 0;

// 错误写法：直接使用 %
let prevIndex = (currentIndex - 1) % items.length; 
// 运算：-1 % 5 === -1
console.log(items[prevIndex]); // 输出：undefined（产生运行时隐患）

因为 items[-1] 在 JavaScript 数组中不存在（除非使用 ES2022 的 items.at(-1)），代码可能会抛出 TypeError: Cannot read properties of undefined。

2. 负数奇偶性判断

初学者常常通过 n % 2 === 1 来判断一个数字是否是奇数。对于正奇数（如 3 % 2 === 1）能够正常工作，但遇到负奇数时就会产生严重逻辑漏洞：

// 错误写法：假定奇数求余必等于 1
function isOddWrong(n) {
  return n % 2 === 1;
}

console.log(isOddWrong(5));  // true (符合预期)
console.log(isOddWrong(-5)); // false！因为 -5 % 2 === -1，条件判定为假

// 正确写法 1：不等于 0 即为奇数
function isOddCorrect1(n) {
  return n % 2 !== 0;
}

// 正确写法 2：位运算（最高效且天然避开负号陷阱）
function isOddCorrect2(n) {
  return (n & 1) !== 0;
}

四、解决方案：如何在 JS 中实现“真正的数学取模”

为了在 JavaScript 中得到与数学定义一致、始终为非负数的取模结果，工业界通用的解决方案是双模运算（Double Modulo）公式：

((n % m) + m) % m

我们可以将其封装为一个通用的工具函数：

/**
 * 数学取模函数（保证结果恒落在 [0, m) 区间）
 * @param {number} n 被除数
 * @param {number} m 除数（模数，需大于 0）
 * @returns {number} 归一化后的非负余数
 */
const mod = (n, m) => ((n % m) + m) % m;

// 验证实测：
console.log(mod(-1, 5)); // 输出：4 （正确回绕到最后一项）
console.log(mod(-7, 3)); // 输出：2 （与 Python 行为完全一致）
console.log(mod(7, 3));  // 输出：1 （正数不受任何影响）

下面通过图 3 详细拆解该公式是如何在三步内消除负数索引的：

五、总结与高频速查

掌握 JavaScript 中 % 运算符的特性，关键在于区分“求余”与“取模”的概念差异。以下为核心规则的速查总结：