C语言头文件中extern int a对比int a的优势（GCC编译器视角）

问题背景 #

之前学习C语言时，通常被推荐在头文件中用extern int a;声明变量，而下面的示例代码在GCC中能正常运行——头文件里直接写int num;（未加extern），配合其他.c文件的定义，编译运行都没问题：

示例代码

sub.h

int num; // 未使用 extern int num;
void change();

sub.c

#include "sub.h"

int num = 1;

void change()
{
    num = 10;
}

main.c

#include <stdio.h>
#include "sub.h"

int main()
{
    printf("before-change: %d\n", num);
    change();
    printf(" after-change: %d\n", num);
} 

编译命令：

gcc main.c sub.c -o app.exe

输出结果：

before-change: 1
 after-change: 10

但仅针对C语言，头文件中使用extern int a相比int a有哪些优势？

核心优势对比 #

在C语言语境下，extern int a是显式的变量声明，而int a属于C标准中的暂定定义（tentative definition），后者依赖编译器的扩展处理才能正常工作。使用extern的优势主要有：

• 语义明确无歧义
  extern直接表明这只是变量的"声明"——告诉编译器变量存在于其他编译单元，不会分配内存。而int a的语义模糊，新手很容易把它当成变量定义，搞不清内存分配的位置，维护代码时容易出错。

• 严格遵循C标准，兼容性更强
  C标准规定一个变量只能有一个定义（分配内存的实体），暂定定义的处理是部分编译器的扩展行为（比如GCC会把多个暂定定义合并成一个）。如果换到严格遵循标准的编译器（如某些嵌入式平台的编译器），多次包含带int a的头文件会触发"多重定义"链接错误，而extern声明是标准明确允许的多次出现，跨平台/编译器兼容性更好。

• 快速定位定义缺失问题
  如果代码中漏掉了变量的实际定义（比如没在任何.c文件里写int a = 1;），使用extern int a时，链接器会直接抛出"未定义的引用"错误，能立刻发现问题。但用int a的话，编译器会自动将其转为一个默认初始化为0的定义，你可能要到运行时才发现变量值不符合预期，排查成本更高。

• 规避重复包含的风险
  即便没加头文件保护（#ifndef），多次包含带extern int a的头文件也不会有任何问题；但如果是int a，在部分编译器下会触发多重定义错误，从根源上避免了这类低级问题。

内容的提问来源于stack exchange，提问作者leotsing