Chapter 9：Memory Models and Namespaces

为什么“变量在哪里”至少包含三个问题

问一个名字“在哪里”可能是在问：源代码哪个区域能查到它（作用域）；另一个翻译单元能否引用同一实体（链接性）；对象从何时构造到何时销毁（存储期/生命周期）。三者相关但不等价。局部 static 名字只在块内可见，对象却活到程序结束；动态对象可能没有全局名字，却一直活到 owner 释放。

分离编译让接口与实现独立变化

分离编译把程序拆为多个源文件，每个源文件经预处理形成翻译单元并独立编译成目标文件，最后链接。头文件共享声明和必要类型定义，不是独立运行单元。

#ifndef COUNTER_HPP
#define COUNTER_HPP
 
int next_count();
 
#endif

include guard 防止同一翻译单元重复展开，但不能防止普通外部定义在多个翻译单元各自产生实体。头文件应尽量稳定、最小，只暴露调用者真正需要的契约。

#include "counter.hpp"
 
int next_count() {
    static int count{0};
    return ++count;
}

#include "counter.hpp"
#include <iostream>
 
int main() {
    std::cout << next_count() << '\n';
}

counter.cpp 与 main.cpp 是两个翻译单元。main 只根据声明编译调用；counter.o 提供定义；链接命令必须同时包含两个目标文件。

声明与定义控制符号数量

声明介绍名字和类型，定义创建函数体或对象实体。extern int count; 通常只是声明，某个源文件需提供唯一 int count{0}; 定义。把外部对象定义放在头文件会让每个翻译单元都生成一份，触发重复定义。

inline 函数、类定义和模板可在多个翻译单元出现一致定义；普通非 inline 函数/外部对象通常只能有一个程序级定义。ODR 违反有时由链接器报告，有时不要求诊断，因此不能只依赖构建成功。

存储期描述对象存在多久

自动存储期对象在进入块时构造、离开块时销毁；静态存储期对象在程序期间存在；动态对象由 new 创建并由 delete/owner 结束。局部 static 只初始化一次，后续调用复用同一状态。

int calls() {
    int perCall{0};          // automatic storage duration
    static int total{0};     // static storage duration
    ++perCall;
    return ++total;
}

perCall 每次都是新对象，total 跨调用共享。共享状态会引入测试隔离与并发问题；局部 static 的生命周期长不等于任意线程访问自动安全。

scope、storage duration 与 linkage 正交

块局部变量通常无链接性；命名空间对象可能有 external linkage，让多个翻译单元引用同一实体，也可能通过 static 或 unnamed namespace 获得 internal linkage，让每个翻译单元拥有独立实体。

关键字 static 在局部对象上改变存储期，在 namespace 级名字上可改变链接性，在 class 成员上又表达全类共享。看到 static 先问位置和具体属性，不能套用一句“全局变量”。

内部链接适合文件私有实现

不需要跨翻译单元共享的 helper 和状态可放 unnamed namespace，减少外部符号污染。若两个源文件各有同名内部对象，它们是两个不同实体；地址和状态不共享。

namespace {
int local_counter{0};
 
void trace_local() {
    ++local_counter;
}
}  // unnamed namespace

若需求是全程序唯一计数器，internal linkage 就是错误边界；应由一个模块拥有外部或封装实体，并让调用者通过接口访问。

namespace 管理名字而不是对象生命

命名空间组织相关声明并避免冲突。限定名 audio::open 明确来源；namespace alias 缩短长路径；using declaration 只引入特定名字；using directive 让整个命名空间参与查找，扩大歧义面。

namespace metrics {
double average(const double* values, int count);
}
 
double result = metrics::average(data, size);

namespace 可以跨文件扩展，声明仍需遵守定义与链接规则。名字位于 namespace 不会自动隐藏实现，也不会改变对象存储期。

四类符号故障要看不同证据

先预测故障属于编译、链接还是查找：缺定义与重复定义通常到链接阶段；两个 internal 对象不会报错但状态不共享；using directive 歧义在名字解析/编译阶段出现。保存每个编译命令、目标文件和最终链接命令。

三步审计多文件状态

小结

• 分离编译让翻译单元独立生成目标文件，头文件共享声明而非运行实体
• 声明介绍名字，定义创建实体；ODR 约束普通定义数量与多处定义一致性
• scope 决定名字哪里可见，linkage 决定声明是否指同一实体，storage duration 决定对象活多久
• static 的含义依上下文变化，internal linkage 会让不同翻译单元拥有独立状态
• namespace 组织名字和查找，不管理对象生命周期；头文件不应扩散 using directive

名词解释