c - C中同名的外部变量和全局变量

Question

我想弄清楚如果在某个程序中我们会有这样的情况会发生什么:

extern int x;

void foo(){...}
void bar(){...}

void main(){
foo();
bar();
}
int x=0;

那么假设会发生什么？为什么允许有两个这样的同名变量？它们不同吗？

Answer 1

它们不是“两个”变量。它们相同。

extern int x;

是x的声明。

和

int x=0;

提供x 的定义。这是完全正确和有效的。

---

您可以有多个声明，例如:

extern int x;
extern int x;

也是，它也会编译。

请注意，当您为同一标识符提供多个声明时，规则会有些复杂。请参阅:6.2.2 Linkages of identifiers了解详情。 参见 static declaration of m follows non-static declaration举个例子。