Python中嵌套if语句与and逻辑判断是否始终等价？

这两段代码始终等价，包括你提到的变量存在性检查场景，核心原因是Python的and运算符支持短路求值——当第一个条件为假时，第二个条件会被直接跳过，完全复刻了嵌套if的执行逻辑。

变量存在性检查的场景验证 #

比如你需要先判断变量是否存在，再做后续评估：
嵌套if写法：

if 'my_var' in locals():
    if my_var > 5:
        print("my_var大于5")

and合并写法：

if 'my_var' in locals() and my_var > 5:
    print("my_var大于5")

两种写法的行为完全一致：如果my_var不存在，'my_var' in locals()返回False，后续的my_var >5不会执行，不会触发NameError，和嵌套if的执行流程完全相同。

其他场景的一致性验证 #

再比如条件包含函数调用的情况：

def cond1():
    print("执行cond1")
    return False

def cond2():
    print("执行cond2")
    return True

嵌套if执行：

if cond1():
    if cond2():
        pass

只会输出执行cond1，因为cond1()返回False，内层if不会执行。

and写法执行：

if cond1() and cond2():
    pass

同样只会输出执行cond1，cond2()不会被调用，和嵌套if的行为完全一致。

结论 #

无论条件是变量存在性检查、函数调用还是其他表达式，这两种写法的逻辑和执行结果都完全等价，and的短路求值特性保证了它和嵌套if的执行顺序、条件判断逻辑完全一致。

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