泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
目录
1.函数模板:
1.1函数模版引入:
平常我们在写代码的时候,例如写一个加法运算,过去我们学习c语言的时候是这么写的:
int add_int(int a, int b) {
return a + b;
}
double add_double(double a, double b) {
return a + b;
}
不同的函数不可以用相同的名字,每次调用的时候还要查看一下要调用哪个函数。
然后我们学习了函数重载,调用的问题开始变的简单了:
int add(int a, int b) {
return a + b;
}
double add(double a, double b) {
return a + b;
}
不同的函数可以用相同的名字,极大地方便了使用,但是此时还是有一个问题,这里的函数功能都是相同的,唯一的区别是参数不同,这样看起来还是不太简洁,代码复用率比较低,代码的可维护性比较低,一个出错所有的重载都出错。今天我们来介绍函数模板。
1.2函数模板格式:
template<typename T1, typename T2,......,typename Tn>//换成class 也可以
void A(T1 a,T2 b){……};
函数模板顾名思义就是相当于一个模具,功能相同的函数,但是参数类型不同,写成代码就是:
#include<iostream>
using namespace std;
template<class T>
T add(T a, T b) {
return a + b;
}
int main() {
cout << add(1, 2) << endl;
cout << add(2.3, 2.4) << endl;
}
1.3模板的原理:
1.4函数模板的实例化:
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
1.3.1隐式实例化
编译器根据所给的参数类型进行判断的这种事隐式实例化。
template<class T>
T add(T a, T b) {
return a + b;
}
int main() {
cout << add(1, 2) << endl;
cout << add(2.3, 2.4) << endl;
}
1.3.2显式实例化
在调用的函数名后面添加<类型>即可指定。
template<class T>
T add(T a, T b) {
return a + b;
}
int main() {
cout << add<int>(1, 2) << endl;
cout << add<int>(2.3, 2.4) << endl;
}
2.类模板:
2.1类模板引入:
同理于函数模板,类模板也是一个模板,功能相同,只是里面的类型不同。例如我们在写动态顺序表的时候,里面可能装的是int也可能是double,也可能是别的其他类型,过去我们只能一个类型写一遍函数。
2.2类模板的格式:
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义T1 成员1;
……
};
//vector.h
#include<iostream>
using namespace std;
template<class T>
class vector {
vector()
:_pData(new T[_capacity])
, _size(0)
, _capacity(0)
{}
~vector();//以vector为例写类外定义的函数
private:
T* _pData;
size_t _size;
size_t _capacity;
};
//vector.cpp
#include"vector.h"
template<class T>
vector<T>::~vector()
{
delete[] _a;
_a = nullptr;
_size = _capacity = 0;
}