C语言中的定义与声明

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）决定的，可以重复几次告诉编译器某个变量、函数已经在别处定义了，但不能重复多次地让编译器为同一个变量、函数分配不同的存储空间。