分散在多个编译单元中的同名对象哪些当做声明,哪些当做定义,在C89之前有4种实现,以下按照限制越来越严格给出:
Common 不管声明中是否有extern,对象都当成外部链接的,并当成定义。当这些模块合并的时候,同名的所有定义都定位到内存中同样的地址。Common这个称呼来自Fortran的common storage。这个模型是Dennis Ritchie的原意。
Relaxed Ref/Def 声明中的extern指明纯粹的引用,而不管该声明位于函数作用域之外还是之内。在所有翻译单元中,至少要存在一个定义,允许存在多个。外部定义就是文件作用域中不带存储类区分符的对象声明。没有对应定义的引用是个错误。有些实现对于用extern声明的但没有在代码中用到的对象不会为其产生引用。Unix的C编译器和链接器实现这个模型,称为C语言的common extension。
Strict Ref/Def 和Relaxed
Ref/Def差不多,只是只允许1个定义。K&R指定本模型。
Initialization 本模型需要显式初始化来定义存储,其他声明都作为引用。
图6.1 4种模型比较
|
模型 |
文件1 |
文件2 |
|
Common |
extern int i; int main() { i=1; second(); } |
extern int i; void second() { third(i); } |
|
Relaxed Ref/Def |
int i; int main() { i=1; second(); } |
int i; void second() { third(i); } |
|
Strict Ref/Def |
int i; int main() { i=1; second(); } |
extern int i; void second() { third(i); } |
|
Initialization |
int i=0; int main() { i=1; second(); } |
int i; void second() { third(i); } |
来自 “ ITPUB博客 ” ,链接:https://blog.itpub.net/8182517/viewspace-663798/ ,如需转载,请注明出处,否则将追究法律责任。