C++的模板

1. 模板形参表

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

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

 

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

 

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

 

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

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

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

template<>

 

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

template<typename T1, typename T2>
bool allNumeric(const T1& op1, const T2& op2)
{
    return true;
}

template<>
bool allNumeric<int, std::string>(const int& op1, const std::string& op2)
{
    return false;
}

//template<typename T>
//bool allNumeric<T, std::string>(const T& op1, const std::string& op2)
//{
//    return false;
//}