当在循环条件中直接使用 stk.length 作为终止判断，而循环体内又调用 stk.pop() 时，数组长度会动态缩减，导致循环提前终止——这是 JavaScript 数组原地修改特性的典型陷阱。
当在循环条件中直接使用 `stk.length` 作为终止判断，而循环体内又调用 `stk.pop()` 时，数组长度会动态缩减，导致循环提前终止——这是 javascript 数组原地修改特性的典型陷阱。
在实现回文判断等依赖栈结构的逻辑时，一个常见误区是：在 for 循环的终止条件中直接引用正在被修改的数组长度。例如以下代码：
for (let i = 0; i <p>表面看，它应执行 stk.length 次（即 "racecar" 对应 7 次），但实际仅运行 4 次。原因在于：Array.prototype.pop() 是<strong>原地（mutating）方法</strong>——每次调用不仅返回末尾元素，还会<strong>立即将数组长度减 1</strong>，并移除该元素。</p><p>我们来逐步模拟 "racecar"（长度为 7）的执行过程：</p>
| 迭代轮次 | i 值 | stk.length（进入循环前） | pop() 执行后 stk.length | 是否继续下一轮？ |
|---|---|---|---|---|
| 第 1 次 | 0 | 7 | 6 | ✅ i=0 |
| 第 2 次 | 1 | 6 | 5 | ✅ i=1 |
| 第 3 次 | 2 | 5 | 4 | ✅ i=2 |
| 第 4 次 | 3 | 4 | 3 | ✅ i=3 |
| 第 5 次 | 4 | 3 | — | ❌ i=4 循环终止 |
可见，第 4 次 pop() 后 stk.length 变为 3，而 i 已递增至 4，不满足 i
✅ 正确做法：固定迭代次数，避免条件依赖可变长度
-
✅ 推荐方案：用原始字符串长度或预先缓存 stk.length
const len = stk.length; for (let i = 0; i
-
✅ 更语义化方案：使用 while 循环，明确以“栈非空”为条件
while (stk.length > 0) { rword += stk.pop(); } -
✅ 函数式替代（无需显式栈）：
const isPalindrome = word => word === word.split('').reverse().join('');
⚠️ 注意事项总结：
- 所有 Array 的 mutating 方法（如 pop(), push(), shift(), unshift(), splice()）都会实时改变 length 属性；
- 在 for 循环中将 array.length 作为边界条件时，务必确认该数组在循环中不会被修改；
- 调试此类问题时，可在循环内添加 console.log({ i, 'stk.length': stk.length }) 快速定位长度变化时机；
- 若需调试栈操作过程，建议配合 Array.from(stk) 浅拷贝打印，避免干扰原数组状态。
掌握这一机制，不仅能修复回文判断逻辑，更能规避大量因误用可变状态引发的隐蔽 bug。
