C++模板为什么不支持分离编译?

最新推荐文章于 2023-01-06 23:41:31 发布

转载最新推荐文章于 2023-01-06 23:41:31 发布 · 323 阅读

C++ STL 专栏收录该内容

23 篇文章

订阅专栏

探讨C++模板为何在分离编译环境下出现问题，解析模板实例化过程与编译器、连接器的角色。

C++模板为什么不支持分离编译?

首先，一个编译单元（translation unit）是指一个.cpp文件以及它所#include的所有.h文件，.h文件里的代码将会被扩展到包含它的

.cpp文件里，然后编译器编译该.cpp文件为一个.obj文件（假定我们的平台是win32），后者拥有PE（Portable Executable，即windows

可执行文件）文件格式，并且本身包含的就已经是二进制码，但是不一定能够执行，因为并不保证其中一定有main函数。当编译器将一

个工程里的所有.cpp文件以分离的方式编译完毕后，再由连接器（linker）进行连接成为一个.exe文件.

举个例子:


//----- test.h  -----//
 
void f(); //这里声明一个函数f
 
// ----- test.cpp -----//
 
#include"test.h"
 
void f()
{
	//do something.
} //这里实现出test.h当中生命的f函数.
 
 
// ----- main.cpp -------//
 
#include"test.h"
 
int main()
{
	f(); //调用f，f具有外部连接类型.
}

在这个例子中，test.cpp和main.cpp各自被编译成不同的.obj文件(就叫他们test.obj和main.obj吧),在main.cpp中，调用了f函数，然

而当编译器编译main.cpp时，它所仅仅知道的只是main.cpp中所包含的test.h文件中的一个关于void f()的声明,所以，编译器将这里

的f看作外部连接类型，既认为它的函数实现代码在另一个.obj文件中，本例也就是test.obj，也就是说，main.obj中实际没有关于f函

数的哪怕一行二进制代码，而这些代码实际存在于test.cpp所编译成的test.obj当中. 在main.obj中对f的调用只会生成一行call指令，

像这样:

call f[C++中的这个名字当然是经过mangjing处理过的]

在编译时，这个call指令显然是错误的，因为main.obj中并无一行f的实现代码那怎么办？这就是连接器的作用了，连接器负责在它

的.obj当中(test.obj)寻找f的,找到以后将call f这个指令的调用地址换成实际的f的函数进入点地址.需要注意的是: 连接器实

际上将工程里的.obj"连接"成了一个.exe文件，而它最关键的任务就是上面说的，寻找一个外部连接符号在另一个.obj中的地址，然

后替换原来的"虚假"地址. 关键就在于:

编译main.cpp的时候，编译器不知道f的实现，所以当碰到对它的调用时，只是给出一个指示，指示连接器应该为它寻找f的实现体. 这

也就是说main.obj中没有关于f的任何一行二进制代码.

然后编译test.cpp的时候，编译器找到了f的实现. 于是乎f的实现出现在了test,obj当中.

连接时，连接器在test.obj中找到f的实现代码(二进制)的地址(通过符号导出表). 然后将main.obj中悬而未决的call xxx地址改为f实

际的地址.完成好，我们再来看模板的情况: 首先我们应该知道模板函数的代码其实并不能直接编译成二进制代码.其中要有一个"实例

化"的过程:


//-------------test.h----------------//
 
template<class T>
 
class A
 
{
 
public:
 
void f(); // 这里只是个声明
 
};
 
 
 
//---------------test.cpp-------------//
 
#include”test.h"
template<class T>
 
void A<T>::f() // 模板的实现
 
{
…//do something
}
 
//---------------main.cpp---------------//
 
#include”test.h”
int main()
{
A<int> a;
f(); // #1
 
}