extern：声明共享实体，而非重复分配

声明告诉编译器如何使用

extern int counter; 通常声明一个已有或将由其他位置定义的变量，不在这里提供变量定义。编译当前源文件时，编译器知道它的类型并可生成访问代码；链接程序时，还需要找到符合规则的实际定义。extern 不会让链接器凭空生成一个缺失变量。

常用组织方式是在头文件写声明，在一个源文件写 int counter = 0;。源文件本身也包含该头文件，让编译器检查声明与定义类型一致。示例将两者放在一个独立程序中演示关系，但真正的跨文件工程应保持同样的单一定义结构。

看到初始化器要重新判断

命名空间作用域的 extern int counter = 0; 是定义，不是“更明确的声明”。把它放进普通头文件后被多个翻译单元包含，会形成多份非 inline 定义。头文件保护只阻止同一翻译单元重复包含，不能合并不同翻译单元的定义。

函数的普通声明本身通常就具有外部链接，不需要为了跨文件调用而机械地添加 extern。另一方面，链接描述名字是否指向同一实体，作用域描述名字在哪里能被查找；一个局部 extern 声明不会把那个名字的可见范围自动扩展到全文件。

const 与共享常量

普通非 volatile 的命名空间 const 变量默认常有内部链接，除非存在 extern、inline 或先前外部链接声明等情况。希望共享一个常量对象时，可以在头文件写 extern const int limit;，并在包含该声明的源文件写 const int limit = 10;。

C++17 的 inline 变量适合直接在头文件提供一个全程序共享实体的定义；constexpr 与是否需要对象身份也要分别考虑。公开可变全局状态会增加依赖和并发负担，所以 extern 是组织已有共享实体的工具，不是鼓励把所有状态都变成全局。

最低标准 C++11 · 完整程序 · 下载 .cpp

#include <cassert>
#include <iostream>

extern int counter;
extern const int limit;

void increment() {
    if (counter < limit) ++counter;
}

int counter = 0;
const int limit = 2;

int main() {
    increment();
    increment();
    increment();
    assert(counter == 2);
    std::cout << counter << ' ' << limit << '\n';
}

在本地编译

g++ -std=c++11 -Wall -Wextra -Wpedantic -pthread basics-extern.cpp -o example && ./example

预期结果

2 2

CHECK YOUR UNDERSTANDING

合上答案，试着解释。

一个头文件写 int total = 0;，被两个源文件包含导致重复定义。请给出 C++11 下的声明、定义放置方案。

继续查证

• cppreference：Storage duration 与 extern 链接规则
• C++ 工作草案 [basic.stc]

标准草案链接会随工作草案更新；本文版本标记对应示例最低要求，不表示草案中的所有新规则都适用于旧标准。