本文介绍了解决C++模板代码中定义与实现分离的问题，提出了两种方法：一种是在调用模块中直接包含实现文件；另一种是创建独立的实现文件，并显式实例化模板。
关于c++中类的模板 ，惯常的用法都是把实现和定义放在头文件里了事。这样的问题是，加大了头文件的长度，减低了模板代码的可读性，还有就是破坏了面向对象的隐藏实现的规则。下面就是这种问题的两个解决方案的总结（取自codeproject http://www.codeproject.com/cpp/templatesourceorg.asp）：
假设模板代码如下：
//
模板定义 a.h
#include
<
stdio.h
>
template
<
class
tType
>
class
TTEST
...
{
private: tType i ; public: void output();
}
;
//
模板实现 a.cpp
#include
"
a.h
"
template
<
class
tType
>
void
TTEST
<
tType
>
::output()
...
{ printf("output: ") ;}
//
调用模块 test.cpp
#include
"
a.cpp
"
int
main()
...
{ TTEST<int> t ; t.output(); return 1 ;}
注意调用模块test.cpp中，不要包含头文件a.h直接包含a.cpp，这样就能够编译成功。这是由于编译器要建立 TTEST<int> 这个类型需要模板实现，但从头文件里没找到，所以它会认为实现在其它编译单元中，但它不会报错，而把找实现部分的工作留给了linker。linker同样也是找不到实现，因此就不能生成TTEST<int>。上述第一种解决方法
直接包含了实现文件，让compiler直接找到定义和实现，这样的效果跟把定义和实现都放在a.h里是一样的。
第二中方法，类似第一种，只是test.cpp只包含a.h，然后新增一个文件impl.cpp内容如下：
//
impl.cpp
#include
"
a.cpp
"
template
class
TTEST
<
int
>
;
如此一来，也能达到定义与实现分离的目的。只是也要包含a.cpp，另外随着模板实例化不同的类型，impl,cpp中的类型也要跟着改变，有点笨拙的方法。
以上代码在gcc 3.4.4中编译通过。
扫一扫
4万+
到【灌水乐园】发言
