C++模板函数，模板类

模板概念：

       模板如字面的意思为模具模板，并不是一个正真的物体。例如，在编写比较两个数大小的代码中，我们可能要比较两个整数的大小，也能需要比较浮点数等等大小。在这些代码中，基本的逻辑都是相同的，只是比较数的类型不同。此时我们就可以用模板这个概念来完成对于不同类型的参数而相同的逻辑的操作。而模板会根据实际的参数类型推演出正真的代码。如上图所见，模板分为函数模板和类模板两种。

函数模板：

函数模板格式：

template <class 形参名1, class 形参名2, class 形参名n>
返回类型 函数名(参数列表)
　{...}

函数模板实例化：

实现不同类型两个数相加的模板函数，只有在主函数中才根据其参数类型推演出正真的代码。

函数模板关键字：typename 或者class。T是参数类型，这里可以任意命名。

类模板

与函数模板相似，只不过这里是类的模板。

格式：

template<class 形参名1, class 形参名2, ...class 形参名n>class 类名{ ... };

实例化：

模板参数

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

例如：下面代码中的MAX_SIZE就是非类型的模板参数，它不是类型，而是代表数组的大小。

template <typename T, size_t MAX_SIZE> class Student{public :Student();private :T _array [MAX_SIZE];int _size ;};

特别注意：浮点数和类对象不能作为非类型模板参数。

模板特化

模板特化分为全特化和偏特化。这两个特化都是在已定义的模板基础之上，不能单独定义。

#include<iostream>using namespace std; template<class T1,class T2>class Teacher{Teacher();~Teacher(){}private:T1 _name;T2 _age;};template<class T1, class T2>Teacher<T1, T2>::Teacher(){cout << "Teacher<T1,T2>"}/////////////////////全特化template<>class Teacher<int ,char>{Teacher();~Teacher(){}private:int  _name;char _age;};Teacher<int ,char>::Teacher()//全特化后定义成员函数不需要加模板形参{cout << "Teacher<int,char>" << endl;}////////////////////////偏特化T2template<class T1>class Teacher<T1,int>{Teacher();~Teacher(){}private:T1 _name;int _age;};template<class T1>Teacher<T1,int >::Teacher(){cout << "Teacher<T1,int>" << endl;}

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

// 局部特化两个参数为指针类型template <typename T1, typename T2>class Teacher <T1*, T2*>{public:Teacher();private:T1 _name;T2 _age;T1* _a;T2* _b;};template <typename T1, typename T2>Teacher<T1*, T2*>::Teacher(){cout << "Teacher<T1*, T2*>" << endl;}// 局部特化两个参数为引用template <typename T1, typename T2>class Teacher <T1&, T2&>{public:Teacher(const T1& a, const T2& b);private:const T1 & _a;const T2 & _b;T1* _name;T2* _age;};template <typename T1, typename T2>Teacher<T1 &, T2&>::Teacher(const T1& a, const T2& b): _a(a), _b(b){cout << "Teacher<T1&, T2&>" << endl;}

模板分离编译：

解决上述问题一般是把源文件和声明文件放在一个叫"xxx.hpp"的文件中