关于C语言extern关键字的三类用法疑惑求解

先搞懂最核心的区别：声明 vs 定义 #

• 声明：告诉编译器“某个标识符（变量/函数）存在，它的类型是什么”，不分配内存，只是给编译器一个“使用许可”。
• 定义：不仅告诉编译器标识符的类型，还会分配内存空间，如果是变量，还会指定初始值（没指定的话全局变量默认初始化为0）。

代码1和代码2的运行差异原因 #

代码1分析 #

#include <stdio.h>

int i; // 这是全局变量的定义，分配内存，默认初始化为0

int main() {
    printf("i = %d\n", i);
    return 0;
}

这段代码里的int i;是全局变量的定义，编译器会为它分配内存，并且全局变量默认被初始化为0。所以运行时能正常输出i = 0，编译链接都不会有问题。

代码2分析 #

#include <stdio.h>

extern int i; // 这只是声明，告诉编译器"有个全局变量i存在"，但不分配内存

int main() {
    printf("i = %d\n", i);
    return 0;
}

这段代码里的extern int i;只是声明，没有实际分配内存。如果单独编译这段代码，链接阶段会报错（比如undefined reference to 'i'），因为链接器找不到i的实际定义。只有当你的程序里还有其他源文件（比如other.c）里写了int i;或者int i = 5;这种定义时，链接器才能找到i的内存，程序才能正常运行。

为什么extern int i = 0;会出现警告？ #

C语言的规则里有一条：如果全局变量的声明带有初始化器，那么它会被当作定义，不管有没有extern关键字。

extern int i = 0;里，你加了extern本来是想声明，但后面的=0是初始化操作，这就触发了“定义”的行为——编译器会为i分配内存并设置初始值0。这时候extern关键字就显得多余且矛盾了，因为它的语义是“声明外部变量”，但实际却做了“定义”的事，所以编译器会给出警告：你用extern声明的同时又初始化，其实是在定义变量，extern没必要加。

正确的写法要么是extern int i;（纯声明），要么是int i = 0;（纯定义），不要把两者混在一起。

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