第17章：不常见的控制结构

为什么需要这一机制

特殊控制结构的问题不是“少见所以不能用”，而是它们改变了读者追踪路径的方式。多个返回可能让失败条件更靠近发现处，递归可能直接表达树或分治，goto 也可能把多个故障出口汇合到一处清理。代价是：读者必须能回答每个出口去哪儿、谁释放资源、递归怎样结束，以及结构是否比普通分支更容易复核。

本章用一个可重放的判断闭环替代口号：先写控制目标和后置条件，再选择候选结构；随后展开正常、边界和故障路径，最后检查清理、终止和可读性。学习时先预测改变一个条件会让哪一个节点先变，再用实验观察变化。若修复后的结果只是“看起来通过”，却无法回到同一基线，结论仍然不成立。

核心合同

把合同拆成四个可检查问题：输入和状态是什么，输出要满足什么后置条件，哪个进展量保证终止，哪个出口负责释放共享资源。多返回关注出口合同，递归关注严格缩小，跳转关注汇合位置；它们都不能替代对状态与清理责任的说明。先由合同推出预期，再观察路径展开与复杂度复核；不要通过修改阈值来迎合实验结果。

目录节点到四级证据

下面的节点与原书公开目录对应。每个节点都给出定义、边界和一个可观察证据位置；标题只是索引，真正的覆盖率来自其后的解释、实验和练习。贯穿全章的判断准则是：结构只有在直接表达问题、减少重复错误路径，且不隐藏清理责任时才值得保留。

第17章 不常见的控制结构

这一节点把多个返回、递归和 goto 放到同一个决策框架中。控制目标先于语法选择：声明调用者需要的结果、可能的故障和资源生命周期，再比较哪一种结构让这些关系最短、最清楚。实验中的五个节点会记录选择、路径、清理和复杂度证据。

验证时先预测正常值、恰好边界和一个坏输入的出口顺序，再展开每条边。若某条边没有后置条件或无法回到基线，就拒绝这次结构选择，并把首个偏离写入练习记录。

17.1 子程序中的多个返回

多个返回适合把前置条件失败放在发现处，例如参数为空、权限不足或缓存未命中。它不等于“随时 return”：每个返回点都必须给出同一组状态约束，或者先把清理放进语言提供的作用域机制。这样读者看到的是不同结果，而不是隐藏的副作用分叉。

一个小函数可以用早拒绝表达边界，但持有文件、锁或事务时，必须先确认释放责任。对最小、最大和非法参数各跑一次，观察返回值、状态副作用和出口记录是否一致；这就是候选结构节点的实践证据。

17.2 递归

递归把“大问题如何变小”直接写在调用关系里。可靠的递归需要基线情形、严格缩小的输入、可证明的组合动作和有限的资源预算；缺少任一项，调用深度就不是终止证明。这里的 进展量 可以是节点数量、区间长度或剩余层数。

先预测深度为零、一步和无法缩小时的行为，再运行它们。若下一次调用仍接收同一个问题，先在路径展开节点拒绝，而不是等栈耗尽后猜原因。

递归的例子

树遍历是递归的直观例子：空节点是基线，非空节点把问题分成子节点，返回阶段合并子结果。它的安全合同不是“调用自己”，而是每个子节点都比父节点更接近空节点，并且访问标记或深度预算能阻止环形数据造成无限展开。

可重放证据应包含输入树、访问顺序、最大深度和聚合结果。对空树、单节点树、平衡树和带回边的坏图各执行一次，检查故障在终止保护处被拒绝，而不是在清理之后才暴露。

使用递归的技巧

选择递归前先问三个问题：问题是否天然分层，基线是否简单，调用深度是否有预算。若数据深度不可控，可以改用显式栈；若返回阶段需要共享资源，则把资源作用域放在一次顶层调用外，避免每层都复制一份清理协议。

递归函数还要避免把未验证的外部输入直接当作进展量。把深度、节点数或剩余区间写进状态并记录，才能比较正常路径、边界路径和故障路径的成本。

17.3 goto

goto 的争论不应停留在风格偏好。真正的判定是跳转是否只在一个清晰的控制区域内，把多个失败路径汇合到同一个清理出口，并且不跨越变量初始化、所有权转移或不可见的状态更新。一个命名明确的 cleanup 标签有时比重复五份清理代码更容易审查。

先画箭头再看代码：每条箭头都应有来源、目标和恢复动作。若跳转跨过不变量建立处，或让读者必须反向搜索多个标签，就回到结构化分支或提取子程序。

反对goto的论点

反对者关注的是无约束跳转带来的路径爆炸、作用域混乱和难以局部推理。问题不在关键字本身，而在跳转图是否能被限制为少量单向边；循环、回跳和跨函数跳转尤其需要额外的终止与所有权说明。

复核一个反对案例时，列出所有标签和边，标出变量在哪条边首次有效、在哪条边释放。只要存在绕过初始化或重复释放的路径，故障应在路径展开节点被拒绝。

支持goto的观点

支持者通常讨论错误处理中的共享清理：多个资源依次获取，任一获取失败都需要按相反顺序释放。将释放逻辑集中到一个受限出口，可减少重复代码，并让新增资源只需加入一处反向清理。这个收益只有在跳转方向、标签命名和错误结果都显式时才成立。

