Python布尔表达式逻辑解析：两个相似条件判断的自定义函数执行差异及表达式解读

为什么两段代码结果不同？核心是Python的短路求值！ #

咱们先逐个拆解两个函数的执行过程，你就能瞬间明白差异的根源：

第一段代码执行逻辑 #

def i(obj, x):
    if obj and x not in obj:
        return x
    else:
        return obj
print(i([], 6)) # 输出 []

当调用i([],6)时：

• obj是空列表[]，在Python的布尔判断中，空容器（列表、字典、集合等）都属于假值（Falsy）
• 逻辑与and是左到右短路求值：只要左边表达式为假，右边的表达式会直接被跳过，整个and表达式结果为假
• 所以这里obj and x not in obj直接返回假，条件不成立，走else分支返回obj（也就是[]）
• 划重点：此时右边的x not in obj（即6 not in []）根本没被执行，哪怕它的结果是True也没用

第二段代码执行逻辑 #

def i(obj, x):
    if x and obj not in obj:
        return x
    else:
        return obj
print(i([], 6)) # 输出 6

当调用i([],6)时：

• x是整数6，非零整数在布尔判断中属于真值（Truthy）
• 左边为真，所以会继续执行右边的obj not in obj（即[] not in []）
• 空列表里没有任何元素，所以[] in []的结果是False，反过来[] not in []就是True
• 整个and表达式是True and True，结果为真，条件成立，返回x（也就是6）

关于“obj和x是否都不在obj中”的问题 #

在调用i([],6)的场景下：

• 6 not in []：空列表里没有6，结果为True
• [] not in []：空列表不含任何元素，自然也不包含它自己，结果也为True
  所以确实两者都不在obj中，但第一段代码因为短路求值，根本没触发x not in obj的判断，导致条件不成立。

如何规范化布尔表达式？ #

如果你想避免短路求值带来的隐式行为，让逻辑更清晰、可读性更强，可以做以下调整：

• 明确判断“非空/真值”的逻辑，不要依赖Python的隐式布尔转换：
  比如第一个条件如果想表达「obj非空，且x不在obj中」，可以写成：

  if len(obj) > 0 and (x not in obj):
  

  或者通用一点（适用于所有容器类型）：

  if bool(obj) and (x not in obj):
  

• 用括号明确分组逻辑，避免歧义：哪怕优先级没问题，加括号也能让读代码的人一眼看懂逻辑结构
• 一定要记住：逻辑与的左右操作数顺序会直接影响执行流程，尤其是当其中一个操作数可能为假值时，短路求值会直接跳过右边的判断，导致完全不同的结果——这也是你误以为两个表达式逻辑一致的核心原因

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