1、模板
①与具体类型无关的代码:泛型编程
②模板的使用格式:
一个类型:template<typename T> 或者template<class T>
多个类型:template<typename T1,typename T2>或者template<class T1,class T2>
然后下面跟一个以T为类型的函数,如:
void Swap(T& left,T& right)
{
T temp=left;
left=right;
right=temp;
}
③推演实例化:
1°模板的推演:根据实参推出T的类型的过程
2°模板的实例化:根据推出的T的类型生成对应的重载函数
🔺根据函数模板调用函数时,编译器会生成对应的重载函数。(也就是说传的参数类型不同调用的函数不是同一个)
🔺不能对同一个模板参数同时推成两个类型!!!!
④显式实例化:
1°使用格式:函数名<类型>(参数列表)
2°使用场景:传递的参数和模板类型无关或者无参,推不出模板类型。此时只能使用显式实例化。
⑤很多函数模板可以自己推也可以显式实例化,但是有些函数模板和类模板都是需要显式实例化的。
⑥普通函数和函数模板是可以同时存在的
1°如果我们自己实现了某个函数,同时也有这个函数的模板,那么我们调用时会调用我们写好的那个函数(我们调用的那个函数和我们写好的那个函数的参数类型是一样的)。
2°有更合适的就调用更合适的,哪怕重新生成一个,没有更合适的会进行隐式类型转换调用一个,前提是隐式类型转换不会产生歧义报错。
⑦类模板
1°使用类模板只能显式实例化
2°普通类:类名->类型
类模板实例化的类:类名不是类型,类名<数据类型>才是整个类的类型
▲显示实例化的类型不同,它们就是不同的类。
▲构造函数的函数名与类名相同,不是与类型相同,注意区分!!!!
▲声明和定义分离的时候前面要指定类型!并且上一行也要加上template<class T>!不用也要加上。而且!!类模板的声明和定义必须放在一个文件里面,放在两个文件里面会链接错误。