建站宝盒建网站,免费外贸建站平台,企业邮箱域名怎么写,企业邮箱下载1、泛型编程 泛型编程#xff1a;编写与类型无关的通用代码#xff0c;是代码复用的一种手段。模板是泛型编程的基础 2、函数模板 函数模板代表了一个函数家族#xff0c;该函数模板与类型无关#xff0c;在使用时被参数化#xff0c;根据实参类型产生函数的特定类型版本…1、泛型编程 泛型编程编写与类型无关的通用代码是代码复用的一种手段。模板是泛型编程的基础 2、函数模板 函数模板代表了一个函数家族该函数模板与类型无关在使用时被参数化根据实参类型产生函数的特定类型版本。template typename T1, typename T2,......,typename Tn注意typename 是用来定义模板参数关键字也可以使用 class (切记不能使用struct代替class) 1函数模板的使用
//templateclass T
//templatetypename T //单参
//templatetypename T1, typename T2 //多参//编译器用模板实例化生成对应的Swap函数
templateclass T
void Swap(T left, T right)
{T tmp left;left right;right tmp;
}int main()
{int i 0, j 1;Swap(i, j);double x 1.1, double y 2.2;Swap(x, y);return 0;
}函数模板是一个蓝图它本身并不是函数是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。在编译器编译阶段对于模板函数的使用编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如当用double类型使用函数模板时编译器通过对实参类型的推演将T确定为double类型然后产生一份专门处理double类型的代码对于字符类型也是如此。 2函数模板的实例化 用不同类型的参数使用函数模板时称为函数模板的实例化。 模板参数实例化分为隐式实例化和显式实例化。 【1】隐式实例化让编译器根据实参推演模板参数的实际类型 【2】显式实例化在函数名后的中指定模板参数的实际类型 templateclass T
T Add(const T left, const T right)
{return left right;
}int main()
{//隐式实例化cout Add(1, 2) endl;cout Add((int)1.1, 2) endl;cout Add(1.1, (double)2) endl;//显式实例化cout Addint(1.1, 2) endl;cout Adddouble(1.1, 2) endl;return 0;
}3模板参数的匹配原则 一个非模板函数可以和一个同名的函数模板同时存在而且该函数模板还可以被实例化为这个非模板函数对于非模板函数和同名函数模板如果其他条件都相同在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数 那么将选择模板模板函数不允许自动类型转换但普通函数可以进行自动类型转换 #define _CRT_SECURE_NO_WARNINGS 1
#include iostream
using namespace std;//专门处理int的加法函数非模板
int Add(int left, int right)
{return left right;
}//通用加法函数模板
templateclass T
T Add(T left, T right)
{return left right;
}int main()
{//与非函数模板类型完全匹配不需要函数模板实例化【有现成匹配的直接用】cout Add(1, 2) endl; //3//调用编译器特化的Add版本【强调了用模板】cout Addint(1, 2) endl; //3//模板函数可以生成更加匹配的版本编译器根据实参生成更加匹配的Add函数cout Add(1, 2.0) endl; //3return 0;
}3、类模板 template class T1, class T2, ..., class Tn class 类模板名 { //类内成员定义 }; 1类模板的使用
templateclass T
class Stack
{
public:Stack(size_t capacity 4){cout Stack() endl;_array new T[capacity];_capacity capacity;_size 0;}void Push(const T data){_array[_size] data;_size;}~Stack(){cout ~Stack() endl;delete[] _array;_array nullptr;_size _capacity 0;}private:T* _array;int _capacity;int _size;
};int main()
{//显示实例化Stackint st1; //intStackdouble st2; //doublest1.Push(1);st1.Push(2);st2.Push(1.1);st2.Push(2.2);return 0;
}2类模板的实例化 类模板实例化与函数模板实例化不同类模板实例化需要在类模板名字后跟然后将实例化的类型放在中即可类模板名字不是真正的类而实例化的结果才是真正的类。类模板必须显式实例化类模板是一个类家族模板类是通过类模板实例化的具体类 //【Stack类名Stackint才是类型】
//显示实例化
Stackint st1; //int
Stackdouble st2; //double3声明定义分离 声明定义分离时不能分文件写必须写在同一份文件内。 VectorT::~Vector() //Vector类名Vectorint才是类型【类型作用于限定符函数名】 #define _CRT_SECURE_NO_WARNINGS 1
#include iostream
using namespace std;templateclass T
class Vector
{
public:Vector(size_t capacity 10): _pData(new T[capacity]), _size(0), _capacity(capacity){}//使用析构函数演示在类中声明在类外定义。~Vector();private:T* _pData;size_t _size;size_t _capacity;
};//注意类模板中函数放在类外进行定义时需要加模板参数列表
template class T
VectorT::~Vector() //Vector类名Vectorint才是类型
{delete[] _pData;_pData nullptr;_size _capacity 0;
}int main()
{Vectorint s1;Vectordouble s2;return 0;
}
