定义和声明

 

1. 变量的定义、声明

变量的声明有两种情况：

一种是需要建立存储空间的。例如：int  a。在声明的时候就已经建立了存储空间。这种声明是"定义性声明(defining declaration)"，即我们平时所说的“定义”。

另一种是不需要建立存储空间的，只是告诉编译器某变量已经在别处定义过了。例如：extern int a。其中，变量a是在别处定义的。这种声明是"引用性声明(referncing declaration)"，即我们平时所说的“声明”。

 

从广义的角度来讲，声明中包含着定义，但是并非所有的声明都是定义。即，定义性声明既是定义又是声明，而引用性声明只是声明。例如：int a。它既是声明，同时又是定义。然而对于 extern int a 来讲，它只是声明不是定义。

 

一般的情况下我们常常这样叙述，把建立空间的声明称之为”定义”，而把不需要建立存储空间的称之为”声明”。很明显这里指的声明是范围比较窄的，也就是说引用性的声明。

 

例子：

int a; //定义性声明，分配存储空间，初值不确定

int b = 0; //定义性声明，分配存储空间，赋初值

extern int c; //引用性声明，不分配存储空间，只是告诉编译器这个变量已经在别处定义过了

 

2. 函数的定义、声明

函数的定义和声明也是一样，定义需要分配存储空间；声明只是告诉编译器这个函数已经在别处定义过了。

函数的定义和声明比较好区分。有函数体的即为定义，不带函数体即为声明。

 

例子：

//声明

double sqrt(double x);

 

//定义

double sqrt(double x)

{

          return x*x;

}

 

3. 定义与声明的区别

（1）是否需要分配存储空间。

（2）在一个作用域中可以重复声明，但不能重复定义。这是由（1）决定的，可以重复几次告诉编译器某个变量、函数已经在别处定义了，但不能重复多次地让编译器为同一个变量、函数分配不同的存储空间。