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: //}