Lesson 10：构建大型程序

来源、版次与标准边界

“Lesson 10：构建大型程序”以 SB Creative 出版社书页核定高桥麻奈著、第 5 版、2017 年 6 月 14 日发行、ISBN 978-4-7973-9259-3；出版社页面标 596 页。CiNii Books 书目与 16 课目录记录正文 xxiii+571 页，日本国会图书馆书目记录 571 页。页数口径存在前置页差异，因此本课程不拿页码充当目录证据。

“Lesson 10：构建大型程序”的中文说明、示例、交互、练习和答案均为独立教学重写。公开资料只确认 16 个 Lesson 标题；本页列出的细分概念是课程教学映射，不冒充原书逐级小节。技术规则参考 ISO C++ 标准入口复核，但 2017 年教材的 Visual Studio 2017 语境不会被静默升级为 C++23；现代写法只能明确标为迁移说明。

围绕“怎样区分预处理、编译和链接错误，并定位声明与定义跨文件的责任？”，本页要求保留“依赖图、预处理结果、各编译命令、目标文件符号表、链接命令和诊断阶段。”。若故障“把同一个非 inline 函数定义写进头文件并由多个源文件包含”无法在同一输入下制造首个分岔，应拒绝当前解释，而不是追加随机样例。

为什么文件变多不是目标

把 500 行程序随意切成五个 100 行文件，并不会自动得到良好结构。拆分文件的目标是稳定接口、隔离实现、缩小修改影响，并让各部分可以独立编译。分割边界应围绕责任和依赖，而不是行数。

每个 .cpp 通常形成一个翻译单元，分别编译为目标文件；链接器最后解析它们之间的符号引用。头文件不会单独“运行”，它的文本被包含到各个翻译单元中。

声明描述接口，定义提供实体

声明告诉编译器某个名字及其类型存在，定义真正提供函数体或对象存储。多个翻译单元可以看到同一份函数声明，但程序中通常只能有一个对应的非 inline 函数定义。

#ifndef EASY_CPP_CALCULATOR_HPP
#define EASY_CPP_CALCULATOR_HPP
 
namespace easy {
int add(int left, int right);
}
 
#endif

#include "calculator.hpp"
 
int easy::add(int left, int right) {
    return left + right;
}

#include <iostream>
#include "calculator.hpp"
 
int main() {
    std::cout << easy::add(2, 3) << '\n';
}

头文件公开调用者必须知道的声明，源文件保存实现。calculator.cpp 也包含自己的头文件，让编译器立即检查声明与定义是否一致。

头文件防护阻止同一翻译单元重复展开

头文件可能通过不同依赖路径被多次 include。include guard 使用预处理宏确保同一翻译单元中内容只展开一次。

宏名应在项目内唯一。#pragma once 也很常见，但传统 guard 的机制更直接：第一次未定义宏，进入并定义；后续包含发现宏已定义，跳过正文。

分离编译把改动限制在相关单元

可以分别生成目标文件，再链接为程序。只修改 calculator.cpp 时，若公开头文件未变，理论上只需重编该源文件并重新链接。

g++ -std=c++17 -Wall -Wextra -c calculator.cpp -o calculator.o
g++ -std=c++17 -Wall -Wextra -c main.cpp -o main.o
g++ calculator.o main.o -o calculator_app

构建系统负责记录“哪个目标文件依赖哪些源文件和头文件”。若头文件变化却没有重编所有包含者，旧目标文件可能保留陈旧接口假设。干净重建能排除陈旧产物，但长期修复应是正确依赖图，而不是每次删除全部缓存。

链接器按符号连接调用与定义

编译 main.cpp 时，只需知道 easy::add(int,int) 的声明，就能生成一个未解析引用；链接器在 calculator.o 中寻找唯一匹配定义。找不到是未定义符号，找到多个普通定义则是重复定义。

符号匹配包含命名空间、参数类型与限定信息。声明 easy::add(int,int)，却定义全局 add(int,int)，源码文字看似相近，符号仍不同。先读链接错误中的完整名字，再检查定义是否编入目标列表。

作用域与链接属性回答两个不同问题

作用域回答“源码中哪里能查到这个名字”，链接属性回答“不同翻译单元中的同名声明是否指同一实体”。块作用域变量只在块内可见；命名空间作用域名字可在更大范围声明；static 命名空间对象具有内部链接，只在当前翻译单元对应实体。

不要用全局变量作为跨文件通信的默认方案。它把初始化顺序、并发修改和测试隔离变成隐藏契约。优先通过函数参数、返回值和拥有明确生命周期的对象传递状态。

命名空间组织名字并避免冲突

命名空间把相关接口放进命名范围。easy::add 与其他库的 math::add 可以共存，调用点明确选择来源。

namespace easy {
class Calculator;
int add(int left, int right);
}

命名空间可以跨多个文件扩展，不需要把所有定义写在一个块中。头文件不要使用 using namespace，否则每个包含者都被迫扩大名字查找范围。

include 依赖会影响重编译范围

一个头文件 include 另一个头文件，会把依赖传递给所有包含者。能用前置声明满足的接口可减少不必要展开，但只有编译器不需要完整类型时才行；按值成员、继承和需要对象大小的操作通常要求完整定义。

依赖优化的第一目标仍是正确。先让每个文件直接包含自己使用的声明，不依赖“碰巧由别的头文件间接带入”；再用构建计时决定是否值得前置声明或 Pimpl。

先预测三类故障的阶段

先预测：删除头文件声明会使 main.cpp 编译失败；保留声明但不链接 calculator.o 会链接失败；把普通定义复制到两个 .cpp 会重复定义。三者现象不同，修复入口也不同。

三步构建可验证模块

正式节点与章专属证据

• 拆分文件：在“Lesson 10：构建大型程序”中核对输入、状态变化、失败模式和可复现证据；第 1 个节点必须能回到“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。
• 头文件：在“Lesson 10：构建大型程序”中核对输入、状态变化、失败模式和可复现证据；第 2 个节点必须能回到“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。
• 分离编译：在“Lesson 10：构建大型程序”中核对输入、状态变化、失败模式和可复现证据；第 3 个节点必须能回到“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。
• 作用域：在“Lesson 10：构建大型程序”中核对输入、状态变化、失败模式和可复现证据；第 4 个节点必须能回到“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。
• 命名空间：在“Lesson 10：构建大型程序”中核对输入、状态变化、失败模式和可复现证据；第 5 个节点必须能回到“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。

先用输入合同检查本页正式节点，再在相同初值下逐步比较正常和失败轨迹，最后只启用“把同一个非 inline 函数定义写进头文件并由多个源文件包含”完成反例与复位。三个交互都必须能独立重置，且重置后再次满足“共享接口只有一致声明，非 inline 定义在整个程序中恰有一个。”。

小结

• 多文件组织围绕责任、接口和依赖，不按行数机械切割
• 每个 .cpp 预处理后形成翻译单元，独立编译为目标文件，最终由链接器组合
• 声明让使用可检查，定义提供实体；头文件共享声明，源文件保存普通实现
• include guard 只防单个翻译单元重复展开，不能修复跨翻译单元重复定义
• 命名空间组织名字，作用域与链接属性分别控制可见范围和跨文件实体身份

名词解释