C++ Templates：类模板

类模板的声明：
如果要声明自己实现的拷贝构造函数和赋值运算符，那么应该这样编写：
template <typename T>
class Stack {
    ...
    Stack (Stack<T> const&);
    Stack<T>& operator= (Stack<T> const&);
    ...
};
这个类的类型是Stack<T>，当在声明中需要使用该类的类型时，必须使用Stack<T>。

只有那些被调用的成员函数，才会产生这些函数的实例化代码，对于类模板，成员函数只有在被使用的时候才会被实例化。
如果类模板中含有静态成员，那么用来实例化的每种类型，都会实例化这些静态函数。
需要在两个靠在一起的模板尖括号之间留一个空格，否则，编译器将会认为是在使用operator>> ：
Stack<Stack<int> > intStackStack;

类模板的特化：
如果要特化一个类模板，还要特化该类模板的所有成员函数。
为了特化一个类模板，必须在起始处声明一个template<> ：
template<>
class Stack<std::string> {
    ...
}
进行类模板的特化时，每个成员函数都必须重新定义为普通函数，原来模板函数中的每个T也相应得被进行特化的类型取代：
void Stack<std::string>::push (std::string const& elem) { ... }

特化的实现可以和基本类模板的实现完全不同。

局部特化：
template <typename T1, typename T2>
class Myclass<T1*, T2*> {
    ...
};
调用：Myclass<int*, float*> mp;

缺省模板实参：
template <typename T, typename CONT = std::vector<T> >
class Stack {
    ...
};

小结：

• 对于类模板而言，只有那些被调用的成员函数才会被实例化。
• 可以用某种特定类型特化类模板。
• 可以用某种特定类型局部特化类模板。
• 可以为类模板的参数定义缺省值，这些值还可以引用之前的模板参数。