对C++编译器而言，当调用函数的时候，编译器只需要看到函数的声明。当定义类类型的对象时，编译器只需要知道类的定义，而不需要知道类的实现代码。因此，因该将类的定义和函数声明放在头文件中，而普通函数和类成员函数的定义放在源文件中。
但在处理模板函数和类模板时，问题发生了变化。要进行实例化模板函数和类模板，要求
编译器在实例化模板时必须在上下文中可以查看到其定义实体；而反过来，在看到实例化模板之前，编译器对模板的定义体是不处理的——原因很简单，编译器怎么会预先知道 typename 实参是什么呢？因此模板的实例化与定义体必须放到同一翻译单元中。
以下是模板声明和定义的两种方法：
1）可以通过在声明函数模板或类模板的头文件中添加一条#indlude指示定义可用，引入了包含相关定义的源文件。
//set.h file
#ifndef _SET_H_J
#define _SET_H_J
#include <list>
template<class T>
class Set_j
{
public:
std::size_t size();
void insert(const T& item);
void remove(const T& item);
bool is_has(const T& item);
private:
std::list<T> m_list;
};
#include "set.cpp"
#endif
// set.cpp file
#ifndef _CPP_SET_J
#define _CPP_SET_J
#include "set.h"
#include <algorithm>
template<class T>
std::size_t Set_j<T>::size()
{
return m_list.size();
}
template<class T>
void Set_j<T>::insert(const T& item)
{
if(!is_has(item))
{
m_list.push_back(item);
}
}
template<class T>
void Set_j<T>::remove(const T& item)
{
std::list<T>::iterator it = std::find(m_list.begin(),m_list.end(),item);
if(it != m_list.end())
{
m_list.erase(it);
}
}
template<class T>
bool Set_j<T>::is_has(const T& item)
{
return (std::find(m_list.begin(),m_list.end(),item) != m_list.end());
}
#endif
// main.cpp file
#include <iostream>
#include "set.h"
void main()
{
Set_j<int> test;
std::cout << "size: " << test.size() << std::endl;
int i = 10;
test.insert(i);
test.insert(i+1);
test.insert(i+2);
test.insert(i+2);
std::cout << "size: " << test.size() << std::endl;
test.remove(i+2);
std::cout << "size: " << test.size() << std::endl;
}
2)通过关键字export实现。
C++理论上支持模板的分离编译（也就是支持export关键词），但是实际上VC2005，vs2010均不支持，
在 VS 2008 中，export 关键字在 IDE 中被标蓝，表示 VS IDE 认识它，而编译时，会用警告友情提示你“不支持该关键字”。
3)当然就是将定义和实现文件写在一个文件中。
参考文献：
1.C++ Primer