C++模板编程/泛型编程

模板分类

模板分为函数模板与类模板两类。

函数模板

  • 模板声明
template <模板形参表> 函数返回类型 函数(形参表);
  • 模板定义
template <模板形参表>
函数返回类型 函数(形参表){
      函数体;
};

例如

template  T Max(T a,T b){
        return a>b?a:b;
}

函数模板实参类型不一致问题

template  
inline const T& Max(const T& a, const T& b){
        return a>b?a:b;
}

Max(2,2.4)

参数推导会出现模板实参类型int与double不一致的错误。

解决方法:

1.每个模板参数独立类型

template  inline const T& Max(const T& a, const U& b){
        return a>b?a:b;
}

注意:这种解决方法还有一个问题,就是返回值只能强制设置为T或者U,不能自动推导。

C++11的后置推导可以解决这个问题。

template  
inline auto Max(const T& a, const U& b)->decltype(a>b?a:b)
{
        return a>b?a:b;
}

2.显示指定模板实参类型

Max(2,2.4)

或者

Max(2,2.4)

3.实参强制类型转换

Max(2,static_cast(2.4))

或者

Max(static_cast(2),2.4)

概念

  • 模板实例化(instantiation):具体类型代替模板参数的过程。
  • 模板特化(specialization):模板实例化后的实体(类、函数)。
  • 模板参数推导/推演(deduction):由模板实参类型确定模板形参的过程。

类模板参数允许自动类型转换(隐式转换);函数模板参数不允许自动类型转换(隐式转换)


类模板

  • 模板声明
template <模板形参表> class 类名;
  • 模板定义
template <模板形参表>
class 类名 {
}
  • 模板实例化
类名<模板实参表> 对象;
  • 模板参数表
    多个模板参数之间,分割。模板参数,模板参数,...
  • 模板参数
  • 类型形参
    class 类型形参或者typename 类型形参
  • 非类型模版参数
    非类型模板的实参只能是整型常量、枚举值或者指向外部链接对象的指针。
    不能使用浮点型、类对象、内部链接对象的指针。

类模板
类模板:不完整的类,一个或者多个成员类型未确定。
函数模板:不完整的函数,一个或者多个参数类型未确定。
成员函数:只有调用时才会被实例化。
静态成员:每次类模板实例化,都会被实例化。

类实例化成对象,类模板实例化成类。

  • 特化:具体指定类模板的全部模板参数的类型。
  • 局部特化:具体指定类模板的部分模板参数的类型。

类模板特化,每个成员函数必须重新定义。

类模板特化,相当于函数模板的重载

实例:三元组模版Triple

你可能感兴趣的:(C++模板编程/泛型编程)