如何理解Python中包含if else三元表达式的assert断言语句？

你在断言中看到的if...else...结构不是普通的流程控制分支，是Python的三元条件表达式，是一种用于简化条件返回值的语法糖，基础语法为：
返回值A if 判断条件 else 返回值B
执行逻辑：

• 先计算中间判断条件的布尔结果
• 条件为真时，整个三元表达式返回返回值A的结果
• 条件为假时，整个三元表达式返回返回值B的结果

示例代码拆解 #

你给出的断言示例如下：

assert (y == builtins.max(x, y) if x < y else x == builtins.max(x, y)) and x < y

我们可以拆分两步理解执行逻辑：

1. 三元表达式计算 #

括号内的部分是完整的三元表达式：
y == builtins.max(x, y) if x < y else x == builtins.max(x, y)
等效于普通的if-else分支逻辑：

if x < y:
    # x小于y时，校验max返回值是否为y
    ternary_result = (y == builtins.max(x, y))
else:
    # x大于等于y时，校验max返回值是否为x
    ternary_result = (x == builtins.max(x, y))

2. 逻辑与运算和断言执行 #

整个断言的判断条件是ternary_result and x < y，这部分的作用是限定当前断言仅校验x < y的场景：

• 当x < y为真时，会校验max返回值是否符合预期，不符合就抛出AssertionError
• 当x < y为假时，逻辑与短路直接返回假，断言抛出错误，符合这个断言的设计定位（仅验证x小于y的分支）

如果需要覆盖所有输入场景验证max函数的正确性，直接去掉末尾的and x < y即可：

assert (y == builtins.max(x, y) if x < y else x == builtins.max(x, y))

这个写法会自动根据x和y的大小关系选择对应的校验规则，不需要额外限定场景。

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