变量的双重定义

Question

因为我们知道变量的extern声明可以被初始化。

#include<stdio.h> 

extern int a=5; //will work as both definition and declaration. 
int main() 
{ 

} 

---

为什么这个程序是编译和无差错运行。

extern int a=5; //will work as both definition and declaration. 
int main() 
{ 

} 

int a; // isn't it second definition?? 

Answer 1

C有一个“暂定义”的概念。大多数没有初始化的定义是“暂定的”，所以只要它们不相互冲突，就允许任意数量的定义。在翻译单元结束时，变量的定义基本上成为那些（复合例如，如果一个定义，说的变量是const而另一个说，这是volatile，变量将最终成为双方const和volatile。

有一个初始化的定义是从来没有试探性的，所以只有一个是允许的。