类模板知识点梳理

1. 成员函数的实现
为了定义类模板的成员函数，必须制定该成员函数是一个函数模板，而且还需要使用这个类模板的完整类型限定符，譬如Stack<T>::Push

template
void Stack::Push(T const& elem)
{
    elems.push_back(elem);
}

使用类模板时，必须显式的指定模板实参。只有那些被调用的成员函数，才会产生这些函数的实例化代码。对于类模板，成员函数只有在被使用的时候才会被实例化。 另一方面，如果类模板中含有静态成员，那么用来实例化的每种类型，都会实例化这些静态成员。


2. 类模板的特化
为了特化一个类模板，必须在起始处声明一个template&lt;&gt;，接下来声明用来特化类模板的类型。这个类型被用作模板实参，且必须在类名的后面直接指定：

template <>
class Stack {
...
}

3. 局部特化
类模板可以被局部特化。可以在特定的环境下指定类模板的特定实现，并且要求某些模板参数仍然必须由用户来定义。例如：

template <typename T1, typename T2>
class MyClass {
...
};

就可以有下面几种局部特化：

template <typename T>
class MyClass<T, T> {
...
};


template <typename T>
class MyClass<T, int> {
...
};


template <typename T1, typename T2>
class MyClass<T1*, T2*> {
...
};