小谈声明(Declaration)与定义(Definition)

发表于:2007-05-25来源:作者:点击数: 标签:小谈DeclarationDefinitio声明定义
小谈声明(Declaration)与定义(Definition) -----written by kernelxu( kernelxu@hotmail.com ) -----大部分内容来自博客小鱼 开发 手记的文章《变量的定义与声明的区别》 ( http://blog.codelphi.com/leven/archive/2005/06/16/44793.aspx ) 今天读到

小谈声明(Declaration)与定义(Definition)


-----written by kernelxu(kernelxu@hotmail.com)
-----大部分内容来自博客小鱼开发手记的文章《变量的定义与声明的区别》
    (
http://blog.codelphi.com/leven/archive/2005/06/16/44793.aspx


今天读到林锐的书《高质量C++/C编程指南》,对其中的声明和定义内容颇有微辞。 声明(Declaration)用于说明每个标识符的含义,而并不需要为每个标识符预存储空间。预留存储空间的声明称为定义(Definition)。声明的形式为:声明说明符 声明符声明符是由存储类说明符和类型说明符组成的。

1、变量的声明有两种情况: 一种是需要建立存储空间的。
   例如:int a 在声明的时候就已经建立了存储空间。
2、另一种是不需要建立存储空间。
   例如:extern int a 其中 变量a是在别的文件中定义的。

例一:
Declaration.
A construct which associates attributes to a variable name or function. No storage is reserved. For example:
extrn int a;
extrn char c;
variable declaration A structure decleration could look like:

 Definition.
Variable definition is a declaration with storage allocation.

struct per_rec

    int age;
    char *surname;
    char *firstname;

};


int a;
char c;
struct per_rec person;

A construct which specifies the name,parameters and return type of a function. For example a function definition would be:

long sqr(int num)
{
     return(num*num);
}


前者是"定义性声明(defining declaration)"或者称为"定义(definition)",而后者是"引用性声明(referncing declaration)" 。从广义的角度来讲 声明中包含着定义,但是并非所有的声明都是定义,例如:int a 它既是声明,同时又是定义。然而对于 extern a 来讲它只是声明不是定义。它可以在同一源程序或不同的源程序中重复声明。一般的情况下我们常常这样叙述,把建立空间的声明称之为"定义",而把不需要建立存储空间称之为"声明"。很明显我们在这里指的声明是范围比较窄的,也就是说非定义性质的声明。
例如:在主函数中
 

int main()

    int a;         //这里是定义(分配空间的声明),它不能重复出现
                    //这里若写extern int a;或 int a;在VC6.0中编译均报错重复定义

                    //(redefinition)
                                         
                    //这里写int a;在DEV-C++中编译报错重复声明(redeclaration)
                    //这里写extern int a;在DEV-C++中编译、运行均无问题
    extern int A;  //这是个声明而不是定义,声明A是一个已经定义了的外部变量
                    //注意:声明外部变量时可以把变量类型去掉如:extern A;
    dosth();       //执行函数

int A;            //是定义,定义了A为整型的外部变量

看来定义还是声明有时与编译器的处理也有关系。

外部变量的"定义"与外部变量的"声明"是不相同的,外部变量的定义只能有一次,它的位置是在所有函数之外,而同一个文件中的外部变量声明可以是多次的,它可以在函数之内(哪个函数要用就在那个函数中声明)也可以在函数之外(在外部变量的定义点之前)。系统会根据外部变量的定义(而不是根据外部变量的声明)分配存储空间的。对于外部变量来讲,初始化只能是在"定义"中进行,而不是在"声明"中 。
所谓的"声明",其作用,是声明该变量是一个已在后面定义过的外部变量,仅仅是在为了"提前"引用该变量而作的"声明"而已。 extern 只作声明,不作任何定义 。

用static来声明一个变量的作用有二:
(1) 对于局部变量用static声明,则是为该变量分配的空间在整个程序的执行期内都始终存在。
(2) 外部变量用static来声明,则该变量的作用只限于本文件模块。

进一步内容可查看: http://www-ccs.ucsd.edu/c/declare.html

 

例二:

原文转自:http://www.ltesting.net

评论列表(网友评论仅供网友表达个人看法,并不表明本站同意其观点或证实其描述)