在声明部分出现变量有两种情况:
(1)一种是需要建立存储空间的,如:int a;
(2)另一种是不要建立存储空间的,如:extern int a;
前者是"定义性声明" (defining declaration), 或者称为"定义"(definition);
后者是"引用性声明" (referencing declaration).
广义地说,声明包括定义,但并非所有的声明都是定义.对"int a;"来说,它既是定义又是声明; 对"extern a;"而言,它是声明不是定义.
一般为了叙述方便,把建立存储空间的声明称定义,而不把建立存储空间的声明称为声明.
任何在多文件中使用的变量都需要有与定义分离的声明。在这种情况下,一个文件含有变量的定义,使用该变量的其他文件则包含该变量的声明(而不是定义)
变量的声明和定义是比较容易混淆的概念,因此记住一点,除非有extern关键字,否则都是变量的定义。由此,我们可以归纳出几点好的程序设计风格:
1. 不要把变量定义放入.h文件,这样容易导致重复定义错误。
2. 尽量使用static关键字把变量定义限制于该源文件作用域内,除非该变量被设计成全局的。
例外情况是const变量和typedef类型,在《The C++ Programming Language》9.2 节中说到,const和typedef缺省作用域是局部的,因此不需要static来显式声明。因此,在.h文件中放置const变量定义不会产生问题,编译器会给每个引用该.h文件的源文件产生一份该const变量的局部定义,就像该变量是定义于该源文件中一样。大家也不用太担心编译器这么做会浪费空间,因为编译器优化过程一般会把有相同值的const变量进行合并。
对于static关键字,要多说几句的是,static一般有两种意思,当修饰函数定义里的变量或者类成员变量时,称作静态变量;修饰其他变量时,称作局部变量。为防止混淆,一般不要特意给局部变量加上static关键字。除了static关键字,namespace也可以使变量定义成为局部的。
所以一般设计头文件时候不要把变量的定义放进去。但是可以在头文件中声明一个变量,在用的时候包含这个头文件,当修改变量值的时候就直接修改头文件里的内容,防止发生错误。
总结:
- 变量在使用前就要被定义或者声明。
- 在一个程序中,变量只能定义一次,却可以声明多次。
- 定义分配存储空间,而声明不会。
另外对于函数的声明和定义就不过多讨论了,带有{ }的就是定义,否则就是声明。