12.c++模板进阶

目录

模板参数

模板的特化

模板分离编译

---

模板参数

模板类型分为分类类型形参和非类型形参。

类型形参即：出现在模板参数列表中，跟在class（类模板）或者typename（函数模板）之类的参数类型名称。
非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

模板的特化

当模板无法对某个特定的类型实现时，我们就要提供一个更好的实现，这就是模板的特化。全特化和偏特化（也就是对部分类型实现特化）。

我们先来看函数模板特化的步骤，
1. 必须要先有一个基础的函数模板
2. 关键字template后面接一对空的尖括号<>
3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型
4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误

template<>
bool IsEqual<char*>(char*& left, char*& right)
{
  if(strcmp(left,right) > 0)
    return ture;
  return false;
}

下来我们来看类模板的特化，类模板有全特化和偏特化。

先看全特化，全特化就是将模板参数列表中所有的参数都确定化。

template<class T1, class T2>
class Data
{
public:
  Data() {cout<<"Data<T1, T2>" <<endl;}
private:
  T1 _d1;
  T2 _d2;
};


template<>
class Data<int, char>
{
public:
  Data() {cout<<"Data<int, char>" <<endl;}
private:
  T1 _d1;
  T2 _d2;
};


void TestVector()
{
  Data<int, int> d1;
  Data<int, char> d2;
}

偏特化：任何针对模板参数进一步进行限制设计的特化版本。

我们先看一个正常的类模板，一会来对比

template<class T1, class T2>
class Data
{
public:
  Data() {cout<<"Data<T1, T2>" <<endl;}
private:
  T1 _d1;
  T2 _d2;
};

偏特化有以下两种表现方式：

·部分特化：将模板参数类表中的一部分参数特化

//将第二个参数特化为int
template<class T1>
class Data<T1,int>
{
public:
  Data() {cout<<"Data<T1, int>" <<endl;}
private:
  T1 _d1;
  T2 _d2;
};

·参数更进一步的限制：偏特化不仅仅是指特化参数，而是针对模板参数而更进一步的条件限制设计出来的一个特化版本。

模板分离编译

一个程序由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链
接起来形成单一的可执行文件的过程称为分离编译模式。

在工作中，我们实现的是代码的一部分，因此多半是需要分离编译的。

a.h 中用来写入接口名

a.cpp 中用来实现接口

main.cpp 用来写入主函数

//a.h  告诉你有ADD类模板
template<class T>
T ADD(const T& left, const T& right);

//a.cpp   实现模板
template<class T>
T ADD(const T& left,const T& right)
{
  return left + right;
}

//main.cpp    实现主函数
int main9)
{
  ADD(1,2);
  ADD(1.0,2,0);

  return 0;
}