最小实现应把“是否已获取”与资源绑定，而不是依赖跳转顺序猜测。运行每一个获取阶段失败的样本，确认只释放已经取得的资源，且最终错误不会被成功路径覆盖。

关于goto的虚假辩论

“永远不用”与“哪里都可以用”都是把可验证性问题换成了口号。更有用的比较是：普通嵌套、提取子程序和受限跳转分别需要读者记住多少状态，哪种方案让故障出口更近，哪种方案最容易写测试。

把三个版本放进同一输入窗口，固定资源数量与错误点，只改变控制结构。实验记录中的路径数、清理动作和最终错误语义，才能回答这场争论；只比较行数会漏掉隐藏状态。

错误处理和goto

错误处理先区分可恢复外部错误与内部不可能状态。外部输入应在信任边界尽早拒绝，内部不变量破坏则应保留诊断上下文并停止继续处理；两者可以共享清理出口，但不能共享含义含混的成功返回。

在 C 或类似手动资源管理的代码中，按获取逆序清理，并让错误码在汇合点仍可见。注入一个坏输入和一个内部不变量破坏，检查它们走不同处置路径、释放次数为一、重置后仍能重放相同结果。

goto和在else子句中的共享代码

共享代码应有一个可命名的责任边界。若 else 中既处理正常后续又承担多个分支的共同收尾，读者容易把“没有走 if”误解成“所有前置条件已经满足”；可以提取 finish 子程序，或让受限跳转明确到统一出口。

判断时把共享代码前后的状态写成表：输入条件、已经完成的动作、仍需完成的清理和最终结果。任何一行共享代码若要求调用者记住两个互斥前提，就应该拆开，而不是继续压缩。

goto使用原则总结

保留跳转前，逐项检查：目标是否唯一且命名清楚，方向是否单向，是否跨越初始化，是否绕开锁或事务的释放，是否能对每个错误点写出一个测试。五项中有一项答不上来，结构就还没有达到可审查状态。

这套原则不把 goto 变成默认工具，而是把它限制在“共享清理、有限范围、明确后置条件”的窄场景。练习会要求把同一逻辑改写两次，让选择依据来自路径证据而不是个人偏好。

17.4 对不常见控制结构的看法

不常见结构的价值取决于它是否让问题域和控制流对齐。树遍历用递归表达层级，早拒绝用多个返回表达前置条件，资源失败用受限跳转表达汇合清理；如果这些结构让状态转移更短且证据更完整，就不必为了“看起来普通”而增加嵌套。

反过来，结构一旦让终止、所有权或错误语义变得隐含，就应选更常见的形式。最后一次复核要同时看代码阅读成本、路径测试成本和复位后的重放结果，而不是只看运行的一次成功输出。

其他资源

本章的书目范围可从 公开试读目录 与 Microsoft Press 书页 核对；语言层面的控制流与资源规则可参照 C++ Core Guidelines。这些资料帮助区分原书目录、语言事实和本页新增的实验设计，不把现代实现细节冒充 2006 年原书论述。

动手时保存输入、环境、路径轨迹、故障点、清理顺序和重置后的轨迹。这样第二位读者可以从干净状态复核结论，而不必相信一张无法解释的截图。

关键点

特殊控制结构的最小决策规则是：先写目标和后置条件，再选能直接表达问题的结构；展开正常、边界和故障出口；证明清理只发生一次、递归严格缩小、跳转范围受限；最后用测试和重放确认可读性收益没有换来隐藏状态。

若无法为某个出口写出资源责任、终止理由和错误语义，就暂时回到更普通的结构。能够解释“为什么这个结构在此处减少了错误路径”，比记住“应该或不应该使用某个关键字”更有迁移价值。

最小可重放实现

baseline = trace(input, structure)
hypotheses = [multiple_return, recursion, restricted_jump]
while hypotheses has more than one candidate:
    hypotheses = distinguish_with_one_path_probe(hypotheses)
assert trace_after_reset(input, chosen_structure) == baseline

这段伪代码表达的是教学合同，不是原书代码。真正的记录至少包含输入、版本、节点轨迹、首个偏离、最终结果、拒绝理由和复位结果；其中任一字段缺失，都不能声称实验已经区分了候选结构。

专属因果实验

先预测改变“多个返回”或“递归”后哪一个节点最先变化，再切换正常、边界、故障和修复重放。观察控制目标、候选结构、路径展开、退出清理和复杂度复核的颜色与说明，最后点击“重置实验”，确认场景、焦点、动画和记录说明回到基线。

故障诊断与误区

术语与边界

本章六个操作术语分别是 多个返回、递归、进展量、goto、共享清理 和 后置条件。它们都能指向实验的按钮、节点或状态文字；若只能指向标题，说明解释和验证还不完整。

边界也要说清：本章讨论的是控制流的可读性、终止性、资源清理和错误语义，不主张某个关键字在所有语言中拥有相同的作用域规则。语言的异常、析构、借用检查或协程语义，需要再查对应语言规范；实验只把可观察的路径合同固定下来。

本页小结

• 先写控制目标、输入状态和后置条件，再选择多个返回、递归或受限跳转。
• 多个返回要守住资源责任；递归要有基线、严格进展量和预算。
• goto 只有在有限范围内表达共享清理时，才可能减少重复错误路径。
• 正常、边界和故障路径都要可追踪，重置后还要能重放同一基线。