【C】变量定义(Definition)与声明(Declaration)

含义

  • 声明(Declaration)*:告诉编译器变量或者函数的信息,例如变量的类型(type)、命名(name)
  • 定义(Definition)*: 为变量或者函数分配存储空间

变量(Variable)

对于局部变量(定义在函数或者代码块中的),声明和定义可以认为是等同的,因为声明变量的同时会为变量分配存储单元,即便在严格意义上认为局部变量的声明和定义是不同的,但是两个过程是不可拆分的,即无法只声明一个局部变量。对于全局变量(定义在函数外)来说,声明和定义是要做区别的,诸如int i, static int i这样的代码,变量的声明和定义是在一起的,即执行完代码之后,变量已经有了对应的存储单元。但是如果加上 extern 修饰符extern int i,此时就仅仅是对变量的声明了,这个过程是不分配存储空间的, extern 会告诉编译器我的定义在其它的地方,你先使用我这个声明,等到编译时再链接到我的定义。

函数(functions)

int a(int i);
上面的只是声明(declare)了一个函数a,该声明描述了函数a的返回值类型(return type),函数命名(name),参数(parameters)的个数以及类型。当我们声明完变量a之后,编译器已经知道了函数a信息,但是并没有为函数分配空间,当我们为函数加上函数体(body)之后,函数才真正的被定义(define),如下,此时函数才有了对应的存储单元,执行该函数会返回1.

1
2
3
int a(int i) {
return 1;
}

在程序中,对同一个函数,可以有多次的声明(没有函数体),但只能有一次的定义(带函数体部分)。需要注意的一点是函数声明默认的存储类(storage class)是 extern 的,但函数的定义并不是。