類模板
template <typename T>
class A{
private:
T x;
};
函數(shù)模板
template <typename T>
inline
const T& my_min(T& x, T& y) {
return x < y ? x : y;
}
成員模板（member template）
成員模板其實(shí)就是一個類里面使用了一個模板函數(shù)延曙。使用模板函數(shù)的時候是不需要指定參數(shù)類型的蹄溉。
來看這個例子：
#include <iostream>
#include <vector>
#include <algorithm>
struct Printer { // generic functor
std::ostream& os;
Printer(std::ostream& os) : os(os) {}
template<typename T>
void operator()(const T& obj) { os << obj << ' '; } // member template
};
int main()
{
std::vector<int> v = {1,2,3};
std::for_each(v.begin(), v.end(), Printer(std::cout));
std::string s = "abc";
std::for_each(s.begin(), s.end(), Printer(std::cout));
}
結(jié)果：
1 2 3 a b c
模板特化（specialization）
其實(shí)是對模板的某一種特定類型的解釋沿后，比如下面這個例子：
#include <iostream>
#include <algorithm>
using std::cout;
template <typename T>
size_t hash(const T& x){
return 0;
}
template <>
size_t hash(const char& x){
return x;
}
int main() {
char x1 = 'a';
int x2 = 3;
cout << "x1(char) hash: " << hash(x1) << '\n';
cout << "x2(int) hash: " << hash(x2) << '\n';
}
模板偏特化
個數(shù)的偏
對于有多個模板參數(shù)趋急，我們可以選擇一個或者多個指定類型绍傲。比如看到 vector 的實(shí)現(xiàn)：
template<typename T, typename Alloc=...>
class vector
{
...
}
特化第一個 typename：
template<typename Alloc=...>
class vector<bool, Alloc>
{
...
}
范圍的偏（partial specialization）
template <typename T>
class C
{
...
}
可以指定 T 是指針规哲，應(yīng)該怎么做：
template <typename T>
class C<T*>
{
...
}
具體用法就是：
C<string> obj1;
C<string*> obj2;
模板模板參數(shù)
這個比較難理解，我先舉這樣一個例子乃沙。假如我們需要這樣一個類起趾，它的成員變量有一個 std::list，list 的類型是 int警儒。那么我們可以這樣寫：
class A{
private:
std::list<int> l1;
};
那這個類能不能更通用化呢训裆？list 的類型可以由用戶指定呢眶根？
那么我們可以這么寫：
template <typename T>
class A{
private:
std::list<T> l1;
};
再通用化一點(diǎn)，把 list 換成任意容器边琉，且這個容器存儲的東西也由用戶指定属百。
那么我們就可以這樣寫：
#include <iostream>
#include <list>
template<typename T, template<typename U, typename Alloc>class Container>
class A{
private:
Container<T, std::allocator<T>> c;
};
int main() {
A<int, std::list> a;
return 0;
}
其中上面第二個模板參數(shù)就是模板模板參數(shù)。
再看下面這個是不是模板模板參數(shù)：
template <class T, class Sequence = std::deque<T>>
class A{
};
這個就不是了变姨，我們在使用的過程中要指定具體的類型族扰，而不是模板。比如：
A<int> a;
A<int, std::list<int>> a;
