對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