本文揭示了在实现 leetcode 3sum 问题时，因未正确更新双指针（j 和 k）导致的无限循环陷阱，并澄清 `return` 语句始终只退出当前函数、绝不会跨层跳出父函数这一关键事实。
在你提供的 threeSum 实现中，核心逻辑采用排序 + 双指针法，这是经典且高效的解法。然而，问题并非出在 hasSimularArray 函数的 return 行为上——它完全符合 JavaScript 规范：return true 或 return false 仅终止 hasSimularArray 自身的执行，并立即返回控制权给调用它的 threeSum 函数。它绝不会“穿透”到外层 while 或 for 循环中，更不是某种隐式递归跳转。
真正引发程序卡死（表现为浏览器无响应或 Node.js 进程挂起）的原因，是当 threeNumsSum === 0 成立时，代码块内缺失对双指针 j 和 k 的推进逻辑：
if (threeNumsSum === 0) {
const hasVal = hasSimularArray(tripletsResult, possibleResultEl);
if (!hasVal) {
tripletsResult.push(possibleResultEl);
}
// ❌ 缺失关键操作：j 和 k 未更新 → 下一轮 while(j < k) 条件仍为真，且 nums[i], nums[j], nums[k] 完全不变 → 死循环！
}由于 j 和 k 在找到一个有效三元组后保持原值，下一次循环将重复计算完全相同的三数之和，持续满足 === 0，从而陷入无限循环。
✅ 正确做法是：每次找到一个候选解（无论是否去重），都必须收缩搜索窗口。常见策略是同时移动 j 和 k：
if (threeNumsSum === 0) {
const hasVal = hasSimularArray(tripletsResult, possibleResultEl);
if (!hasVal) {
tripletsResult.push(possibleResultEl);
}
// ✅ 关键修复：主动缩小窗口，避免重复检查同一组索引
j++;
k--;
} else if (threeNumsSum < 0) {
j++; // 和太小 → 增大左指针（指向更大数）
} else {
k--; // 和太大 → 减小右指针（指向更小数）
}此外，hasSimularArray 虽能工作，但存在明显性能瓶颈：对每个新候选数组都进行 JSON.stringify([...arr].sort())，时间复杂度达 O(m log m)（m 为数组长度），且频繁创建新数组和字符串。在实际工程或大规模输入中，建议改用更优的去重策略，例如：
- 在双指针移动时跳过重复元素（while (j
- 或利用 Set 存储已出现的标准化键（如 "${a},${b},${c}"，前提是已排序并确保 a ≤ b ≤ c）。
总结：
- return 永远只作用于当前函数作用域，这是语言基础，无需怀疑；
- 双指针算法的生命线在于每次迭代都必须保证状态收敛（即 j 与 k 间距严格减小）；
- 调试时若发现“看似 return 失效”，应优先检查循环变量是否被正确更新，而非质疑语言机制。
