## 引言
第二章收官时，我们做了进制转换器，把变量、数字、布尔、字符串全部串了起来。但那个工具的主循环是靠偷师来的 `while True` 撑起来的——为什么要用循环、循环怎么控制，当时没有正面回答。第三章「流程控制」就是来回答这些问题的：程序默认从上往下一条线执行，而流程控制语句（control flow）让这条线能**转弯**：条件满足就走 A 分支，否则走 B 分支；条件成立就一直重复某段代码。
本篇是第三章的第一篇，讲分支结构的核心语法：`if` / `elif` / `else`。阅读本篇前请确认已经掌握三样东西：变量绑定（第 2 章第 1 篇）、比较运算符 `==`/`>`/`<`（第 2 章第 7 篇）、布尔值与真值测试（第 2 章第 3 篇）。最后一次回顾那篇的结论：**if 后面放任何表达式，Python 都会做一次真值测试**——`if score:` 判断的是「score 非零」，`if name:` 判断的是「name 非空」，不要求表达式本身是布尔。
同时划清边界：本篇只谈分支；循环的两种形态 `while`（第 3 篇）与 `for`（第 4 篇）、循环控制语句 `break` / `continue`（第 5 篇）都将在后续篇章展开，本文遇到只标注不展开；`pass` 语句与异常处理的配合（第 7 章文件与异常）也只在需要时点一下名字。
## 概念与原理
### 顺序执行是默认，分支是例外
在没有任何流程控制语句时，CPython 解释器从模块第一行开始，**逐条语句顺序执行**，直到文件结束。这是最省心也最无趣的执行方式。`if` 家族破坏了这种「直来直去」：它把程序切成若干块（block），执行到 `if` 时先对条件做一次真值测试，根据测试结果选择进入哪一块——默认路径被打断，执行流出现岔路。
可以把 `if` 想成铁路的道岔：列车（程序计数器）接近道岔时，扳道员（真值测试）看一眼条件，决定列车进哪条轨道。`elif` 是相邻的另外几条轨道，`else` 是最后那条没有条件的兜底轨道。
### if：一个条件，一块代码
`if` 的最小形态是：`if 条件:` 换行后缩进出一个块。语法上注意三点。第一，条件后必须跟**英文冒号**，冒号是「块开始」的记号，漏掉冒号会报 `SyntaxError`。第二，冒号后必须缩进出一个**块**，块内可以有多条语句；块内语句的执行顺序仍然是从上到下。第三，条件可以是任意表达式，不限于布尔——真值测试的规则上一章已经列全：`None`、`False`、数值零、空容器都是假，其余都是真。
### 缩进即块：Python 的独特语法设计
这是 Python 与 C / Java 最直观的语法差异：C 用花括号 `{}` 划分块，Java 也一样，而 Python 用**缩进**划分。为什么这样设计？Python 之父 Guido van Rossum 从设计之初就坚持「代码的视觉结构应该与逻辑结构一致」：缩进层次就是嵌套层次，读者不用数花括号就能看清程序骨架。这一哲学最凝练的表述在《Python 之禅》（The Zen of Python，PEP 20 附带的 19 条格言）里：「可读性很重要」（Readability counts）。代价也很现实：缩进错了程序就错了，甚至编译期报错。
缩进的具体规则：PEP 8 推荐**每层缩进 4 个空格**；同一块内所有行缩进必须完全一致；同一文件里禁止混用 Tab 与空格——Python 3 对此直接报 `TabError`（Python 2 时代允许混用，这是 Python 3 的刻意收紧）。现代编辑器（VS Code、PyCharm）默认按 Tab 键插入 4 个空格，就是为遵守这条规则。
### elif 与 else：自上而下、命中即止
`if` 只能表达「二选一」，多分支要用上 `elif`（else if 的缩写）与 `else`。完整形态是 `if 条件1:` 块、`elif 条件2:` 块、`elif 条件3:` 块、`else:` 块依次书写——每个条件行都以冒号结尾，各自的块逐级对齐。执行流程是一套严格的顺序规则：**从 if 开始，按书写顺序逐个对条件做真值测试；第一个条件为真的块被执行，然后整个 if 语句立即结束**——后面的条件不再测试、后面所有块都不执行；如果所有条件都为假，执行 `else` 块；没有 `else` 时，则什么都不做，程序继续往下走。
注意三点。第一，「命中即止」意味着**最多只有一个块被执行**——这是「多选一」的语义保证，也是它与多个独立 `if` 语句的本质区别：三个独立 `if` 可能同时命中多个，`elif` 链永远只命中一个。第二，`elif` 和 `else` 不是独立语句，它们不能单独出现，必须跟在 `if` 或另一个 `elif` 之后——例如单独写一行 `else:` 会直接 `SyntaxError`。第三，`else` 没有条件，它的块不需要条件表达式，也不能写条件。
### 嵌套：块中之块
块内的语句可以是任何语句，包括另一个 `if`——这就是嵌套（nesting）。嵌套的缩进层次逐级加深。真值测试、比较表达式、嵌套分支任意组合，能表达「当 A 且 B 时」这类复合条件。但嵌套深度超过两层后可读性明显下降，业界常用「卫语句」（guard clause）把它压扁——不过卫语句依赖 `return`（函数第 4 章），本文先展示嵌套的正规写法，扁平化手法留到第 6 篇「嵌套与组合」系统展开。
### 条件表达式：把 if 当值用
如果二选一的目的只是**给一个变量赋值**，还有更紧凑的写法——条件表达式（conditional expression），俗称三元运算符（ternary operator），语法为 `值1 if 条件 else 值2`。它整体是一个表达式，必然产生一个值：条件为真得 `值1`，为假得 `值2`（注意顺序是「为真在前」）。它与 `if` 语句的关键区别：**语句没有值，表达式有值**。第 2 章综合测验里出现过的 `10 if n is None else n` 就是它。它适合「简单、单行、二选一赋值」；分支逻辑一复杂，就该回到完整的 `if` 语句——可读性优先。
## 操作与实现
先看 `if` 的最小可运行形态——注意「执行块后继续往下走」：
```python
score = 92
if score >= 90:
print("优秀") # 优秀
print("继续保持") # 继续保持
print("程序继续执行") # 程序继续执行
```
条件 `92 >= 90` 为真，两块语句都执行；随后程序照常执行块外的最后一行。把 `score` 改成 60 重跑，会看到第一、二行消失、第三行仍在——块内语句被整体跳过。
再看 `if / else` 的二选一：
```python
age = 16
if age >= 18:
print("已成年，可以投票")
else:
print("未成年，还不能投票") # 未成年，还不能投票
```
`else` 块在条件为假时执行，且不检查任何条件。`age` 换成 20 时，输出会变成「已成年，可以投票」——两条路径互斥，这是 if/else 的语义保证。
多分支用 `elif` 链。以成绩等级转换为例，这是每个初学者的必修例：
```python
score = 76
if score >= 90:
print("A")
elif score >= 80:
print("B")
elif score >= 70:
print("C") # C
elif score >= 60:
print("D")
else:
print("E")
```
执行轨迹：`76 >= 90` 为假，测试 `76 >= 80` 为假，测试 `76 >= 70` 为真 → 打印 "C"，**整个语句结束**，后面的 `>= 60` 与 `else` 都被跳过。把 `score` 改成 95，则第一个条件命中即输出 "A"。
「命中即止」值得单独验证——后面的条件即使为真也不会被执行到：
```python
level = 75
if level < 60:
print("不合格")
elif level < 80:
print("合格") # 合格
elif level < 60: # 为真也永远不会执行：上一分支已命中
print("这段永远打印不出来")
```
第三个条件 `75 < 60` 为假，但即使把它改成 `< 70`（为真），它也不会执行——因为第二个分支在它前面已经命中。这正是多个独立 `if` 做不到的「互斥保证」。
嵌套示例：模拟登录时的两步校验（用户名与密码分开判断）：
```python
username = "alice"
password = "123456"
if username == "alice":
if password == "123456":
print("登录成功") # 登录成功
else:
print("密码错误")
else:
print("用户不存在")
```
外层判断用户名是否存在，内层判断密码是否正确，四层缩进清晰呈现「先验身份、再验凭证」的层次。注意内层的 `else` 只属于内层 `if`——缩进层级决定了配对关系，这是嵌套最容易看走眼的地方（详见易错点一）。
条件表达式的用法与边界：
```python
n = 7
parity = "偶数" if n % 2 == 0 else "奇数"
print(parity) # 奇数
temperature = 25
clothes = ("短袖", "外套")[temperature >= 30] # 不推荐：利用布尔可当下标
print(clothes) # 短袖：25 >= 30 为 False，取下标 0 的元素
```
第一行是教科书式三元用法；第二行展示了一个「能跑但别学」的写法——第二章讲过 `True` 是 int 子类，于是 `[...][True]` 可取下标，但它可读性远差于条件表达式，这里列出来是为了让你看清**布尔当数字**这条语言特性在真实代码中会被怎么误用。本机 Python 3.12 运行以上各块，输出与注释完全一致。
真值测试在分支里的实际价值，用「空值兜底」场景体现：
```python
nickname = ""
display = nickname or "匿名用户" # 第二章的 or 惯用法
if display:
print(f"欢迎，{display}") # 欢迎，匿名用户
cart = []
if cart:
print("结算", sum(cart))
else:
print("购物车为空，先去逛逛") # 购物车为空，先去逛逛
```
`or` 短路给出默认值；`if cart:` 直接对空列表做真值测试——写成 `if len(cart) > 0:` 虽然正确，但 PEP 8 明确鼓励用容器本身测试空否。这里把第二章的真值知识第一次用于真实分支。
## 易错点与陷阱
### 陷阱一：缩进错乱——TabError 与「看似合理」的逻辑错误
混用 Tab 与空格、或复制网页代码时缩进变成 8 个空格，都会出问题。轻微的是解释器直接报 `IndentationError: unexpected indent` 或 `TabError: inconsistent use of tabs and spaces in indentation`，这是**编译期错误**，程序跑不起来，反而好处理。危险的是「缩进合法但错了」：内层 `else` 多缩进或少缩进一格，就和哪个 `if` 配对就变了，程序能运行但行为错误——这是嵌套分支最隐蔽的坑。对策：编辑器开启「显示空白字符」，全程只用空格，层级多多检查。
### 陷阱二：把赋值写进条件——`if score = 90:`
C 语言里 `if (x = 1)` 合法（赋值后测试真值），无数 C 程序员被它坑过；Python 直接禁止——`if score = 90:` 报 `SyntaxError: invalid syntax`，想要「判断相等」必须用 `==`。这条语法禁令是 Python 的刻意设计：从根上消灭「少写一个等号」这类 bug。所以遇到这个报错，第一反应就是检查是不是写成了单等号。注意区分：单等号是赋值语句，双等号是比较运算符；条件里**只能出现表达式**，而赋值是语句，因此天然不合法。
### 陷阱三：elif 链的条件顺序与区间重叠
区间型判断里，条件顺序就是规则顺序。把「先 `>= 70` 再 `>= 90`」的顺序写反，90 分的学生会被归入 C——因为 `90 >= 70` 先命中，后面的 `>= 90` 根本不会执行。更隐蔽的是**两个区间重叠**且顺序错误：`if score < 80` 与 `elif score >= 60` 把 75 分判进第一个分支，看起来「没判错」，但第二个分支的意图没达到。原则：**区间条件要么严格互斥（用 < 60 / 60-70 / 70-90 / >= 90 这种边界明确写法），要么按从小到大或从大到小排好序**。命中即止的短路语义是双刃剑：用对了是效率，用错了是逻辑漏洞。
### 陷阱四：忘记 else，变量悬空
`if` 没有 `else` 时，条件为假则「什么都不发生」。如果分支里给变量赋值，而后面要用它，条件为假时该变量就**从未被定义**，运行到使用处报 `NameError`。例如 `if n > 0: sign = "正"` 之后直接 `print(sign)`，`n` 为负数时崩溃。对策：要么给 `else` 兜底赋值，要么在 `if` 之前初始化默认值。这属于「分支覆盖不全」的经典坑，真实工程里常见于返回结果、统计变量上。
## 小结
`if / elif / else` 是分支结构的语法骨架：`if` 后跟条件与冒号，缩进成块；`elif` 链自上而下逐个测试，**命中即止、最多执行一块**；`else` 无条件兜底。缩进即块是 Python 的语法设计，4 空格、不混 Tab。条件放任意表达式，走一次真值测试——这是第二章知识的直接应用。条件表达式 `值 if 条件 else 值` 适合单行二选一赋值。四大陷阱：缩进错乱、`=` 写成 `==`（直接 SyntaxError）、elif 条件顺序与区间重叠、忘 else 导致变量悬空。下一篇进入 `match-case` 模式匹配：当分支条件不是「比较大小」而是「匹配形状」时，3.10 给 Python 带来了第二种分支语句。
## 练习与思考题
1. 不运行代码，写出下列程序的所有输出（注意命中即止与缩进配对），再运行验证：`x = 5`，`if x > 3: print("A")`，`elif x > 1: print("B")`，`else: print("C")`，`print("D")`。
2. 用 `elif` 链把「气温分类」写成程序：`>= 35` 输出「高温」，`>= 25` 输出「舒适」，`>= 10` 输出「偏凉」，否则输出「寒冷」。再想想：把条件顺序反过来写会有什么后果，为什么？
3. 下面这段代码想表达「分数在 60 到 80 之间显示合格」，但它有逻辑错误，指出并修正：`if score >= 60: print("合格")`，`elif score <= 80: print("超纲")`——提示：结合命中即止分析 70 分与 90 分各走哪条路。
4. 思考题：为什么 Python 用缩进表示块而不是花括号？缩进方案对「复制粘贴代码」「自动格式化工具」各带来什么影响？（提示：读完 PEP 20 与 PEP 8 的缩进小节再回答。）