? C++ ? ? 模板 ? ? template ?    发布于 2018-05-05   1357人围观   0条评论

对于普通对象或者函数而言,声明和实现可以分离到*.h和*.cpp(比如说这里写做CommonClass.h和CommomClass.cpp)中去,其中CommonClass.cpp会includeCommonClass.h,因为编译器会根据CommonClass.cpp生成对应CommonClass.obj,由于编译器可以预期类的行为,因此obj文件中会包含实现体对应的二进制代码。如果现有main.cpp使用了该类生成的对象,那么链接器可以在CommonClass.obj找到实现体对应的二进制代码。可是对于模板来说,并不是这样,先看下面这段话。

《C++编程思想》第15章(第300页)说明了原因: 
模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间,它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处,有一机制能去掉指定模板的多重定义。所以为了容易使用,几乎总是在头文件中放置全部的模板声明和定义。

 

上面这段话的意思就是说,只有模板实例化时,编译器才会得知T实参是什么。编译器在处理模板实例化时,不仅仅要看到模板的定义式,还需要模版的实现体。

比如说存在模板CTest, 其类定义式写在CTest.h,类的实现体写在CTest.cpp中。对于模板来说,编译器在处理CTest.cpp文件时,编译器无法预知T的实参是什么,所以编译器对其实现是不作处理的(即CTest.obj中没有为编译器为实现体生成的对应的二进制代码)。

现在有main.cpp真正使用了该模板(比方说,生成模板类的一个对象,并调用其函数),如果定义和实现分离,则编译器可以根据定义式生成模板类的对象(因为此处仅仅需要定义式就知道该对象在内存中需要多少空间并进一步分配了),但是调用对象的函数(即真正使用)需要该函数的定义,由于main.cpp仅仅include了模板的声明(所以只能找到该函数的声明),所以无法找到该函数的定义,此时编译器会寄希望于链接器在其他obj文件(这里就是指CTest.obj文件)中寻找该模板的实现体,但是就像之前说过的,CTest.obj中也没有实现体生成的二进制代码。如果定义和实现是在同一个文件(比如说CTest.h)中,那么编译器在编译时就可以寻找到模板的实现体。这里看下面的三个例子。

例1(定义与实现分离,错误示范)


// CTest.
查看更多