布尔值与真值测试：if 背后的逻辑世界

引言

上一篇我们把数字类型的三兄弟 int / float / complex 看完了。本篇进入布尔值（bool）——它只有两个值 True 与 False，却是 if、while、and、or、not 这些流程控制的核心。第二章的后面还会讲运算符的完整优先级，本篇先把「什么会被当作真、什么会被当作假」这个问题彻底终结。

先剧透一个违背直觉的事实：在 Python 里 True 和 False 其实是整数——准确地说，bool 是 int 的子类，True 等于 1，False 等于 0。这个设计是历史遗留（早期 Python 没有独立的布尔类型，行为兼容 C 语言），但它带来了 True + 1 == 2 这类让新手瞠目结舌的表达式，也带来了字典键 {True: "是"} 和 {1: "一"} 会互相覆盖的暗坑。

更深一层：if 语句测试的是「真值」（truthiness），不要求被测试对象本身是布尔。if lst: 判断的是「列表非空」，if name: 判断的是「字符串非空」。理解这一点，你的条件代码会从「啰嗦而正确」变成「简洁而正确」。本篇将系统给出真值测试的完整规则表、and/or 的短路语义与返回值语义、比较链的一次性求值机制，以及这些机制的常见翻车现场。

概念与原理

bool 的来历：一段 2002 年的妥协

bool 成为一等类型是相对晚近的事：PEP 285（2002 年，Python 2.3）正式把 True 与 False 引入语言，此前程序员用 1 和 0、甚至字符串 “yes”/“no” 充当真假。为了不破坏海量存量代码，PEP 285 做了一个关键妥协——bool 必须是 int 的子类，True 就是 1，False 就是 0。于是 True + True == 2、True == 1、isinstance(True, int) 全部合法，C 风格习惯得以延续，代价是今天我们看到的这些「布尔居然能当数字用」的怪异行为。理解了这段历史，很多语法现象就有了答案，包括本文第五节字典键冲突的暗坑。

真值测试：一份完整的「假名单」

Python 在需要布尔判断的场合（if、while、and、or、not、bool()）执行真值测试，规则归结为一句话：除了名单上的对象，其余一切都是真的。名单如下（记忆口诀：零、空、无）：

None（空值）；
False（布尔假）；
数值零：0、0.0、0j、Decimal(0)、Fraction(0, 1)；
空容器：""、[]、()、{}、set()、range(0) 等；
自定义类若定义了 bool() 或 len()，按它们的返回值决定（面向对象章节再展开）。

注意名单之外的反例："0"（含一个字符的字符串）是真的，“False”（字符串）是真的，[0] 是真的，float("nan") 也是真的——这些是排行榜常客，面试题里的经典送命题。

「空即假」并非任意约定，而是一套自洽的设计：它让容器判空、字符串判空、结果判空共用同一心智——if result: 同时适用于列表、字典、字符串与集合，不必为每种容器背不同的判空 API；同时它延续了 C 语言「0 为假、非 0 为真」的传统，只是用「空」扩展了 0 的外延。自定义类型想加入这套规则，只需实现 bool()（直接给出真假）或 len()（非零长度即真）之一：Python 优先问 bool，没有则退而问 len，两者都没有就一律视为真。这个约定在面向对象章节会再次出现。

if 语句的机械化翻译

if x: 的完整语义等价于 if bool(x):：对 x 做一次真值测试，得到 True/False，再决定分支。所以写 if len(lst) > 0: 与 if lst: 在大部分场景等价，但后者少一次函数调用、可读性更强，也是 PEP 8 明确推荐的方向：不要用「与空容器比较」来测试空否，直接用容器本身。同样的规则适用于 while 的条件；for 循环则不同——它迭代的是对象里的元素，与真值无关，但循环体内 break/continue 分支的条件判断，最终仍回到真值测试，第三章的流程控制会把这些组合讲透。

and / or：短路求值，返回操作数

和 C 语言不同，Python 的 and / or 有两条性质：

短路（short-circuit）：and 左侧为假时，右侧根本不会被执行；or 左侧为真时，右侧同样不执行。副作用（函数调用、赋值、异常）都因此被跳过。
返回操作数而非布尔：a and b 在 a 为假时返回 a，否则返回 b；a or b 在 a 为真时返回 a，否则返回 b。返回值可能不是布尔——"" or "匿名" 返回字符串 “匿名”，3 and 5 返回 5。

这两条性质让 and/or 成为工程惯用法的基石：name = user_input or "anonymous" 是「空输入给默认值」的标准写法；lst and lst[0] 是「列表非空才取第一个元素，否则返回空列表自身」的安全取值法。它们不是巧合，而是语言设计刻意为之——通过返回操作数，表达式总能在「需要真值」的位置继续参与运算。

not：唯一的纯布尔运算符

not 总是返回布尔：not x 等价于 x 为假。not 3 是 False，not "" 是 True。它不做短路（它只有一个操作数），优先级低于比较运算符但高于 and——细节留给运算符章节，这里先记住「not 取反返回布尔」以及三条运算符的完整层次：not 高于 and 高于 or。因此 not a and b 是 (not a) and b，a or b and c 是 a or (b and c)，后者的结构正是默认值组合 x or fallback and ... 的来源。口诀是「not 先算、and 居中、or 最后」；括号永远是最稳的保险，可读性优先时不必吝啬。

比较链：一次求值、逐段比较

Python 支持链式比较 1 < x < 10，语义是 1 < x and x < 10，其中间操作数 x 只求值一次（这是与手写 and 版本的一个微妙差异，与 C 语言的 1 < x < 10 含义完全不同——C 里它是 (1 < x) < 10，结果恒为真，是经典 bug 来源）。链式比较可用于范围判断、同一性判断 x is y is z 等，可读性极佳。

