为什么我的 LeetCode 解答通过了某些测试用例却在其他测试用例上失败

Source: Dev.to

TL;DR

• 部分通过通常意味着边界情况或极限条件。你的核心逻辑可能是正确的，但在特定输入上会出错。
• 最常见的罪魁祸首：空输入、单元素、最大/最小值、重复元素以及越界的‑1错误。
• 系统化调试胜过盲目猜测。有条理地生成测试用例，而不是随机希望找到 bug。
• 观察哪些用例通过、哪些用例失败。早期通过、后期失败往往表明约束相关的问题或极端值。
• bug 往往比你想的更简单。大多数部分失败来源于被忽视的边界情况，而不是算法根本错误。

初学者友好的解释

为什么会出现部分失败

当代码通过了一些测试却在其他测试上失败时，通常意味着：

• 你的算法大体是正确的——你已经理解了题目并实现了可行的思路。
• 实现中遗漏了特定情况——某些输入会暴露出逻辑上的漏洞。

这其实比全部失败要好。全部失败往往说明对问题的根本误解；部分失败说明你已经接近正确答案，只是缺少了某些细节。

隐藏测试用例的挑战

LeetCode 的隐藏测试用例旨在捕捉：

• 边界情况：空数组、单元素、最大规模输入。
• 极值：约束允许的最小/最大数值。
• 特殊模式：全部重复、全部相同值、已排序/逆序。
• 性能极限：达到约束上限的输入。

了解 LeetCode 常考的点可以帮助你预判哪些地方可能会出错。

步骤化学习指南

步骤 1：分析失败模式

在调试之前，先收集信息：

• 通过了多少测试，失败了多少？（例如 “47/53 通过”）
• 是哪种类型的失败？（答案错误、超时、运行时错误）
• LeetCode 是否显示了失败的输入？（答案错误有时会显示）

模式解释

步骤 2：生成边界测试输入

系统性地创建能压测你解法的输入。下面是一个检查清单。

对于数组题目

// Empty array
[]
// Single element
[1]
// Minimum interesting size
[1, 2]
// All duplicates
[1, 1, 1, 1]
// Sorted ascending
[1, 2, 3, /* … */ , n]
// Sorted descending
[n, n-1, /* … */ , 1]
// Constraint boundaries
[max_val, min_val]

对于字符串题目

""                     // Empty string
"a"                    // Single character
"aaaa"                 // All same character
"constraint_max_len"  // Maximum length string

对于数值题目

0          // Zero
1          // One
-1         // Negative one
MAX_INT    // Maximum integer value
MIN_INT    // Minimum integer value

在提交前，用这些输入逐一测试你的解法。

步骤 3：查找越界‑1 错误

越界‑1 错误是导致部分失败的最常见原因。检查每一个循环和索引访问：

// 常见的越界‑1 模式需要审查

// 循环边界
for (let i = 0; i < arr.length; i++)     // 正确：遍历完整数组
for (let i = 0; i <= arr.length; i++)    // 错误：会访问 arr[length]
for (let i = 1; i < arr.length; i++)     // 漏掉第一个元素
for (let i = 0; i < arr.length - 1; i++) // 漏掉最后一个元素

// 数组访问
arr[i - 1]  // 当 i = 0 时会出错
arr[i + 1]  // 当 i = length - 1 时会出错

// 子串/切片
str.slice(0, n)    // 取 0 到 n‑1 的字符（n 不包含）
str.substring(0, n) // 与 slice 同义

步骤 4：检查约束边界

仔细阅读题目约束，然后确认代码能够处理：

• 规模约束：n = 0、n = 1、n = max_constraint。
• 数值约束：负数、零、可能的整数溢出。

示例：如果约束说明 “1 ≤ n ≤ 10⁵”，且数值可达 10⁹，那么 sum = values[i] + values[j] 可能会在 32 位整数中溢出。

步骤 5：对失败输入进行手动追踪

当你找到（或怀疑）某个失败输入时，手动跟踪代码：

1. 写下初始变量值。
2. 按行执行代码，更新变量。
3. 将你的追踪结果与预期行为对比。
4. 找出第一次出现偏差的地方。

这与手动代码追踪技术密切相关，是调试的关键技巧。

步骤 6：添加有针对性的打印语句

如果手动追踪仍未发现问题，可在关键位置加入打印：

function solve(nums) {
    console.log("Input:", nums);

    for (let i = 0; i < nums.length; i++) {
        // ... logic
        console.log(`After i=${i}: state=`, state);
    }

    console.log("Final result:", result);
    return result;
}

使用你的边界用例运行，比较输出与期望是否一致。

常见原因与解决方案

原因 1：未处理空输入

症状：除空数组或空字符串外，全部通过。

错误示例：

function findMax(nums) {
    let max = nums[0];  // 错误：若 nums 为空会崩溃
    // ...
}

修复：

function findMax(nums) {
    if (nums.length === 0) return -Infinity; // 或其他合适的默认值
    let max = nums[0];
    // ...
}

原因 2：单元素边界情况

症状：长度 ≥ 2 的数组通过，长度 1 的数组失败。

错误示例：

function twoSum(nums, target) {
    for (let i = 0; i < nums.length; i++) {
        for (let j = i + 1; j < nums.length; j++) {
            // 长度为 1 时，内部循环永不执行
        }
    }
    return [];  // 单元素输入返回空
}

确认单元素输入在题目中是否有效，并据此做相应处理。

原因 3：循环边界的越界‑1

症状：漏掉首元素或尾元素，或访问了超出范围的下标。

错误示例：

for (let i = 0; i <= arr.length; i++) { // 访问 arr[arr.length] → undefined
    // ...
}

修复：

for (let i = 0; i < arr.length; i++) { // 正确的边界
    // ...
}

原因 4：忽视数值约束

症状：在极端值下结果错误或出现溢出。

错误示例：

let product = a * b; // 可能在 32 位整数中溢出

修复：使用更大的数值类型（如 JavaScript 的 BigInt），或在题目要求时使用模运算。

原因 5：时间复杂度过高

症状：小规模测试通过，隐藏的大规模用例因超时失败。

常见修复：将 O(n²) 循环改为 O(n log n) 或 O(n)；使用哈希表、双指针技巧或更高效的数据结构。

---

通过遵循这套系统化的方法——分析模式、生成边界用例、检查越界‑1、遵守约束、手动追踪以及有针对性的调试输出——你可以把“部分通过”转化为“全部通过”，并彻底掌握 LeetCode 隐藏测试的挑战。