博主主页：LiUEEEEE
C++专栏
C语言专栏
数据结构专栏
排序算法专栏
力扣牛客经典题目专栏
目录
- 1、概念
- 2、函数模板的实例化
- 2.1 隐式实例化
- 2.2 显式实例化：
- 3、模板参数的匹配原则：
- 4、类模板
- 4.1 类模板的定义格式：
- 4.2 类模板的实例化：
- 5、结语
1、概念
模板的概念是指在编译器中实现泛型编程，其目的是给予编译器一个模板，让其生成目标所需函数。
例如，在日常代码中，如果需要交换不同类型的数据（例如 int char double），我们需要写三个交换函数，如下所示：
void Swap(int& a, int& b)
{int tmp = a;a = b;b = tmp;
}void Swap(char& a, char& b)
{char tmp = a;a = b;b = tmp;
}void Swap(double& a, double& b)
{double tmp = a;a = b;b = tmp;
}
此种写法十分繁琐，将相同率较高的代码重复书写，影响效率，故C++开辟了一个新赛道，将繁琐的工作交给编译器，使用者只需提供模板即可。
模板的书写格式如下：
因此，对于交换类型的函数，我们可以直接书写一个模板，让编译器自动生成其所需函数，例如：
template <class T>
void Swap(T& a, T& b)
{T tmp = a;a = b;b = tmp;
}
注意，此处的class 与 typename效果一样，在初学模板期间可不做区分。
2、函数模板的实例化
用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。
2.1 隐式实例化
让编译器根据实参推演模板参数的实际类型，例如实现一个两数相加的函数模板，如下所示：
template <class T>
T add(const T& a, const T& b)
{return a + b;
}
此时当我们传入参数为整形时，编译器会自动根据所传类型进行实例化，此时就叫做隐式实例化。
但当我们所传类型为一个int 一个double时，就会发生报错，如下所示：
当发生此种情况时，我们有两种方法：
- 用户自己进行强制类型转换，例如：
cout << add(a, (int)c) << endl;cout << add((double)a, c) << endl;
2.使用显式实例化：如下一小标题内容所示。
2.2 显式实例化：
在函数名后的<>中指定模板参数的实际类型
例如上文中当传送一个int和一个double的情形，我们可以如下方式书写进行参数类型的指定：
cout << add<int>(a, c) << endl;cout << add<double>(a, c) << endl;
如果此时类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。
3、模板参数的匹配原则：
一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数，例如：
// 专门处理int的加法函数
int Add(int left, int right)
{return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{return left + right;
}
void Test()
{Add(1, 2); // 与非模板函数匹配，编译器不需要特化Add<int>(1, 2); // 调用编译器特化的Add版本
}
对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板，且模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。
简而言之就是在同时存在同名的非模板函数和模板函数时，如果实现的目的相同，那么编译器将会自动选择匹配率更高的进行使用。
4、类模板
4.1 类模板的定义格式：
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义
};
例如：
template<class T>
class Vector
{
public:Vector(size_t capacity = 10): _pData(new T[capacity]), _size(0), _capacity(capacity){}// 使用析构函数演示：在类中声明，在类外定义。~Vector();void PushBack(const T& data)；void PopBack()；// ...size_t Size() { return _size; }T& operator[](size_t pos){assert(pos < _size);return _pData[pos];}
private:T* _pData;size_t _size;size_t _capacity;
};
类模板的目的旨在可以通过此类模板来应对不同类型数据的需求，例如顺序表，使用者可以使用类模板来分别创建不同数据类型的顺序表。
template <class T>
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}
注意：类模板中函数放在类外进行定义时，需要加模板参数列表，并且不建议声明和定义分离，可能会造成链接过程中不必要的麻烦。
4.2 类模板的实例化：
类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;
5、结语
十分感谢您观看我的原创文章。
本文主要用于个人学习和知识分享，学习路漫漫，如有错误，感谢指正。
如需引用，注明地址。
