編譯器需要訪問整個模板定義(而不僅僅是簽名)，以便為模板的每個實例化生成代碼，因此需要將函數的定義移動到標頭。

欲知更多詳情，請閱讀包含模型.

他們沒必要這么做。

需要的是模板定義在實例化點(使用它的地方)可見，這樣編譯器就可以在此時從模板派生類/函數。

但是，對于模板類使用兩個頭文件是非常常見的：

// foo_fwd.hpptemplate <typename T, typename U> struct Foo;// foo.hpp#include "foo_fwd.hpp"template <typename T, typename U> struct Foo 
{ typedef std::pair<T,U> type; };

這允許那些不需要完整模板定義的人包含一個稍微輕一些的標頭，例如：

//is_foo.hpp#include <boost/mpl/bool.hpp>#include "foo_fwd.hpp"template <typename Z>struct is_foo: boost::mpl::false_ {};
template <typename T, typename U>struct is_foo< Foo<T,U> >: boost::mpl::true_ {};

它可以加快編譯時間。