为何C语言中变量需extern修饰，函数却无需？

在C语言中，文件作用域的变量和函数默认都具备外部链接性，但引用其他位置定义的变量必须显式使用extern关键字，函数却无需额外标记。这一差异可以从两个核心问题展开分析：

一、函数声明有无extern为何无区别？ #

1. 历史原因 #

C语言早期版本（如K&R C）中，函数声明的语法就默认隐含extern属性。当时甚至允许简化的函数声明（仅写func();），编译器会自动将其识别为外部函数的声明。这种设计被后续标准C继承，使得extern在函数声明中成为可选关键字，无需显式书写。

2. 客观需求 #

函数的声明和定义语法边界清晰：函数定义必须包含函数体（如void func() {}），而声明仅需函数签名（如void func();）。编译器可以通过是否存在函数体轻松区分二者，因此不需要额外关键字标记“这是外部函数的声明”。即便省略extern，编译器也不会将函数声明误判为定义。

二、变量声明为何必须区分extern？ #

1. 历史原因 #

在K&R C中，文件作用域的变量如果没有初始化器（如int i;），会被视为暂定定义（tentative definition），最终在链接阶段会被解析为实际定义。当时的设计是为了简化变量使用，允许在多个文件中书写相同的暂定定义，链接时自动合并为一个实例。ANSI C规范了这一行为，但保留了暂定定义的规则，因此必须通过extern明确标记“这只是对外部变量的引用，而非新的定义”。

2. 客观需求 #

变量的声明和定义语法高度相似：int i;既可以是暂定定义（后续会被实例化为实际定义），也可能被开发者当作外部变量的声明。如果默认隐含extern，开发者想要定义变量时必须显式初始化（如int i = 0;），会大幅增加使用复杂度。

同时，C语言允许多个文件存在同名的暂定定义，但最终只能有一个实际定义。使用extern可以明确区分“引用外部变量”和“定义变量（暂定或实际）”，避免链接阶段出现重复定义错误。

示例验证 #

通过两个编译单元的测试可以直观看到差异：

tu1.c #

// tu1.c
int i; // 暂定定义，链接时会被实例化为实际定义
void func(); // 隐式包含extern的函数声明

int main() {
    func();
    return 0;
}

tu2.c #

// tu2.c
int i; // 另一个暂定定义，与tu1.c的i冲突
void func() {
    printf("%d\n", i);
}

编译命令：gcc tu1.c tu2.c -o test
此时会触发链接错误：multiple definition of 'i'

若将tu1.c中的int i;改为extern int i;，则编译链接正常——此时tu1.c中的i是对tu2.c中定义的i的引用，不再生成新的定义。

若变量与函数逻辑一致会引发的问题 #

如果变量声明默认隐含extern，会带来两个核心问题：

• 破坏C语言的传统使用习惯：大量旧代码依赖无初始化的全局变量作为暂定定义，修改规则会导致这些代码无法编译。
• 增加变量定义的复杂度：开发者必须显式初始化才能定义全局变量，无法再使用简洁的int i;形式。

C与C++中const全局变量的链接性差异 #

• C语言：const全局变量默认具备外部链接性，多个文件中若存在const int i;会引发重复定义错误，必须用extern const int i;来引用外部定义。
• C++语言：const全局变量默认具备内部链接性，每个文件中的const全局变量都是独立的实例，仅当显式添加extern时才会变为外部链接性。这是C++为减少命名冲突而做的设计优化。

内容的提问来源于stack exchange，提问作者Lover of Structure