C语言extern变量的内部与外部链接判定规则咨询

先明确两个核心概念：

• 外部链接：变量可被当前源文件之外的其他文件访问
• 内部链接：变量仅能被当前源文件内的代码访问

下面结合你提到的规则分两种情况解释：

情况1：变量此前已在文件全局域（所有函数外）被声明为static #

如果在同一个源文件中，你先在全局位置（函数定义之外）用static声明了某个变量，之后再用extern声明这个变量，那么该extern声明的变量会继承static的内部链接属性。

示例代码：

// 全局域的static声明，变量x被限定为内部链接
static int x;

// 后续用extern声明x，x仍保持内部链接，仅能在当前文件使用
extern int x;

这种场景下，即便加了extern，变量也无法被其他源文件访问，因为最初的static已经将它的作用范围锁定在当前文件内。

情况2：变量此前未在全局域被声明为static #

这是常规场景，此时extern声明的变量会具有外部链接属性：

• 若变量已在当前文件全局域（无static修饰）定义过，extern只是对该变量的引用，其他文件可通过extern声明访问它；
• 若变量未在当前文件定义，extern则是声明一个将在其他源文件中定义的外部变量，当前文件可直接使用它。

示例代码（单文件）：

// 当前文件全局域定义y，无static修饰，默认外部链接
int y;

// extern声明y，继承外部链接属性
extern int y;

示例代码（跨文件）：

// 文件1.c：定义外部链接的变量z
int z = 10;

// 文件2.c：通过extern声明访问文件1中的z
extern int z;
printf("%d", z); // 输出10

本质逻辑 #

C语言中，变量的链接属性由第一次全局声明/定义决定。extern本身是引用声明，不会改变变量已确定的链接属性：如果最初的全局声明是static（内部链接），后续extern只是复用该变量；如果最初无static的全局声明，extern就指向一个外部链接的变量。

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