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: //}
posted @ 2014-01-16 11:51  Daniel King  阅读(237)  评论(0编辑  收藏  举报