分支结构这件事看起来很简单不就是个 if 吗但我在带新手和看项目代码时发现很多人写了两三年 Python对分支的理解还停留在会用 if-else一旦遇到复杂的判断逻辑就写得又臭又长或者埋下一些特别隐蔽的 bug。这篇我打算认真把 Python 分支结构从头到尾梳理一遍。不是只讲语法而是讲清楚我们为什么要用分支、每个分支写法之间的本质区别、什么时候该用哪种方式、常见的坑有哪些。无论你是刚学 Python 的初学者还是已经写了段时间、想回头整理基础的开发者这篇内容都能给你一些新的视角。1. 分支之前先搞清楚程序里的判断到底是什么很多人一上来就背 if 的语法但我觉得先理解判断这件事的本源更重要。判断的本质就是把现实世界里的决策规则翻译成计算机能执行的逻辑。你在现实中做一个决定会有很多条件和依据程序里的分支结构就是干这个的。1.1 从生活场景到布尔表达式的映射举个很简单的例子。出门前你要不要带伞你内心其实是有一套规则的如果天气预报说下雨就带伞否则就不带。这就是一个典型的双分支结构。在 Python 里这个天气预报说下雨就是一个表达式它的结果只有一个——True 或者 False。我们称之为布尔表达式。这个映射过程特别重要因为很多初学者的问题不是不会写 if而是不会把现实需求拆成条件表达式。我曾经让学生写一个判断某年是否闰年的程序很多人卡住的不是 if 写法而是不知道怎么把闰年规则拆成人话能被4整除但不能被100整除或者能被400整除。这才是关键。1.2 比较运算符是分支判断的地基Python 里最常用的布尔表达式来自比较运算。下表帮你快速过一遍运算符含义示例结果等于5 3False!不等于5 ! 3True大于5 3True小于5 3False大于等于5 5True小于等于5 3False这里有个新手特别容易踩的坑把写成。在 Python 里是赋值才是比较。我见过很多人在 if 条件里写if x 10:结果直接语法报错。因为 Python 的赋值表达式不能出现在条件位置这其实是 Python 在保护你很多其他语言会允许这种误写然后静默出错Python 直接让程序崩掉反而好排查。比较运算符看起来简单但有几个地方必须额外注意。一个是浮点数比较比如0.1 0.2 0.3这个表达式的结果是 False因为二进制浮点数没法精确表示 0.1 和 0.2。这不是 Python 的 bug所有主流编程语言都有这个问题。另一个是连续比较Python 支持90 score 100这样的链式写法它在 C 语言里是不行的但在 Python 里是一种非常优雅的写法。1.3 条件表达式和布尔值之间的关系分支判断最终依赖的是bool类型。但有意思的是Python 里很多值不需要显式转成布尔值就能参与条件判断。比如整数 0 会被认为是 False非零整数是 True空字符串是 False非空字符串是 True空列表[]是 False非空列表是 TrueNone是 False。这个特性让 Python 代码写起来非常简洁但也带来了一些隐晦的问题我后面会用专门一节来聊这个。理解了这些基础之后我们才能讨论一个问题什么时候判断结果是不确定的如果你把一个算术表达式当作条件比如if 5 - 3:Python 会先把结果算出来然后用上一段说的规则把这个结果转成布尔值来判断。这就是所谓的条件表达式的真值测试。2. 从最朴素的 if 开始单分支、双分支与它们的代码块现在进入正题。if 语句的语法是所有分支结构的地基但我发现不少教程把语法讲得太轻飘飘了。我来详细拆一拆。2.1 语法结构与缩进规则详解最基本的 if 语句长这样if 条件表达式: 代码块注意两个细节第一条件表达式后面必须跟一个冒号**这是 Python 语法的一部分不能省略第二下一行必须有缩进而且同一个代码块里的缩进必须一致。Python 社区约定使用 4 个空格不要用 Tab。代码块的概念是理解 Python 缩进的关键。在 C 语言或 Java 里代码块用花括号{}括起来缩进只是为了好看在 Python 里缩进就是语法的一部分它决定了一个代码块从哪里开始、在哪里结束。如果你缩进出了问题最常见的报错是IndentationError: expected an indented block after if statement。这个错误说明 Python 在 if 后面没找到缩进的代码块。还有一种情况是IndentationError: unindent does not match any outer indentation level这是因为你的缩进时多时少跟上一层的缩进对不上。我在这里给你一个非常实用的建议编辑器里一定要开启顯示空格或制表符的功能。我见过最头疼的调试经历就是代码看起来缩进完全一致但报缩进错误最后发现是某个地方混入了一个 Tab。很多编辑器会把 Tab 和空格显示成不同的符号一眼就能看出来。再加一个双分支版本也就是大家特别熟悉的 if-elseimport random score random.randint(0, 100) if score 60: print(f成绩 {score} 分及格了) else: print(f成绩 {score} 分需要补考)2.2 单分支和双分支各自适合什么场景单分支if适合那种满足条件就做不满足就什么都不做的场景。比如日志记录if error_count 10: print(错误次数过多需要关注)这种场景没有必要写 else因为不满足条件时程序什么都不需要做。很多初学者有个毛病不管什么 if 都要配对 else还喜欢在 else 里写个pass。这没必要。一个空的pass只会让读者疑惑这里是不是忘了写逻辑双分支if-else则适合非此即彼、二选一的场景。比如判断奇偶一个整数不是偶数就是奇数没有第三种情况。这种用 if-else 最自然。但这里有一个值得思考的点你能保证现实问题都是二选一吗不一定。分数等级划分、菜单选项处理、交通信号灯颜色这些都是多选一。所以我们就需要 if-elif-else 结构这在下一节展开。2.3 一个代码块里可以有多条语句if 后面可以跟多条语句它们必须全部缩进。这个好理解但我注意到有些初学者会犯一个错误在代码块中间把缩进取消了以为 if 块已经结束其实后面还接着一句逻辑上属于 if 的话。比如if score 60: print(及格) print(恭喜你)这个代码里两次 print 都会在条件满足时执行。如果把第二个 print 的缩进去掉if score 60: print(及格) print(恭喜你)那么恭喜你不管成绩如何都会打印。两种效果完全不同。这种错误有时候肉眼很难发现尤其在代码块很长的情况下。我的建议是if 的代码块尽量短如果超过 5 行考虑把里面的逻辑提取成函数。这样不仅缩进不容易出错可读性也大幅提升。3. 当选择不只两个if-elif-else 和多个独立 if 的根本区别现实中的判断大多是多路选择。成绩划分等级90 以上是 A80 到 89 是 B70 到 79 是 C60 到 69 是 D60 以下是 F。这种需求如果用嵌套 if 写会非常痛苦elif 就是专门为这种场景设计的。3.1 elif 的核心逻辑短路式多路选择elif 是 else if 的缩写Python 里没有直接用 else if 这个写法而是缩写成了 elif。语法是这样的score 85 if score 90: grade A elif score 80: grade B elif score 70: grade C elif score 60: grade D else: grade F print(grade)这个代码的执行流程是从上到下依次检查每个条件一旦某个条件为 True就执行对应的代码块然后整个 if-elif-else 结构就结束了后面的所有条件不会再被检查。所以上面这个代码里score 是 85第一个条件score 90是 False继续走第二个条件score 80为 True执行grade B然后直接跳出整个结构。它不会再去比较score 70了尽管 85 也确实大于等于 70。这个短路特性特别重要它意味着你把条件顺序写反了结果就会完全错误。比如你把等级判断写成if score 60: grade D elif score 70: grade C elif score 80: grade B elif score 90: grade A else: grade F那么 85 分进来第一个条件score 60就为 True直接得到 D 等级。这就是条件顺序错误导致的经典 bug。所以写 elif 链时务必把最严格、最特殊的条件放前面把最宽松的条件放最后。3.2 elif 链和多个独立 if 的执行差异这是很多人没有想清楚的点。elif 链和多个独立的 if 看起来很像但实际上完全不同。你可以看看下面这段代码# 情况一elif 链 x 50 if x 30: result 偏高 elif x 10: result 中等 print(result) # 输出 偏高 # 情况二多个独立 if y 50 if y 30: result2 偏高 if y 10: result2 中等 print(result2) # 输出 中等第一种只有第一个条件命中第二个条件被短路跳过。第二种两个条件都会被检查后面那个把前面的覆盖了。所以如果你想做的是多选一必须用 elif如果你希望多个条件各自独立判断、互不影响就用几个独立的 if。两者语义完全不同。从性能角度讲elif 链也通常更快因为它找到一个命中条件后就跳过了后续一切检查而多个独立 if 必须逐个判断完。当然这个性能差异在大多数场景下微乎其微更重要的是语义正确性。我在一个模拟项目中看到过这样的代码开发者在处理订单状态时用了一连串独立 if本来状态只应该匹配一种结果因为条件覆盖一下匹配了两种后面那个把前面那个改了。这类 bug 很难排查因为它不是崩溃而是逻辑悄悄错掉。3.3 顺序、边界与区间为什么值得反复推敲elif 链把条件的顺序问题暴露得非常明显。我再强调一下分数 60到底算及格还是不及格需求不同边界定义就不同。60 分以上和60 分 (含) 以上在代码里分别是 60和 60差一个等号结果完全不同。写区间判断的时候我强烈建议你用闭区间来表达。比如 80 到 89 属于 B你可以写成elif 80 score 90: grade B这种写法不仅符合数学直觉更重要的是它把边界条件写得非常明确。Python 的链式比较在这里显得特别优雅。如果你用and来连接比如elif score 80 and score 90:也可以但视觉上不如链式写法清爽。在实战中我还有个习惯对于这种等级映射与其写一长串 elif不如用查表法。等介绍到实战部分的时候我会再展示几种写法让你直观对比一下。4. 嵌套不一定是坏事但逻辑运算符能让代码更优雅嵌套 if 就是 if 里面再套 if。很多教程一说嵌套就警告不要嵌套太深但关键不是没嵌套而是什么时候嵌套是合理的什么时候嵌套是设计有问题的。4.1 什么时候嵌套是自然的什么时候该考虑重构最自然的嵌套场景是条件之间存在明显的先后依赖关系。比如你做一个登录系统先要判断用户名是否存在如果存在再判断密码是否正确。这个再判断就形成了一个嵌套user {alice: 123456} username input(请输入用户名) password input(请输入密码) if username in user: if user[username] password: print(登录成功) else: print(密码错误) else: print(用户名不存在)这个嵌套很自然因为密码判断只有在用户名存在时才有意义。如果把它强行展开成扁平结构反而会重复判断条件让代码变得冗长。但是当我看到三层以上的嵌套时就会本能地觉得不对劲。三层嵌套意味着出现了至少 8 种可能路径人脑根本没办法快速追踪所有路径。我的经验是一旦发现嵌套超过两层就要问自己两个问题能不能把内层逻辑提取成函数能不能通过逻辑运算符把多个条件合并成一个4.2 用 and、or、not 把嵌套拍扁逻辑运算符参与判断就是合并条件的重要手段。看这个例子判断一个人的年龄是否属于青年且当前用户是否为管理员。你当然可以嵌套两成 if。但更清爽的方式if age 18 and age 35 and is_admin: print(允许访问)一个 if 搞定可读性反而更高。这里要注意and的短路特性如果前面条件为 False后面的条件根本不会评估。这个特性意味着把开销较小、淘汰概率较高的判断放在前面通常能提升一点性能。比如if user and user.is_active:这里先判断 user 是否存在如果不存在就直接短路避免后面抛 AttributeError。这是很实用的写法。or也有对应写法只要其中一个条件为 True值为 True其余不评估。判断文件路径是否合法、输入是否为空经常用到。not更简单就是取反。但这里有个非常常见的误区if not user:和if user is None:并不完全等价。前者只判断 user 是否为假值所以空字符串、空列表、空字典、0、False 都会命中后者只判断是否为 None。这个差异在真实场景下会引发严重 bug你一定得搞清楚你要判断的到底是这个值是否存在还是这个值是否为 None。4.3 德摩根定律让条件取反更清晰有时候你会写出一个很长很复杂的条件然后前面加个not。比如if not (age 18 or age 60):。这个意思其实是年龄既不在 18 岁以下也不在 60 岁以上也就是年龄在 18 到 60 之间含端点。但你写成这种嵌套括号加 not 的格式别人看起来比较费劲。这里可以用上德摩根定律来化简not (A or B) (not A) and (not B)not (A and B) (not A) or (not B)。所以上面的判断可以写成if age 18 and age 60: print(符合中年范围)一对比是不是清晰多了我在 code review 的时候非常喜欢抓这种地方不是因为代码有错而是因为条件表达式要尽量符合人的阅读习惯。同样地如果你发现自己要写if (条件A and 条件B) or (条件A and 条件C):这种东西那考虑用分配律提取公共项if 条件A and (条件B or 条件C):这种提取逻辑不仅让代码变短也让逻辑关系一目了然。5. Python 3.10 之后的分支新工具match-case说到分支结构就必须聊聊 Python 3.10 引入的match-case语句了。很多初学者不太注意这个因为老教程里没提。它表面上看很像其他语言的 switch但实际功能要强大很多是 Python 分支家族里一个非常值得掌握的新成员。5.1 match-case 是什么和 switch 有什么不同传统 C 风格的 switch 是拿一个值与多个常量做相等匹配而 Python 的 match-case 是结构模式匹配。差别在哪模式匹配不只是比相等性它可以做解包、类型判断、守卫条件甚至递归匹配复杂的数据结构。看一个最简单的例子def interpret_command(command): match command: case start: print(开始运行) case stop: print(停止运行) case restart: print(重启服务) case _: print(未知命令)这里的_是通配符和 if-elif-else 里的 else 一个作用。注意每个 case 后面没有 breakPython 压根没有 fall-through 这种行为执行完一个 case 分支后自动退出整个 match这比 C 语言的 switch 安全太多了。但 match-case 真正的威力远不止此。它可以匹配多个值match command: case start | launch | go: print(开始运行)也可以做序列解包point (3, 0) match point: case (0, 0): print(原点) case (0, y): print(f在 y 轴上y{y}) case (x, 0): print(f在 x 轴上x{x}) case (x, y): print(f坐标 ({x}, {y}))注意这里y和x会绑定匹配到的值。这就比单纯的 if 判断灵活太多了。5.2 用守卫条件处理更复杂的匹配match-case 还支持在分支上加 if 条件这叫守卫 (guard)。上一节的坐标例子不够复杂我们看个更真实的场景假设你要处理 HTTP 状态码不同状态码的后续处理不同def handle_status(code): match code: case 200: print(请求成功) case 301 | 302 | 307 | 308: print(需要重定向) case 404 as not_found_code if code ! 500 and code 0: print(f资源不存在状态码 {not_found_code}) case _: print(f其他状态码 {code})这个例子里的守卫就是if关键字后面的条件。只有模式匹配且守卫条件为 True 时这个分支才算命中。如果守卫不成立Python 会继续尝试下一个 case。5.3 match-case 和 if-elif-else 该怎么选说实话if-elif-else 仍然是 Python 分支的核心绝大多数场景下它清晰、直观、所有 Python 程序员都熟悉。match-case 并不负责取代它而是适合另一类场景你要匹配的是结构而不是简单值你有很多个等值分支比如命令分发、状态机转换你希望在一个表达式里完成类型判断和值解包如果只是比较大小、判断区间老老实实用 if-elif-else。一个布尔表达式能表达的判断你非要用 match-case 写反而会绕远路。这部分经验是你在实际写代码时会慢慢形成的match-case 第一次用会感觉很爽但不要为了炫技而用它。我已经见过一些代码把简单的大小比较写成 match-case那真的很难读。6. 条件表达式用一行写判断但别滥用分支结构除了 if 语句还有条件表达式也就是大家常说的三元表达式或者三元运算符。Python 的写法很反直觉顺序是 结果为真时的值 在前。age 20 status 成年 if age 18 else 未成年它和下面的 if-else 完全等价if age 18: status 成年 else: status 未成年条件表达式的核心优势是把赋值和一个简单的判断压缩成一行代码更紧凑。但这里的简单是关键词。6.1 条件表达式的适用场景与不适用场景我自己的原则是只在表达式很短的时候用条件表达式一个条件表达式的整体结构如果横跨超过 80 个字符或者涉及嵌套就果断回到 if-else。你可能会看到某些人写出下面这种嵌套三元score 75 result 优秀 if score 90 else 良好 if score 80 else 及格 if score 60 else 不及格这段代码能运行也能得到正确结果但可读性非常差。你顺着读一遍几秒钟才能捋清楚逻辑。这就像你写了一段只有你自己能看懂的代码问题是你三周后自己再回来也看不懂了。真正适合条件表达式的场景是那些一行小三元max_num x if x y else y message 成功 if is_success else 失败 discount 0.8 if is_member else 1.0这种一行就看明白的用起来很舒服。如果三元表达式里再塞函数调用、再拼接字符串那就已经越界了。我在 code review 里见到这种代码一定会建议改成 if-else。不是说条件表达式不能用而是可读性和可维护性优先。6.2 条件表达式和逻辑运算符的联动一种老手的写法条件表达式有一个很容易被忽略的衍生用法配合 or 和 and 实现默认值。比如name input(请输入姓名) 或 匿名用户在 Python 中or前面是假值空字符串、None、0 等or会返回后面的值如果前面是真值则返回前面的值。所以input(...) or 匿名用户的意思就是如果输入为空假值就用匿名用户。这个写法非常简洁在很多真实代码里都能看到。不过我得加个提醒既然你兜底的是假值那就代表空字符串、0 也会被兜底替换。如果你原本只希望处理 None那就不要用or而应该用前面提到的is None判断。这是我反复见到、而且真的在工作中踩过一次的坑值得各位记在小本本上。7. 实战写一个成绩等级判断程序从能跑到耐造前面聊了太多理论现在我们来亲手写个完整的程序。这个实战会一步步加需求、改 bug最能体现分支结构在实际项目中的演进方式。7.1 需求描述与第一版最直白的写法需求是输入一个 0 到 100 的成绩按分数输出等级90 及以上是 A80 到 89 是 B70 到 79 是 C60 到 69 是 D60 以下是 F。第一版绝大多数初学者会这么写score int(input(请输入成绩)) if score 90: grade A elif score 80: grade B elif score 70: grade C elif score 60: grade D else: grade F print(f等级是 {grade})这完全能跑也基本正确。但问题在哪如果用户输入 150或者输入 -5程序也会给一个等级分别是 A 和 F这显然不合理。7.2 第二版加入输入合法性校验这时你需要考虑输入校验。一个合格的程序应该对非法输入做拦截。成绩必须先要是一个数字而且必须在 0 到 100 之间。加校验之后分支结构就藏在了程序里score_str input(请输入成绩) if not score_str.isdigit(): print(输入必须是非负整数) else: score int(score_str) if score 100: print(成绩不能大于 100) else: if score 90: grade A elif score 80: grade B elif score 70: grade C elif score 60: grade D else: grade F print(f等级是 {grade})你看输入一变得正规嵌套就自然出现了。但比第一版多了一层嵌套这层嵌套是合理的因为判断成绩等级这个动作只有在输入合法的前提下才有意义。不过这种写法有个明显的缺点一旦输入非法程序终止仍然不够友好而且用户只能输一次打错了就得重新运行。7.3 第三版用函数 循环重构让结构清晰且能反复输入第三个阶段我会把成绩判断逻辑抽成函数用 while 循环让用户重新输入并且把嵌套压平一点def get_grade(score: int) - str: if score 90: return A if score 80: return B if score 70: return C if score 60: return D return F def get_valid_score() - int: while True: score_str input(请输入成绩) if not score_str.isdigit(): print(输入必须是非负整数请重新输入。) continue score int(score_str) if score 100: print(成绩不能大于 100请重新输入。) continue return score score get_valid_score() grade get_grade(score) print(f等级是 {grade})这里我用了一种写法get_grade 里连续写了 4 个带 return 的 if而没有用 elif。这是因为每个分支都会 return函数执行到 return 就结束了后面的 if 不会再执行。这种早返回风格在实战中很常见它可以让多个条件判断扁平化不用再套 elif 链。而 get_valid_score 里的 while 循环配合 continue 是另一个很实用的模式只要输入不合法就提示并重新循环直到拿到合法输入才 return。这就是分支和循环的联动实战里到处都是。7.4 扩展如果需求改成90 分到 100 分为 A85 到 89 为 A-怎么改最后我们模拟一个需求变化等级体系增加 A- 和 B。这个改动如果用 elif 链写得谨慎调整边界但如果用查表法或区间判断法改动起来就简单很多。我随手写一个表驱动写法grade_rules [ (90, 101, A), (85, 90, A-), (80, 85, B), (70, 80, B), (60, 70, C), (0, 60, F), ] def get_grade_by_table(score: int) - str: for lower, upper, grade in grade_rules: if lower score upper: return grade raise ValueError(f成绩超出范围: {score})这不是用什么高深技巧但它说明了一个很重要的点当判断规则容易变化时把规则数据化把分支逻辑做成循环查表比堆 elif 链更灵活。这种数据驱动的思想在真实项目里很常见。7.5 测试思路边界值才是 bug 的老家写完这个程序我们来做测试。我发现初学者测试有个通病只用几个随便想到的数值跑一遍发现能跑就完事了。这样很容易漏掉边界 bug。正确的思路是列一组边界测试用例输入期望输出-1提示非法0F59F60D61D69D70C89B90A100A101提示非法abc提示非法注意边界上是 59/60、60/61、69/70、89/90、90/100 这些相邻数值。它们最能暴露和写错的问题。如果测试时专门跑一遍这组数并且确认输出完全符合预期你的分支逻辑才算被验证过。最后给一个展示这组测试的简单方法test_cases [(-1, 提示非法), (0, F), (59, F), (60, D), (61, D), (69, D), (70, C), (89, B), (90, A), (100, A), (101, 提示非法)] for value, expected in test_cases: try: actual get_grade(value) except ValueError: actual 提示非法 status PASS if actual expected else FAIL print(f{status}: {value} - {actual})跑一下你能很快发现边界处理是否有问题。8. 分支结构里那些坑全是实战总结前面讲了很多写法这一节专门用来踩坑。我把自己写代码和帮别人调试过程中积累的、和分支结构强相关的坑整理出来每一条都值得你注意。8.1 假值陷阱空列表、空字符串、None 和 0 的区别这是 Python 新手最容易踩的坑。前面说过Python 里很多值都能直接当作布尔值用比如空列表[]是 False。这意味着你写items [] if items: print(有数据) else: print(没有数据)程序会走 else 分支因为items是空列表。这样做常常是符合预期的而且代码也简洁。但如果你需要区分列表存在但为空和列表根本不存在这两种情况直接用真值判断就不够了。# 错误示范如果 items 可能是 None这种方式会怎样 if items: print(items 有内容)当items为 None 时它也是 False程序同样走 else。但如果你想在 items 为 None 时单独处理就得先做 None 检查if items is None: print(items 没有被初始化) elif not items: print(items 是空的) else: print(items 有内容)这个例子告诉我们用真值判断前先确认你要判断的语义到底是什么。是要判断存在与否还是是否为空这两者的条件写法完全不同。8.2 用 is 比较 None用 比较值这个混乱会让代码出大问题另一个高频坑是把is和搞混。is比较的是两个对象是不是同一个对象比较的是两个对象的值相不相等。对于 None官方推荐用isif x is None:。常见的错误是写if x None:。这个问题在某些情况下看起来能正常工作但实际上是个坏习惯。原因在于是运算符重载某个类的__eq__方法可以被实现得非常诡异导致x None的结果完全不可控。而is None是身份比较任何对象都能安全地被判断是不是 None。同样要注意True和1的关系。在 Python 中True 1结果是 True但True is 1结果是 False。如果你用if x 1去匹配一个布尔值 True它会匹配上这常常是出乎意料的。所以严谨的写法应该是判断真值用if x:或if not x:判断 None用if x is None:或if x is not None:比较数值用8.3 浮点数判断不能直接比相等回到前面提到的问题0.1 0.2 0.3结果是 False。这在分支结构里会引发非常隐蔽的 bug你认为应该走某个分支结果程序走到了另一个分支。比如判断一个计算结果是否恰好等于某个值total 0.1 0.2 if total 0.3: print(相等) else: print(不相等) # 实际会走这里解决办法是用误差范围判断Python 里可以用 math.iscloseimport math total 0.1 0.2 if math.isclose(total, 0.3, rel_tol1e-9): print(相等) else: print(不相等)math.isclose是专门用来做浮点比较的函数rel_tol是相对容差。这一条你在做金额计算、物理模拟、数据统计分析时会经常用到。8.4 变量作用域与分支的交叉问题还有一个容易忽视的坑在分支里给变量赋值然后分支外马上使用。看这个代码if condition: value 10 print(value) # 如果 condition 为 False这里会报 NameErrorPython 不存在块级作用域而是函数级作用域所以 if 里赋的变量在 if 外也能访问。但这不是说你就一定能访问到如果条件不成立那个赋值语句压根没执行变量就不存在。这时你在外面用value会抛出 UnboundLocalError 或者 NameError。解决办法是在分支前给变量设一个默认值value None if condition: value 10 print(value)或者是确保逻辑上每个可能路径都会给变量赋值。这个坑在嵌套分支特别深、代码很长的时候最容易被忽视。我调试过一个模块就是某个异常路径下变量没被赋值程序在很靠后的位置才报错当时找原因花了很久。说到最后我又想起一句话写分支结构像是在写一棵决策树。树的每一个分叉都要确保两边都有人负责不能有一条路径走着走着就断了。把条件顺序、边界范围、真值语义、变量初始化这些都捋清楚你的分支代码才会真正耐造。希望这篇梳理对你有多一点帮助。如果你在调试分支逻辑时也踩过什么有趣的坑欢迎在评论区聊聊。