第15章 工具：开发的战术
用编辑、构建、版本控制、调试、剖析和自动化形成短而可重放的反馈环。
学习目标
- 能解释 第15章 工具：开发的战术 如何回答“从一个手工编译项目建立可重复构建、测试与差异审查”
- 能沿 编辑变更 → 构建依赖 → 版本记录 → 测试诊断 → 自动发布 重建输入、状态、输出和失败边界
- 能使用 feedback_time = edit + build + test + diagnose 比较正常输入、恰好边界与单点故障
- 能提交最小变更并在干净目录一条命令重建验证
为什么要从这个问题开始
用编辑、构建、版本控制、调试、剖析和自动化形成短而可重放的反馈环。 工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。 在本课程中，Unix 风格只是一组待验证假设；当延迟、安全、事务一致性、团队能力或平台约束改变时，允许用证据拒绝它。
直觉、对象与计算合同
贯穿场景是：从一个手工编译项目建立可重复构建、测试与差异审查。先固定输入版本、资源预算和成功条件，再观察 编辑器、版本控制 与 自动化；若中途改了数据或口径，结果作废。
这个式子用于公开变量关系，不冒充经验常数。自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。 需要特别防范的失败是：构建依赖开发者机器上的隐式文件，版本库无法重建发布物。
↡第15章 工具：开发的战术在第15章 工具：开发的战术中对应编辑变更的可复核状态。·
↡编辑器在第15章 工具：开发的战术中对应构建依赖的可复核状态。·
↡make 依赖在第15章 工具：开发的战术中对应版本记录的可复核状态。·
↡版本控制在第15章 工具：开发的战术中对应测试诊断的可复核状态。·
↡调试剖析在第15章 工具：开发的战术中对应自动发布的可复核状态。·
↡自动化在第15章 工具：开发的战术中对应编辑变更的可复核状态。正式目录节点：解释与验证
下面逐项保留作者送印版目录坐标。每一项都放回 第15章 工具：开发的战术 的机制链解释，并在页面实验组件与章末复核清单中再次出现；标题出现本身不计作覆盖。
15. Tools
“15. Tools”是本单元比较的机制候选，名称本身不代表应当采用。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
A Developer-Friendly Operating System
“A Developer-Friendly Operating System”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Choosing an Editor
“Choosing an Editor”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查版本控制：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Useful Things to Know about vi
“Useful Things to Know about vi”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查调试剖析：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Useful Things to Know about Emacs
“Useful Things to Know about Emacs”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查自动化：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
The Antireligious Choice: Using Both
“The Antireligious Choice: Using Both”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Special-Purpose Code Generators
“Special-Purpose Code Generators”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
yacc and lex
“yacc and lex”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查版本控制：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Case Study: Glade
“Case Study: Glade”是用于观察取舍的案例，不是要求照搬的产品推荐。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查调试剖析：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
make: Automating Your Recipes
“make: Automating Your Recipes”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查自动化：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Basic Theory of make
“Basic Theory of make”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
make in Non-C/C++ Development
“make in Non-C/C++ Development”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Utility Productions
“Utility Productions”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查版本控制：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Generating Makefiles
“Generating Makefiles”是本单元比较的机制候选，名称本身不代表应当采用。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查调试剖析：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Version-Control Systems
“Version-Control Systems”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查自动化：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Why Version Control?
“Why Version Control?”提出本单元必须回答的判定问题，结论需要允许被反证。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Version Control by Hand
“Version Control by Hand”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Automated Version Control
“Automated Version Control”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查版本控制：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Unix Tools for Version Control
“Unix Tools for Version Control”是本单元比较的机制候选，名称本身不代表应当采用。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查调试剖析：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Runtime Debugging
“Runtime Debugging”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查自动化：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Profiling
“Profiling”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Combining Tools with Emacs
“Combining Tools with Emacs”是本单元比较的机制候选，名称本身不代表应当采用。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Emacs and make
“Emacs and make”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查版本控制：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Emacs and Runtime Debugging
“Emacs and Runtime Debugging”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查调试剖析：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Emacs and Version Control
“Emacs and Version Control”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查自动化：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Emacs and Profiling
“Emacs and Profiling”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查编辑器：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
Like an IDE, Only Better
“Like an IDE, Only Better”把本单元的总机制细化为一个可定位的主题坐标。 在“工具链把源文件、生成规则、变更历史、测试与诊断证据连接起来；最重要的不是工具数量，而是一次变更能否被另一个人从干净环境重建。”这条因果链中，本节点重点检查make 依赖：先写预期，再改变一个直接条件，并用自动化若隐藏失败命令或无法本地重放，就不是可靠反馈环。作为停止或继续的边界。
可执行切片
这段最小命令只展示 第15章 工具：开发的战术 的证据接口；运行前应固定工具版本与输入，运行后检查退出码和差异。
git diff --check
make clean test
git status --short三视图实验：先预测，再操作
1. 组合拓扑
沿 编辑变更 → 构建依赖 → 版本记录 → 测试诊断 → 自动发布 定位职责和失败传播，只允许改变一个直接条件。
taoup-chapter-15-tools · 组合拓扑
第15章 工具：开发的战术
从一个手工编译项目建立可重复构建、测试与差异审查
选择验证情境
选择工程动作
正常路径和责任链一致，可以进入下一节点，但仍须保存可重放记录。
职责、接口与失败传播
15. Tools
常见误区
术语
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 第15章 工具：开发的战术
编辑器的检查入口；必须能回到输入、状态与失败证据。
- 编辑器
make 依赖的检查入口；必须能回到输入、状态与失败证据。
- make 依赖
版本控制的检查入口；必须能回到输入、状态与失败证据。
- 版本控制
调试剖析的检查入口；必须能回到输入、状态与失败证据。
- 调试剖析
自动化的检查入口；必须能回到输入、状态与失败证据。
- 自动化
编辑器的检查入口；必须能回到输入、状态与失败证据。
练习与答案
练习
- 问题 1：目录证据复核。 选择三个相邻目录节点，说明它们在 第15章 工具：开发的战术 中的因果关系，并指出各自的实验与练习证据。
- 问题 2：故障诊断。 在“从一个手工编译项目建立可重复构建、测试与差异审查”中注入“构建依赖开发者机器上的隐式文件，版本库无法重建发布物”，第一处应该拒绝结果的位置在哪里？
- 问题 3：方案判断。 什么情况下应该拒绝本章首选的 Unix 风格方案？
本章小结
第15章 工具：开发的战术 的核心不是记住目录名，而是用 编辑变更、构建依赖、版本记录、测试诊断、自动发布 把 编辑器、make 依赖、版本控制、调试剖析、自动化 连成一条可反驳、可重放、可撤回的证据链。最终验收是：能提交最小变更并在干净目录一条命令重建验证。