Python：条件语句中的.pop()是否始终执行，无论条件是否满足？

嘿，这个问题戳中了很多Python初学者容易踩的坑！直接给你结论：不管if条件最终是否满足，stack.pop()都会被执行，栈的最后一个元素一定会被弹出。

为什么会这样？ #

Python在判断if something != stack.pop()这个条件时，会先执行stack.pop()这个表达式，拿到它的返回值之后，再和something做比较。也就是说，pop()的执行是条件判断的前置步骤——它的副作用（修改原列表）在条件判断之前就已经发生了，完全不受后续条件结果的影响。

用你的代码例子具体分析 #

假设我们有这样的场景：

stack = [1, 2, 3]
something = 3

if something != stack.pop():
    return False
else:
    return True

执行流程是：

1. 先调用stack.pop()，取出最后一个元素3，此时stack变成[1, 2]
2. 再判断3 != 3，结果为False，所以进入else分支返回True
3. 但此时栈已经被修改了，原本的最后一个元素3已经被移除

如果换个场景，something = 2：

1. 同样先执行stack.pop()取出3，stack变成[1, 2]
2. 判断2 != 3，结果为True，进入if分支返回False
3. 栈同样已经被修改，元素3被弹出

纠正你的误解 #

你之前以为“IF条件子句仅判断pop结果是否符合条件，不会实际修改列表”，这个想法是错的。因为pop()是一个有副作用的方法——它不仅会返回栈顶元素，还会直接修改原列表。只要你调用了它，不管是在if条件里、赋值语句里还是其他任何地方，它的副作用都会立刻发生。

如果你不想提前修改栈的话 #

如果你的需求是先判断栈顶元素是否符合条件，再决定要不要弹出它，可以先把栈顶元素取出来存到变量里，再做判断：

top_element = stack[-1]  # 只查看栈顶元素，不修改栈
if something != top_element:
    return False
else:
    stack.pop()  # 确认符合条件后再弹出
    return True

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