1. 声明和定义
声明 是将一个名称引入一个程序.
定义 提供了一个实体在程序中的唯一描述.
声明在单个作用域内可以重复多次(类成员除外),定义在一个给定的作用域内只能出现一次. 一个定义就是一个声明,除非:
-
它定义了类的一个静态数据成员.
-
它定义了类的非内联成员函数.
2. 内部连接和外部连接
当一个实现文件(.cpp …)编译时,预处理器(CPP)首先递归的包含头文件,形成一个保含有所有必要信息的单个源文件. 这个源文件称为 编译单元.
内部连接 如果一个名称对于它的编译单元来说是局部的, 并且在连接的时候不可能与其它编译单元中的同样的名称相冲突,则这个名称具有内部连接.即具有内部连接的名称不会被带到目标文件中.
外部连接 在一个多文件程序中,如果一个名称在连接时可以和其他编译单元交互,那么这个名称就具有外部连接. 即具有外部连接的名称会引入到目标文件中,由连接程序进行处理.这种符号在整个程序中必须是惟一的.
具有内部连接的定义包括:
- 加 static 前缀的全局变量定义.如: static int x;
- 枚举类型的定义.如: enum Boolean {NO,YES};
- 类的定义. 如: class Point { int d_x; int d_y; … };
- 内联函数的定义.如: inline int operator==(const Point& left,const Point&right) { … }
具有外部连接的定义包括:
-
非内联的类成员函数.如: Point& Point::operator+=(const Point& right) { … }
-
非内联,非静态的自由函数. 如: Point operator+(const Point& left, const Point&right) { … }
-
非静态的全局定义.
声明本身不会将任何符合引入目标文件,所以声明都是内部连接的.
某些声明可以激活对一个外部连接定义的访问,也许我们会很随便的说这些声明具有外部连接,如:
-
int f();
-
extern int i;
-
class Point { static int s_numPoints; … }; /*类静态数据成员声明具有外部连接, 该数据必须在另一个地方被定义,如: point.c int Point:: s_numPoints; */
还有一些声明即不把什么符号引入目标文件,也不能用来激活对外部连接定义的访问,我们常常称这类声明具有内部连接,
-
typedef int INT;
-
class Point;
-
struct Point;
把一个带有外部连接的定义放在 .h 文件中都会引起错误.由于类的声明和定义都是内部连接的,一般都放在 .h 文件中.