04.C++模板笔记

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>！不用也要加上。而且！！类模板的声明和定义必须放在一个文件里面，放在两个文件里面会链接错误。