工程场景：真值测试的三块主战场

真值测试在真实代码里最常见的三个场景：其一，配置开关——配置文件里 "debug": "" 表示空值即关、非空即开，if cfg.get("debug"): 一行完成判断；其二，权限判断——用户角色列表为空表示无权限，if roles: 直接敲定放行与否；其三，结果兜底——查询接口返回的空列表、空字符串、None 统一按「无结果」处理，if result: 一个分支通吃「有值/无值」的二分。反过来也要警惕过度依赖：数值 0 在业务里有真实含义时（折扣 0 折、库存 0 件），用 if n: 判断「有货」就会把 0 误判为没有，此时应显式写 if n is not None: 或 if n > 0:——真值测试是强大的默认规则，遇到「0 有意义」的业务语义，就得绕开默认、显式表达。

操作与实现

先跑一遍真值测试的完整名单，把直觉校准好。

falsy = [None, False, 0, 0.0, 0j, "", [], (), {}, set()]
for v in falsy:
    print(repr(v), "->", bool(v))   # 名单上的全部是 False

truthy = [1, -1, "0", "False", [0], 0.0001, float("nan")]
for v in truthy:
    print(repr(v), "->", bool(v))   # 名单外的全部是 True

注意 "0"、"False" 这两个字符串输出 True，[0]、float("nan") 也输出 True。本机 Python 3.12 的运行结果与上面注释完全一致。

接下来验证 bool 与 int 的血缘，以及它带来的实用技巧——把布尔值当计数用。

print(True + True)              # 2：bool 是 int 的子类
print(True == 1, False == 0)    # True True
print(int(True), int(False))    # 1 0
print(isinstance(True, int))    # True：逆命题 isinstance(1, bool) 为 False

scores = [85, 42, 91, 60, 77]
passed = sum(s >= 60 for s in scores)   # 生成器表达式逐项产出布尔，sum 求和
print(passed)                   # 4：一句话统计及格人数
print(sum(bool(s) for s in ["", "a", "", "b"]))   # 2：统计非空字符串个数

sum 与布尔配合是真实的工程技巧：逐元素判断产出 True/False 流，sum 把它们当成 1/0 累加。这个模式的背后正是「bool 是 int 子类」这一设计。

再验证 and/or 的短路与返回值语义。

def 探测():
    print("探测() 被调用")
    return True

print(False and 探测())     # False：左侧已为假，右侧根本不会执行
print(True or 探测())       # True：左侧已为真，右侧不会执行

print(3 and 5)              # 5：and 返回右侧操作数（左侧为真时）
print(0 and 5)              # 0：返回左侧操作数（左侧为假时）
print(0 or "补位")          # 补位：or 惯用法，空值给默认
print("实参" or "补位")     # 实参：非空时返回左侧本身

lst = []
first = lst and lst[0]      # 列表为空时短路，避免索引越界
print(first)                # []

注意 lst and lst[0] 在空列表时返回 [] 而不是报 IndexError——这就是工程里「安全取值」惯用法的机理。但也要警惕：它返回的是 [] 这个列表对象，后续若对 first 再做索引会继续出错，所以正确的姿势是配合 if 判断使用。

再看比较链与 not。

x = 5
print(1 < x < 10)           # True：链式比较，等价 1 < x and x < 10
print(1 < x < 0)            # False

y = 999
print(1 < y < 10)           # False
print((1 < y) < 10)         # True！这是 C 语言式误写：布尔被当数字比较

s = "ab"
print("a" < s < "z")        # True：字符串也支持链式比较
print(not s)                # False：非空字符串的真值是 True，取反为 False

(1 < y) < 10 输出 True 是全文最需要瞪大眼睛的一行：1 < y 已经算完变成 True，True 作为 int 的 1 再与 10 比较，自然成立。你在别的语言里写 1 < y < 10 也许无所谓，在 Python 里这是两种完全不同的语义。

最后看字典键的布尔陷阱与常见条件写法对比。

d = {True: "是", 1: "一"}        # True 与 1 值相等，哈希值相同，视为同一个键
print(d)                          # {True: '一'}：后写的键覆盖，但保留先插入的键对象

name = ""
display = name or "匿名用户"      # 常见默认值惯用法
print(display)                    # 匿名用户

易错点与陷阱

陷阱一：把真值测试写成 `x == True`

x == True 只对「字面布尔」成立：1 == True 为 True（因为 1 与 True 值相等），2 == True 为 False，但 bool(2) 为 True。于是 x == True 与「x 是否为真」根本不是一回事。统计问卷多选题、判断「是否至少一个非空选项」时，正确写法永远是直接 if x: 或 if bool(x):，而不是 == True 或 != None。后者还会栽在 NumPy 数组等重载比较语义的对象上（课程 06 会遇到）。

不运行代码，写出 bool([[]])、bool("False")、bool(0.0j)、bool(range(0)) 的结果，再运行验证。
表达式 a and b or c 在哪些组合下返回 c？（提示：从 and 优先级高于 or 出发，分 a 为假、a 为真 b 为假两种情况推导。）
领导要求你统计列表中「非空字符串个数」并「同时打印每个元素」，你写出了 sum(s and True or False for s in data)——检查这个写法在每个元素上的返回值是否正确，并改写为生成器布尔表达式。
思考题：为什么 not 不参与短路？查找文档「布尔运算」一节，说明 and/or 与 not 在运算符优先级表中的位置差异。