C++ 内部链接与外部链接
2009年03月12日 星期四 11:07
在说内部连接与外部连接前,先说明一些概念。 1.声明 以下都是声明: int foo(int,int); //函数前置声明 typedef int Int; //typedef 声明 class bar; //类前置声明 extern int g_var; //外部引用声明 class bar; //类前置声明 typedef int Int; //typedef 声明 extern int g_var; //外部引用声明 friend test; //友员声明 using std::cout; //命名空间引用声明 friend test; //友员声明 using std::cout; //命名空间引用声明 int foo(int,int); //函数前置声明
在同一个作用域中你可以多次重复这些声明。
有两种声明不能重复,那就是类成员函数及静态数据成员的声明
class foo { static int i; static int i;//不可以 public: int foo(); int foo();//不可以 }; 2.定义 在同一作用域中不可重复定义一个实体。 以下都是定义: int y; class foo {...}; struct bar {...}; foo* p; static int i; enum Color{RED,GREEN,BLUE}; const double PI = 3.1415; union Rep{...}; void test(int p) {}; foo a; bar b; 3.编译单元 4.自由函数 下面来看内部连接和外部连接 以下情况有内部连接: a)所有的声明 b)命名空间(包括全局命名空间)中的静态自由函数、静态友元函数、静态变量的定义 c)enum定义 d)inline函数定义(包括自由函数和非自由函数) e)类的定义 f)命名空间中const常量定义 g)union的定义
外部连接:在一个多文件程序中,如果一个名称在连接时可以和其它编译单元交互,那么这个名称就有外部连接。 以下情况有外部连接: a)类非inline函数总有外部连接。包括类成员函数和类静态成员函数 b)类静态成员变量总有外部连接。 c)命名空间(包括全局命名空间)中非静态自由函数、非静态友元函数及非静态变量 下面举例说明: a)声明、enum定义、union定义有内部连接 所有的声明、enum定义及union定义在编译后不会产生连接符号,也就是在不同编译单元中有相同名称的声明及enum、union定义并不会在连接时发生发现多个符号的错误。
b)命名空间中静态自由函数、静态友元函数、静态变量、const常量定义有内部连接
在全局命名空间中,main.cpp中定义了静态变量i,常量k,及静态自由函数foo等,这些都有内部连接。如果你将这些变量或函数的static或是const修饰符去掉,在连接时就会出现multiply defined symbols错误,它们与a.cpp中的全局变量、全局函数发生冲突。
1.类的定义有内部连接。如果不是,想象一下你在4个cpp文件中include定义了类Base的头文件,在4个编译单元中的类Base都有外部连接,在连接的时候就会出错。 看下面的例子:
在这个例子中,main.cpp与a.cpp中都有class B和class D的定义,但在编译这两个cpp文件时并不发生link错误。 2.类的非inline成员函数(一般,静态,虚拟都是)总有外部连接,这样当你include了某个类的头文件,使用这个类的函数时,就能连接到正确的类成员函数上,继续以上面为例子,如果把a.cpp中的struct D改为 struct D //类定义 { int d; void foo(); //类成员函数声明 }; void D::foo() //类成员函数定义,外部连接 { cout << " D::foo in a.cpp" <<endl; }
这时main.cpp与a.cpp中的D::foo都有外部连接,在连接就会出现multiply defined symbols错。 3.类的静态数据成员有外部连接,如上例的B::s_i,这样当你在main.cpp中定义了类静态数据成员,其它编译单元若使用了B::s_i,就会连接到main.cpp对应编译单元的s_i。 d)inline函数总有内部连接,不论这个函数是什么函数
如果你的Base类是定义在Base.h中,而Base的inline 函数是在Base.cpp中定义的,那么在main.cpp中include "Base.h"编译不会出现问题,但在连接时会找不到函数k,所以类的inline函数最好放到头文件中,让每一个包含头文件的cpp都能找到inline函数。
现在对c++中的连接有了一个认识,能清楚的知道是什么原因产生连接时错误。当你在连接时产生连接不到的错误,这说明所有的编译单元都没有这个实体的外部连接;当你在连接时发现有多个连接实体,这说明有多个编译单元提供了同名的有外部连接的实体。同时,在进行程序设计时,也要注意不要使只有本编译单元用到的函数、类、变量等有外部连接,减少与其它编译单元的连接冲突。 |
转载于:https://blog.51cto.com/zhanglianpin/1675069