Python中如何使用for循环弹出栈全部元素直至栈为空

核心问题是在for循环遍历原列表的过程中，动态修改了被遍历的列表本身，直接打乱了循环的迭代节奏：
Python的for循环遍历列表时是按索引位置依次向后取值的，初始列表S长度为4，循环默认按索引0、1、2、3的顺序逐次迭代：

• 第一次迭代取索引0位置的元素，执行S.pop()弹出队尾的JOE，此时列表长度变为3，剩余元素为['TOM', 'HARRY', 'MAMA']
• 第二次迭代取索引1位置的元素，执行S.pop()弹出队尾的MAMA，此时列表长度变为2，剩余元素为['TOM', 'HARRY']
• 下一次迭代本该取索引2位置的元素，但当前列表长度仅为2，最大有效索引是1，循环直接判定遍历结束，不会继续执行后续弹出逻辑，自然也触发不了空列表的判断分支。

不要在遍历原列表时修改原列表结构，以下两种写法都可以得到你预期的输出：

方案1：使用while循环（栈操作的推荐写法） #

栈弹出操作本身就是“非空即持续出栈”的逻辑，用while循环判断栈是否非空最直观，也不会出现遍历错位问题：

S = ['TOM', 'HARRY', 'MAMA', 'JOE']
print(S)
while S:  # 列表非空时持续执行循环体
    print(S.pop())
print("Empty")

方案2：遍历原列表的静态副本 #

如果一定要用for循环，可以遍历原列表的切片副本，副本是独立于原列表的静态序列，不会因为原列表修改导致迭代错位：

S = ['TOM', 'HARRY', 'MAMA', 'JOE']
print(S)
for x in S[:]:  # S[:] 是原列表的浅拷贝，和原列表完全独立
    print(S.pop())
print("Empty")

以上两段代码的运行结果都和你的预期一致：

['TOM', 'HARRY', 'MAMA', 'JOE']
JOE
MAMA
HARRY
TOM
Empty

你这次的提问质量已经达标：

• 提供了完整可直接运行的问题代码
• 明确给出了实际运行输出和预期输出的差异
• 清晰说明了自己的实现目标
  后续提问只要保持这个风格，覆盖「问题背景、可复现代码、实际运行结果、预期结果」四个核心要素即可，不需要额外冗余表述。

内容的提问来源于stack exchange，提问作者Akul Chordia