1、关键字typename

引入关键字typename是为了说明：模板内部的标识符可以是一个类型。当某个依赖与模板参数的名称是一个类型时，就应该使用typename。

template<T>
class MyClass{typename T::SubType * ptr;  // typename说明SubType是定义于T内的一种类型，如果不使用typename，SubType会被认为是T的一个静态成员...
};

2、使用this->

对于那些在基类中声明，并且依赖于模板参数的符号（函数或变量等），应该在它们前面使用this->或者Base<T>::。

#include<iostream>
using namespace std;template<typename T>
class Base{
public:void exit(){ cout << "exit" << endl; }
};
template<typename T>
class Derived:Base<T>{
public:void exitDerived(){this->exit();//但VS 2013中直接用exit()也能正确运行}
};
int main(){Derived<int> d;d.exitDerived();system("pause");return 0;
}

3、成员模板

嵌套类和成员函数都可以作为模板，例子：

#include<iostream>
#include<deque>
using namespace std;template<typename T>
class Stack{
private:deque<T> deq;
public:void push(T const& elem);void pop();T top() const;bool empty() const{return deq.empty();}template<typename T2>//成员模板Stack<T>& operator=(Stack<T2> const& op2);
};
template<typename T>
void Stack<T>::push(T const& elem){deq.push_back(elem);
}
template<typename T>
void Stack<T>::pop(){if (deq.empty()){throw out_of_range("Stack<>::pop():empty stack");}deq.pop_back();
}
template<typename T>
T Stack<T>::top() const{if (deq.empty()){throw out_of_range("Stack<>::pop():empty stack");}return deq.back();
}
template<typename T>
template<typename T2>
Stack<T>& Stack<T>::operator=(Stack<T2> const& op2){if ((void*)this == (void*)&op2)return *this;Stack<T2> tmp(op2);deq.clear();while (!tmp.empty()){deq.push_front(tmp.top());tmp.pop();}return *this;
}int main(){try{Stack<float> istk;istk.push(7.2);istk.push(8.3);istk.push(9.4);cout << istk.top() << endl;istk.pop();cout << istk.top() << endl;Stack<int> sstk;sstk = istk;cout << sstk.top() << endl;sstk.pop();cout << sstk.top() << endl;}catch (exception const& ex){cerr << "Exception:" << ex.what() << endl;return EXIT_FAILURE;}system("pause");return 0;
}

4、模板的模板参数

模板参数本身是模板，则该参数是模板的模板参数。函数模板不支持模板的模板参数。

例子：

#include<iostream>
#include<deque>
#include<vector>
using namespace std;
//这里Container是模板的模板参数
template<typename T,template<typename ELEM,typename=allocator<ELEM>> class Container=deque>
class Stack{
private:Container<T> container;
public:void push(T const& elem);void pop();T top() const;bool empty() const{return container.empty();}template<typename T2, template<typename ELEM2, typename = allocator<ELEM2>> class Container2>Stack<T, Container>& operator=(Stack<T2, Container2> const& op2);
};
template<typename T, template<typename ELEM, typename = allocator<ELEM>> class Container>
void Stack<T,Container>::push(T const& elem){container.push_back(elem);
}
template<typename T, template<typename ELEM, typename = allocator<ELEM>> class Container>
void Stack<T, Container>::pop(){if (container.empty()){throw out_of_range("Stack<>::pop():empty stack");}container.pop_back();
}
template<typename T, template<typename ELEM, typename = allocator<ELEM>> class Container>
T Stack<T, Container>::top() const{if (container.empty()){throw out_of_range("Stack<>::pop():empty stack");}return container.back();
}
template<typename T, template<typename ELEM, typename = allocator<ELEM>> class Container>
template<typename T2, template<typename ELEM2, typename = allocator<ELEM2>> class Container2>
Stack<T, Container>& Stack<T, Container>::operator=(Stack<T2, Container2> const& op2){if ((void*)this == (void*)&op2)return *this;Stack<T2, Container2> tmp(op2);container.clear();while (!tmp.empty()){container.push_front(tmp.top());tmp.pop();}return *this;
}int main(){try{Stack<double> dstk;dstk.push(7.2);dstk.push(8.3);dstk.push(9.4);cout << dstk.top() << endl;dstk.pop();cout << dstk.top() << endl;Stack<int> istk;istk = dstk;cout << istk.top() << endl;istk.pop();cout << istk.top() << endl;}catch (exception const& ex){cerr << "Exception:" << ex.what() << endl;return EXIT_FAILURE;}system("pause");return 0;
}

5、使用字符串作为函数模板的实参

#include<iostream>
#include<string>
using namespace std;template<typename T>
T const& Max(T const& a, T const& b){return a < b ? b : a;
}int main(){string s = "abc";cout << Max("apple", "peach") << endl;//cout << Max("apple", "tomato") << endl;//错误，不同类型的实参//cout << Max("apple", s) << endl;//错误，不同类型的实参system("pause");return 0;
}

上述例子在VS2013中运行错误。

上述例子中后面两个调用错误的问题在于：由于长度的区别，这些字符串属于不同的数组类型，”apple”和”peach”具有相同的类型char const[6]，”tomato”的类型是char const[7]，因此只有第一个调用合法。但声明的是非引用参数，可以使用不同的字符串作为参数。

#include<iostream>
#include<string>
using namespace std;template <typename T>
T Max(T a, T b){return  a < b ? b : a;
}int main(){string s = "abc";cout << Max("apple", "peach") << endl;cout << Max("apple", "tomato") << endl;//正确，退化为相同的类型//cout << Max("apple", s) << endl;//错误，不同类型的实参system("pause");return 0;
}

上述第二个调用正确，原因是对于非引用类型的参数，在实参演绎的过程中，会出现数组到指针的类型转换。但是这里比较的是指针，而不是两个字符串的字典序。