为什么模板类的实现和声明应该在同一个头文件中？谁能举例说明一下？
【问题讨论】：
编译器需要访问整个模板定义（不仅仅是签名），以便为模板的每个实例化生成代码，因此您需要将函数的定义移动到您的头文件中。
更多详情请阅读The Inclusion Model。
【讨论】：
类模板的定义及其成员函数的实现必须对使用不同类型实例化它的每个地方都是可见的。即，为了实例化myTemplate<int>，您需要查看myTemplate 的完整定义和实现。
最简单的方法是将模板的定义及其成员函数放在同一个头文件中，但还有其他方法。例如，您可以将成员函数实现放在单独包含的单独文件中。然后你可以从第一个头文件中包含它，或者只在你需要的地方包含实现文件。
例如，一种做法是在一个 .cpp 文件中为不同的参数集显式实例化模板，并在标题中声明这些实例化 extern。这样，这些实例可以在其他源文件中使用，而不需要模板成员函数的实现可见。但是，除非您包含实现文件，否则您将无法使用其他模板参数集。
即如果您将myTemplate<int> 和myTemplate<std::string> 定义为extern，那么您可以正常使用它们，但如果myTemplate<double> 未定义extern，那么您不能在没有实现的情况下使用它。
【讨论】：
他们不必这样做。
模板定义必须在实例化点（使用它的地方）可见，以便编译器此时可以从模板派生类/函数。
然而，模板类使用两个头文件是极其常见的：
// foo_fwd.hpp
template <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_ {};
这可以加快编译时间。
【讨论】：
【讨论】：