ITPub博客

首页 > Linux操作系统 > Linux操作系统 > 声明和定义

声明和定义

原创 Linux操作系统 作者:shine3935 时间:2010-05-27 09:29:51 0 删除 编辑

分散在多个编译单元中的同名对象哪些当做声明,哪些当做定义,在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/ ,如需转载,请注明出处,否则将追究法律责任。

下一篇: restrict关键字
请登录后发表评论 登录
全部评论

注册时间:2010-03-31

  • 博文量
    5
  • 访问量
    4447