1 泛型编程

编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。其中模板包括函数模板和类模板。

2 函数模板

2.1 函数模板概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。

2.2 函数模板格式

typename：定义模板参数关键字，也可使用class

template<typename T1[,typename T2,typename T3]>
返回值类型 函数名(参数列表){}

或

template<class T1[,class T2,class T3]>
返回值类型 函数名(参数列表){}

2.3 函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为隐式实例化和显式实例化。

2.3.1 隐式实例化

2.3.1.1 定义

编译器通过实参的数据类型推演模板参数的实际类型

2.3.1.2 代码演示

// 模板实现两数交换
template<class T>
void Swap(T& a, T& b) {T t = a;a = b;b = t;
}int main() {// 隐式实例化int a1 = 10, a2 = 20;cout << "a1 = " << a1 << " a2 = " << a2 << endl;// 此时模板参数为intSwap(a1, a2);cout << "swap" << endl;cout << "a1 = " << a1 << " a2 = " << a2 << endl;cout<<endl;double a3 = 10.1, a4 = 20.1;cout << "a3 = " << a3 << " a4 = " << a4 << endl;// 此时模板参数为doubleSwap(a3, a4);cout << "swap" << endl;cout << "a3 = " << a3 << " a4 = " << a4 << endl;return 0;
}

2.3.1.3 运行结果

2.3.1.4 缺点

当两参数数据类型不一致时，编译器无法推演出模板的数据类型

可通过类型强转或显式实例化解决。
类型强转：Swap(a1,(int)a3);

2.3.2 显式实例化

2.3.2.1 格式

在函数名后的<>中指定模板参数的实际类型

2.3.2.2 代码演示

// 实现两数相加模板
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}
int main(){int c1 = 10, c2 = 20;double d1 = 10.1, d2 = 20.2;cout << Add(c1, c2) << endl;cout << Add(d1, d2) << endl;// 参数类型强转cout << Add((double)c1, d2) << endl;// 显示实例化// 指定为int型cout << Add<int>(c1, d2) << endl;// 指定为double型cout << Add<double>(c1, d2) << endl;return 0;
}

2.3.2.3 运行结果

经过显式实例化后int+double型也可以算出和

2.4 模板参数的匹配原则

2.4.1

一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数。

2.4.2

对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板。

2.4.3

模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

3 类模板

3.1 类模板格式

template<class T>
class 类模板名
{};

代码演示

// 类模板Vector
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 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;
}
};

3.2 类模板实例化

类模板实例化需要在类模板名字后跟<>，然后将实例化的
类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

// vector<int>：类型名
Vector<int> v1;
Vector<double> v2;