C语言多文件编译下如何正确演示变量内外链接的差异

• 缺少跨文件的变量声明：C语言采用单文件独立编译的机制，编译器编译scope.c时完全不会读取scope_other.c的内容，直接在main中使用external、internal属于未声明标识符，现代gcc默认配置下会在编译阶段就抛出隐式声明的错误，根本走不到链接环节，自然没法演示两种链接属性的差异。
• 演示逻辑触发错位：你预期的“访问static修饰的全局变量会报错”本质是链接阶段的符号查找失败，但因为编译阶段就被卡壳，根本触发不了这个核心报错。

scope_other.c的代码不需要做任何改动，保持原有定义即可：

// scope_other.c
int external = 7;   // 未加static的全局变量：外部链接，符号会导出到全局符号表，全程序可访问
static int internal = 6;   // 加static的全局变量：内部链接，符号仅在本文件内可见，不对外导出

只需要调整scope.c，补上必要的跨文件变量声明：

// scope.c
#include<stdio.h>

// 显式告知编译器：这两个变量的定义在其他编译单元，仅做声明不分配内存，留待链接阶段绑定
extern int external;
extern int internal;

int main(void)
{
    printf("External: %d\n", external);
    printf("Internal (static): %d\n", internal);
    return 0;
}

用原来的命令gcc scope.c scope_other.c -o scope编译时，会出现符合预期的结果：

• 编译阶段两个文件都能顺利生成目标文件：因为编译器只识别当前文件内的extern声明，不会检查其他文件对变量的修饰属性，完全不会提前报错。
• 链接阶段会直接抛出undefined reference to 'internal'的错误，这就是两种链接属性的核心差异体现：
  • 链接器可以在scope_other.o的全局符号表中找到external的定义，顺利完成符号绑定
  • internal因为被static修饰，不会被加入全局符号表，链接器在整个程序范围内都检索不到它的存在，直接报未定义引用
• 如果删掉scope.c中尝试引用internal的代码行，重新编译后程序可以正常运行，输出结果为External: 7。如果把scope_other.c中internal前面的static修饰去掉，整个程序就可以完全正常编译运行，两行打印语句都会输出对应数值，也能反过来验证static对全局变量链接属性的修改作用。

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