返回首页
## 引言
上一篇我们把数字类型的三兄弟 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 有意义」的业务语义，就得绕开默认、显式表达。
## 操作与实现
先跑一遍真值测试的完整名单，把直觉校准好。
```python
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 的血缘，以及它带来的实用技巧——把布尔值当计数用。
```python
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 的短路与返回值语义。
```python
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。
```python
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 里这是两种完全不同的语义。
最后看字典键的布尔陷阱与常见条件写法对比。
```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 会遇到）。
### 陷阱二：and/or 的返回值不是布尔
`a and b` 的结果可能是任意类型，直接拿去和 True 比较、或期望它一定是布尔，都会踩坑。更隐蔽的是默认值惯用法的边界：`n or 10` 在 n = 0 时也会给 10——如果 0 是有意义的业务值（比如「折扣 0 折」），这个写法就错了。此时要用「显式判 None」：`10 if n is None else n`（条件表达式第三章讲解）。
### 陷阱三：把 dict 的 True 键与 1 键混用
`{True: ...}` 与 `{1: ...}` 是同一个键，`{False: ...}` 与 `{0: ...}` 也是同一个键，因为它们值相等且哈希值相同。用布尔做字典键、用整数查它，会在数据量上来之后产生「键被覆盖」的诡异 bug。字典键设计规范应让「相等对象」语义唯一，布尔键请换成显式的字符串键如 "yes"/"no"。
### 陷阱四：链式比较的短路副作用
`0 < compute() < 10` 中 compute() 只执行一次、且可能因前段为假而被短路跳过。若你依赖「compute 必然执行」的副作用（比如计数、写日志），链式写法会悄悄改变行为。需要保证调用时，先取出结果 `r = compute()` 再参与比较。
## 小结
真值测试不是「必须为布尔」：None、False、数值零与空容器为假，其余为真，bool() 显式调用即可核验；if 的本质是对表达式做一次 bool 转换。and/or 短路且返回操作数，既是默认值惯用法与安全取值的来源，也是返回值非布尔的陷阱来源。bool 是 int 的子类，True/False 可参与算术与计数，但换来了字典键冲突的暗坑。链式比较一次求值、语义与 C 语言完全不同。下一篇进入字符串：字面量的书写、转义与原始字符串——你会再次用到本篇的真值知识判断「空字符串为假」。
## 练习与思考题
1. 不运行代码，写出 `bool([[]])`、`bool("False")`、`bool(0.0j)`、`bool(range(0))` 的结果，再运行验证。
2. 表达式 `a and b or c` 在哪些组合下返回 c？（提示：从 and 优先级高于 or 出发，分 a 为假、a 为真 b 为假两种情况推导。）
3. 领导要求你统计列表中「非空字符串个数」并「同时打印每个元素」，你写出了 `sum(s and True or False for s in data)`——检查这个写法在每个元素上的返回值是否正确，并改写为生成器布尔表达式。
4. 思考题：为什么 `not` 不参与短路？查找文档「布尔运算」一节，说明 and/or 与 not 在运算符优先级表中的位置差异。