本文详解为何原代码中内层循环变量 j 始终为 0，并提供健壮、高效的质数筛选实现方案，涵盖循环边界设定、提前终止策略及布尔状态管理等关键要点。
本文详解为何原代码中内层循环变量 `j` 始终为 0，并提供健壮、高效的质数筛选实现方案，涵盖循环边界设定、提前终止策略及布尔状态管理等关键要点。
在 JavaScript 中使用嵌套 for 循环判断质数时，一个常见却隐蔽的错误是在第一次迭代就强制中断内层循环，导致变量 j 永远无法递增——这正是原始代码中 j 始终输出 0 的根本原因。
观察原始逻辑：
for (var j = 0; j <= i; j++) {
console.log(j); // 第一次即输出 0，随后 break → j 再无机会++
if (i % j === 0) {
prime.push(i);
break; // ❌ 无论是否整除，必执行 break
} else {
notPrime.push(i);
break; // ❌ 同样立即跳出
}
}问题在于：j 从 0 开始，但 i % 0 会抛出 NaN（除零错误），且两个分支均含 break，致使内层循环永远只执行一次。更严重的是，质数判定逻辑本身存在根本性误判——仅凭单个除数就断言“是质数”或“非质数”，违背数学定义。
✅ 正确实现的关键原则
- 跳过非法除数：j 必须从 2 起始（0 和 1 不是有效试除数）；
- 合理设置上界：只需检查 j ≤ Math.floor(i / 2)（大于 i/2 的整数不可能整除 i，除非 i 自身）；
- 分离判定逻辑：用布尔标志 isPrime 初始设为 true，仅在发现因子时置为 false 并 break；无 else 分支，确保循环完整执行或提前证伪；
- 统一归档时机：待内层循环结束后，再根据 isPrime 结果将 i 推入对应数组。
以下是优化后的完整可运行代码：
const n = 100;
const prime = [];
const notPrime = [];
// 从 2 开始（1 不是质数，0 和负数也不考虑）
for (let i = 2; i <= n; i++) {
let isPrime = true;
// 试除范围：2 到 i 的一半（含）
for (let j = 2; j <= Math.floor(i / 2); j++) {
if (i % j === 0) {
isPrime = false;
break; // 找到因子，确认非质数，立即退出内层循环
}
}
// 内层循环结束，依据最终 isPrime 状态归档
if (isPrime) {
prime.push(i);
} else {
notPrime.push(i);
}
}
console.log('质数:', prime); // [2, 3, 5, 7, 11, ..., 97]
console.log('合数:', notPrime); // [4, 6, 8, 9, 10, ..., 100]⚠️ 注意事项与进阶提示
- 性能优化：实际应用中可进一步将内层上限优化为 j
- 边界处理：质数定义要求 i ≥ 2，因此外层循环应从 2 开始，无需处理 0 和 1；
- 变量作用域：推荐使用 let 替代 var 声明 j，避免函数作用域污染；
- 调试技巧：临时添加 console.log(i, 'checked up to', j) 可直观验证内层循环实际执行次数。
通过重构循环结构与判定逻辑，我们不仅解决了 j 恒为 0 的表象问题，更建立了符合数论本质的质数检测模型——证伪易，证实难；中断仅用于高效排除，结论必须等待证据充分收敛后才可落定。
