C与C++中extern使用差异导致编译结果不同的技术问询

当你在两个不同源文件中声明全局变量、且仅在其中一个文件中定义时，C和C++的编译链接结果会完全不同，咱们用你给出的代码示例来详细说明：

示例代码 #

main.c

#include <stdio.h>
#include "func.h" // 仅包含void print();的声明
int def_var = 10;
int main() {
    printf("%d\n", def_var);
    return 0;
}

func.c

#include <stdio.h>
#include "func.h"
/* extern */int def_var; // C++需要extern但C不需要？
void print() {
    printf("%d\n", def_var);
}

为什么会有差异？ #

1. C语言的处理逻辑

在C标准里，全局变量存在**暂定定义（tentative definition）**的概念：

• 如果全局变量声明没有extern关键字，也没有初始化器（比如int def_var;），会被视为暂定定义
• 当链接器处理整个程序时，如果存在且仅存在一个真正的定义（比如main.c里的int def_var = 10;），所有暂定定义都会被自动当作对这个真正定义的引用，不会触发多重定义错误

所以你在func.c里写int def_var;，C编译器和链接器会自动把它当成extern声明处理，编译链接都能顺利通过。

2. C++语言的处理逻辑

C++标准里直接取消了“暂定定义”的概念，规则更严格：

• 任何不带extern关键字的全局变量声明，哪怕没有初始化器，都会被视为一个定义
• 这时候func.c里的int def_var;会被当作一个定义，和main.c里的int def_var =10;产生冲突，链接器会抛出multiple definition of 'def_var'的错误

因此在C++中，必须显式加上extern关键字（即extern int def_var;），明确告诉编译器这只是一个声明、不是定义，链接器才能找到main.c里的唯一定义，顺利完成链接。

核心差异总结 #

• C：无extern、无初始化的全局变量是暂定定义，链接时自动匹配唯一的真正定义
• C++：无extern的全局变量声明（无论是否初始化）都是定义，会触发多重定义冲突，必须显式用extern声明

内容的提问来源于stack exchange，提问作者Mike van Dyke