为何C语言中全局可重复声明同名变量，局部却不行？

一、全局与局部重复声明差异的原因 #

1. 全局/文件作用域的规则 #

在全局或文件作用域中，像int i;这种未初始化的变量声明属于C标准中的「暂定定义（tentative definition）」。编译器处理这类声明时，会将同一个标识符的所有暂定定义合并为一个单一的定义，最终变量会被默认初始化为0，因此多次重复声明不会触发编译错误。

示例代码（合法）：

#include <stdio.h>

int i;
int i; // 重复的暂定定义，会被合并

int main()
{
    printf("%d", i); // 输出0
}

2. 局部/块作用域的规则 #

在局部（函数或代码块）作用域中，所有不带extern关键字的变量声明都是定义性声明——这类声明会直接为变量分配内存空间。C标准要求同一局部作用域内，同一个标识符不能存在多个定义，因此两次int i;会被判定为重复定义，触发编译错误。

示例代码（非法）：

#include <stdio.h>

int main()
{ 
    int i;
    int i; // 同一局部作用域重复定义，编译报错
    printf("%d", i);
}

二、允许无报错重复声明变量的场景 #

以下几种情况，重复声明变量不会触发编译错误：

• 全局作用域内的多个暂定定义：即多次声明同一变量且不初始化，如int x; int x;，编译器会自动合并为一个定义。
• 使用extern关键字的重复引用声明：extern用于声明一个已存在的变量（不分配内存），只要所有extern声明的变量类型一致，无论在全局还是局部作用域，都可以重复声明。比如：

  extern int num;
  extern int num; // 合法，重复引用声明
  

• 不同作用域的同名变量：比如全局作用域声明int i;，局部作用域再声明int i;，这属于局部变量遮蔽全局变量，是合法的（并非同一作用域的重复声明）。
• 同一作用域内，先定义变量再用extern声明（类型一致）：比如局部作用域内先写int i;，再写extern int i;，编译器会识别为对同一变量的引用，不会报错。

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