本文详解 leetcode 885 题“spiral matrix iii”的常见超时原因，指出原代码因边界逻辑错误导致无限循环，并提供结构清晰、边界安全、时间复杂度最优的螺旋遍历实现。
本文详解 leetcode 885 题“spiral matrix iii”的常见超时原因，指出原代码因边界逻辑错误导致无限循环，并提供结构清晰、边界安全、时间复杂度最优的螺旋遍历实现。
在解决 LeetCode 第 885 题（Spiral Matrix III）时，许多开发者会采用“扩展边界的四边遍历”思路——即模拟螺旋向外扩展的过程，依次向右、下、左、上移动并收集合法坐标。该思路本身正确，但实现细节稍有偏差，极易引发两类致命问题：无限循环和大量无效迭代，最终触发 Time Limit Exceeded（TLE）。
? 根本问题分析
原代码的核心缺陷在于：
- 边界变量（rStart, rEnd, cStart, cEnd）被错误地以 ±2 步长更新，导致螺旋路径错位。例如，在向右遍历时本应止于 cEnd - 1，却误覆盖至 cEnd；随后为“补偿”，又将 cStart 减 2 —— 这种非对称修正破坏了螺旋对称性，使某些格子（如 {1,3}）永久遗漏，外层循环无法终止。
- 未重置 count 变量：count 被声明为类成员变量，若测试平台复用同一实例多次调用 spiralMatrixIII()，count 将保留上一次运行的残留值，直接跳过写入或越界访问。
- 无前置范围裁剪：每个方向循环前未判断当前行/列是否完全位于 [0, rows) 或 [0, cols) 内，导致大量无效 for 循环（例如 rStart = -100 时仍执行 for(int i = -100; i < rEnd; i++)），时间复杂度退化为 O(∞)。
✅ 正确实现：边界精准 + 提前剪枝 + 局部计数
以下为优化后的专业级实现，具备三项关键改进：
- 所有边界仅单步调整（++ / --），严格对应螺旋每轮扩展一格；
- 每个方向循环前做有效区间校验（如 if (rStart >= 0)），避免无效循环；
- 使用局部 count 变量 + 直接传入 ans[count] 数组引用，消除状态污染与冗余判断。
class Solution {
public int[][] spiralMatrixIII(int rows, int cols, int rStart, int cStart) {
int size = rows * cols;
int[][] ans = new int[size][2];
int rEnd = rStart + 1;
int cEnd = cStart + 1;
int count = 0;
while (true) {
// → 向右：第 rStart 行，列范围 [max(cStart, 0), cEnd)
if (rStart >= 0 && rStart < rows) {
int cFrom = Math.max(cStart, 0);
int cTo = Math.min(cEnd, cols);
for (int c = cFrom; c < cTo; c++) {
ans[count][0] = rStart;
ans[count][1] = c;
if (++count == size) return ans;
}
}
if (cStart >= 0) cStart--; // 边界收缩：准备向下走时，左边界左移 1
// ↓ 向下：第 cEnd 列，行范围 [max(rStart, 0), rEnd)
if (cEnd >= 0 && cEnd < cols) {
int rFrom = Math.max(rStart, 0);
int rTo = Math.min(rEnd, rows);
for (int r = rFrom; r < rTo; r++) {
ans[count][0] = r;
ans[count][1] = cEnd;
if (++count == size) return ans;
}
}
if (rStart >= 0) rStart--; // 准备向左走时，上边界上移 1
// ← 向左：第 rEnd 行，列范围 (cStart, min(cEnd, cols)]
if (rEnd >= 0 && rEnd < rows) {
int cFrom = Math.max(cStart + 1, 0); // 注意：开区间起点为 cStart+1
int cTo = Math.min(cEnd, cols);
for (int c = cTo - 1; c >= cFrom; c--) {
ans[count][0] = rEnd;
ans[count][1] = c;
if (++count == size) return ans;
}
}
if (cEnd < cols) cEnd++; // 准备向上走时，右边界右移 1
// ↑ 向上：第 cStart 列，行范围 (rStart, min(rEnd, rows)]
if (cStart >= 0 && cStart < cols) {
int rFrom = Math.max(rStart + 1, 0);
int rTo = Math.min(rEnd, rows);
for (int r = rTo - 1; r >= rFrom; r--) {
ans[count][0] = r;
ans[count][1] = cStart;
if (++count == size) return ans;
}
}
if (rEnd < rows) rEnd++; // 本轮结束，下轮半径+1
}
}
}⚠️ 关键注意事项
- 时间复杂度：优化后为 O(K)，其中 K 是实际需返回的坐标数（即 rows × cols）。每个合法坐标仅被访问 1 次，且所有无效区域均被 if 条件提前跳过，杜绝空转。
- 空间复杂度：O(K)，仅输出数组开销，无额外递归或队列。
- 边界安全：所有 Math.max/min 确保索引不越界；rStart, cStart 等变量始终代表逻辑边界，而非强制物理坐标。
- 可维护性：取消全局状态，函数纯正无副作用，符合现代编程规范。
? 小技巧：若想进一步提升可读性，可将四个方向抽取为独立方法（如 sweepRight(...)），但需注意避免重复计算 Math.max/min。本实现保持扁平结构，在简洁性与性能间取得最佳平衡。
通过以上重构，你不仅能彻底解决 TLE，更能掌握「螺旋模拟类问题」的通用设计范式：以几何直觉定义边界，用数学裁剪规避无效计算，靠局部状态保证健壮性。
