C语言中变量重声明是什么？重声明与重定义有何区别？

你的问题场景 #

你编译这段C代码：

#include <stdio.h>
int main(){
    int i; // 既是声明也是定义
    int i;
    return 0;
}

得到的错误是redeclaration of ‘i’ with no linkage，而非预期的重定义错误，这是因为C语言对局部变量的声明规则有明确限制，下面详细解释。

什么是重声明错误（Redeclaration Error） #

重声明错误是指在同一作用域内，对无链接属性（no linkage，比如局部自动变量）的变量进行重复声明，且违反C语言声明规则时触发的错误。

对于局部自动变量来说，int i;这种写法既是声明（告诉编译器变量存在）也是定义（为变量分配内存）。C标准不允许在同一个块作用域内重复声明这类变量——这相当于试图创建两个同名的局部变量，会导致命名冲突，所以编译器直接抛出重声明错误。

重声明与重定义的核心区别 #

举个重定义的例子：
在file1.c中写：

int global_var = 10;

在file2.c中也写：

int global_var = 20;

链接时就会报multiple definition of ‘global_var’的重定义错误。

而如果是在同一作用域内写：

extern int i;
extern int i;

这属于合法的重复声明，不会报错，因为extern仅做声明，不分配内存。

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