1. 模板形参表

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

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

 

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

 

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

 

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

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

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

template<>

 

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

1: template
      

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

3: {

4:     return true;

5: }

6: 

7: template<>

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

9: {

10:     return false;

11: }

12: 

13: //template
      

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

15: //{

16: //    return false;

17: //}