C++的模板

1. 模板形参表

模板形参表，里面可以是typename T/ class T这种形式的，代表里面被泛化的是一种类型；

也可以使用Type value这种形式的，代表里面被泛化的是一个某种类型的值。

这点很重要，因为后面介绍的部分特化(Partial Specialization)，就是应用的值的泛化，即一个模板（仅限类模板）有多个类型泛化的形参的时候，可以将其中的部分类型特化成值，以代表其中的特殊情况；

这是一种特殊情况，特殊处理的哲学。

比部分特化更加普遍的全部特化，即将所有的类型都用具体的值进行替换。

全部特化即可以用于类模板，也可以用于函数模板。

只有在全部特化时，也可以也必须使用空的模板形参表

template<>

为什么函数模板没有部分特化？

   1: template<typename T1, typename T2>

   2: bool allNumeric(const T1& op1, const T2& op2)

   3: {

   4:     return true;

   5: }

   6:  

   7: template<>

   8: bool allNumeric<int, std::string>(const int& op1, const std::string& op2)

   9: {

  10:     return false;

  11: }

  12:  

  13: //template<typename T>

  14: //bool allNumeric<T, std::string>(const T& op1, const std::string& op2)

  15: //{

  16: //    return false;

  17: //}