如何解决类模板的分离编译问题？

一模板：

模板不是数据类型，只能算是一种行为集合的表示。编译器在使用模板时，通过更换模板参数来创建数据类型。这个过程就是模板实例化(Instantiation)， 从模板类创建得到的类型称之为特例(specialization)，说白了就是创建了一个新类型。 模板实例化取决于编译器能够找到可用代码来创建特例(称之为实例化要素，point of instantiation)，也就是说，编译器不但要看到模板的声明，还要看到模板的定义。

1. 为什么类模版不能分离编译，这要从模板的实例化过程说起：

    1）以分离形式写出的模版类（以tem.h和tem.cpp为例，另外还有主函数main.cpp），在编译main.cpp时由于只能看到模板声明而看不到实现，因此不会创建新的类型，但此时不会报错，因为编译器认为模板定义在其它文件中，就把问题留给链接程序处理。

    2）编译器在编译tem.cpp时可以解析模板定义并检查语法，但不能生成成员函数的代码。因为要生成代码，需要知道模板参数，即需要一个类型，而不是模板本身。

    3）这样，链接程序在main.cpp 或 tem.cpp中都找不到新类型的定义，于是报出无定义成员的错误。

另外，实例化是惰性的，只有用到该函数时才会去对模版中的定义进行实例化。

举一个明显的例子：

.h文件

template<class K, class V>
class RBTree
{
typedef RBTreeNode<K, V> Node;
public:
RBTree()
:_pRoot(NULL)
{}
~RBTree()
{}

void InOrder()
{
_InOrder(_pRoot);
cout<<endl;
}
void _InOrder(Node* _pRoot);

}

.cpp文件

#include "RBTree.hpp"


template<class K, class V>
void RBTree<K, V>::_InOrder(Node* pRoot)
{
if(pRoot)
{
_InOrder(pRoot->_pLeft);
cout<<pRoot->_key<<" ";
_InOrder(pRoot->_pRight);
}
}

这样就会产生上述问题：

2. 如何解决这个问题？有三种方式：

    1）在实例化要素中让编译器看到模板定义。（即写到一个文件里，声明和实现放在一起）

    2）把类的声明放在 .hpp 文件，类成员函数定义放在 .cpp 文件然后在测试文件 test.cpp 文件中包含连个头文件即：.hpp文件和.cpp 文件即可解决问题。

    3）使用export关键字。

    前二种方法通常称为包含模式，第三种方法则称为分离模式。第一种方法意味着在使用模板的转换文件中不但要包含模板声明文件，还要包含模板定义文件，这样编译器就能看到模板的声明和定义。这样做的缺点是编译文件会变得很大，显然要降低编译和链接速度。第二种方法，通过显式的模板实例化得到类型，也就是将所有的显式实例化过程安放在另外的文件中（比如tem_extend.cpp）。这样新类型不是在main.cpp中产生，而是在tem_extend.cpp中产生，链接器就能够找到它的定义。用这种方法，不会产生巨大的头文件，加快编译速度，而且头文件本身也显得更加“干净”和更具有可读性。但这个方法不能得到惰性实例化的好处，即它将显式地生成所有的成员函数。第三种方法是在模板定义中使用export关键字，剩下的事就让编译器去自行处理了。