第14章：组织直线型代码

为什么需要组织直线型代码

一段代码即使没有分支，也可能让读者在屏幕上来回寻找：先读到结果，几行后才看到输入从哪里来；两个无关设置被同一段计算隔开；一个看似普通的移动却让隐藏状态失效。本章解决的是“下一行为什么在这里”的阅读问题。

可以把代码想成一条只有一个入口和一个出口的工作台。材料先放到桌面，依次完成必要加工，最后交付成品。如果工人必须跑回桌角寻找材料，工作台仍能运转，却很难检查。没有清楚的排列，维护者会依赖偶然的文本位置和远处的副作用，错误也会在最后才露头。

先预测：把一条语句向上或向下移动时，哪一个中间状态会先变化？下面的规则、实验和练习都只改变一个排列条件，并保留输入、环境和观察窗口，避免把“看起来没坏”误当成证明。

核心概念：从依赖到可读顺序

一个 前置条件 是“它能不能现在执行”的边界；一个 后置条件 是“下一步可以依靠什么”的承诺。把两者写出来，排列就不再只是格式偏好。

当语句 A 的输出会被语句 B 读取时，形成 顺序依赖。可以用一个小合同表示：

这个式子在说：只要 A 产出的值会进入 B 的输入，A 就必须排在 B 前面；如果交集为空，还需要检查共享状态和副作用，不能只凭变量名下结论。

相反，两个语句若交换先后仍保留相同的输入、状态和输出合同，就称为 顺序无关。顺序无关不等于“随便放”：还要考虑哪个顺序更早暴露错误、哪个顺序让读者先看到主线。

把同一个概念的准备、计算和交付放在相邻区域，叫作 概念聚类。聚类的边界由依赖约束决定，不应为了让名字相似就跨过数据就绪点。

最后，自上而下可读性 是验收标准：读者应该能够从当前段落推出下一段需要什么、会产生什么，以及失败会停在哪里。

第14章 组织直线型代码

本章的组织规则可以压缩成一条路线：先把输入和资源准备到可用状态，再沿真实依赖完成计算，把同一概念的无关语句放进邻近区块，最后在交付前做一次顺序复核。路线不是固定模板；每个区块都必须能说出对象、输入、状态、输出和适用边界。

14.1 必须有明确顺序的语句

必须有明确顺序的语句通常有共享数据或共享状态。下面是独立改写的 TypeScript 草图：

const rawReceipt = readReceipt(input);
const validReceipt = validateReceipt(rawReceipt);
const totalCents = calculateTotal(validReceipt);
const response = buildResponse(totalCents);
return response;

validateReceipt 读取 rawReceipt，calculateTotal 又读取校验后的结果，buildResponse 依赖金额；这四步的先后来自输入和输出的连接。若把计算移到校验前，正常样本可能看不出差异，但无效收据会绕过应该先发生的拒绝点。

读者可以按每行写一张小卡片：它需要哪些输入？它产出哪些值？它改变了哪些共享状态？只要后一张卡片拿走前一张卡片的产物，卡片之间就有不可省略的箭头。把箭头保留下来，比把所有“计算”挤在一起更重要。

14.2 顺序无关的语句

没有数据交集、共享可变状态或可观察副作用的语句可以交换。例如设置一个固定的展示标题、构造审计标签、准备一个只读常量，它们可能都不依赖收据计算。此时可以优先安排能说明主线的语句，也可以先放最早暴露配置错误的语句。

但“目前没有交集”要经过检查：读取当前时间、写日志、访问缓存、修改全局对象和触发网络请求都可能引入隐含顺序。移动后至少比较三种样本：正常输入、恰好边界和一个故障。若中间状态或副作用变了，即使最终返回值相同，也不能把它标记为顺序无关。

使代码易于自上而下的阅读

自上而下不是要求每行都短，而是要求信息出现的时机配得上读者的推理。先出现“我要处理哪份输入”，再出现“如何确认它可用”，接着是“核心计算是什么”，最后才是“怎样交付”。这让读者在遇到一行时已经拥有它的前置条件，不必先跳到函数末尾寻找答案。

一个实用检查是遮住后半段逐段阅读：在每个区块结束处，能否复述当前状态和下一步输入？如果只能说“这里好像在做一些准备”，就需要补充概念边界、重命名临时值，或把被无关语句打断的主线重新聚拢。

把相关的语句组织在一起

相关语句的相邻不是按字面相似，而是按一个可交付的小目标相邻。输入清洗与输入错误处理属于同一个准备区，派生金额与舍入规则属于同一个计算区，响应字段与审计摘要属于同一个结果区。区块之间用明确的数据流连接，区块内部再考虑顺序无关语句的排列。

聚类也有边界：不要把一条需要在错误出口之前执行的检查移到“所有校验”区的末尾；不要把一个会改变缓存的动作藏在只读配置区；不要用空白行制造看似清晰、实则跨越依赖的假分组。最好的聚类会同时帮助阅读、测试和故障隔离。

专属因果实验：把顺序变成可观察证据

猜一猜：把“依赖计算”提前到“输入准备”之前时，哪个节点会先亮起故障？再切到顺序无关场景，观察相邻安排怎样改变阅读线索而不改变合同。实验中的每一步都带有五节点 SVG 图、场景切换、故障注入、播放/单步/拖进度和重置按钮。

三步验证流程

每次重排都遵循同一条可重放路线：先标出依赖，再聚类无关语句，最后保存故障与复位证据。

练习与答案

const label = "receipt";
const raw = readReceipt(input);
const total = calculateTotal(raw);
const audit = createAuditLabel(label);

本页小结

关键点是：先保留真实的数据依赖，再在安全范围内做概念聚类，并用正常、边界、故障和复位证据证明移动语句没有静默改变行为。

组织直线型代码不是把语句排成漂亮的长队，而是让每个先后关系都有可解释的输入与输出。先保留真实的顺序依赖，再在安全范围内进行概念聚类；用自上而下的阅读轨迹暴露远处副作用，用正常、边界、故障和复位四组证据确认移动没有静默改变行为。

名词解释

资料边界与独立改写

本章的范围与六个目录节点依据 《代码大全（第 2 版）》2006 年中文公开试读目录 核对；书目信息与出版范围参考 Microsoft Press 官方书页。关于 JavaScript 直线语句、表达式求值与副作用边界的语言事实参考 ECMAScript 语言规范。这些资料用于界定章节范围、书目和语言事实，不冒充原书未公开正文。

实验图、代码片段、练习与答案均为围绕本章目录的独立教学重写；它们用来检验排列决策，不是原书段落的翻译或逐字复现。