C++模板

泛型编程使用模板

函数模板 🤤

建立一个通用函数，器函数返回值类型和形参类型可以不具体制定，用一个虚拟的类型来代表

template<typename T>/template<class Y>也行
函数声明或定义

1.自动类型推导

myswap(a,b)

2.显式制定类型

myswap(a,b)

注意事项

必须推到出一致的数据类型T才可以使用

当a是int ，b是char 就不能套模板了

普通函数与函数模板区别 🥰

• 普通函数调用可以发生隐式类型转换
• 函数模板 用自动类型推导，不可以发生隐式类型转换
• 函数模板 用显示指定类型，可以发生隐式类型转换

普通函数与函数模板的调用规则 🥵

1. 如果函数模板和普通函数都可以实现，优先调用普通函数
2. 可以通过空模板参数列表来强制调用函数模板↓
3. 函数模板也可以发生重载

template<class T>
void myPrint(T &x){}
template<>
void myPrint(Person &x){}
这个时候就会优先调用person的代码

1. 如果函数模板可以产生更好的匹配，优先调用函数模板
2. 如果函数只声明了，没有实现，就算写了模板也会报错

void myPrint();

template<class T>
void myPrint(){}
调用myprint()将会报错->无法解析的外部命令
myprint<>()这样就行，会强制调用函模板

类模板 🤭

template<class NameType，class AgeType>
class Person{
public:
	NameType m_Name;
	AgeType m_Age;
}

//调用时候
Person<string,int> p;

可以指定多个类模板

类模板和函数模板的区别(class 和typename)

1. 类模板没有自动类型推导的使用方式
2. 类模板在模板参数列表中可以有默认参数

template<class NameType，class AgeType = int>
class Person{
public:
	NameType m_Name;
	AgeType m_Age;
}

类模板的成员函数的创建时机/分文件

template<class T>
class Shower{
public:
		T t;
		void show(){
				t.showt();
		}
}
class Person{
	void showt(){
		cout<<wo'sh
	}
}

类模板的成员函数只有在调用的时候才会去创建。这样的话，就算不识别t是什么类型，也不知道showt（）这个方法是否存在，也能正常的编译通过。

由于这个创建时机的问题，导致了cpp和h分开写的时候，将会链接失败，因为编译器读了h文件的时候压根就没看见类模板成员函数的实现，导致了链接失败。要解决这个问题有两个方法：

第一个直接include cpp

第二个将cpp和h的内容写在一起，然后改写成hpp（习惯性用这种用法）

关于类模板和继承

当类模板碰见继承的时候

• 当子类继承的父类是一个类模板时，子类在声明的时候，要制定出父类中的T的类型
• 如果不确定，编译器无法给子类分配内存
• 如果想灵活指定出父类T的类型，子类也需要变成类模板

子类指明T的类型

template<class T>
class Base{
	T m;
}
class Son:public Base<int>{//指明了才行
	
};

子类变成类模板

template<class T>
class Base{
public:
    T t;
};

template<class T>
class Son:public Base<T>{
public:
};

int main(){
    Son<int> s;
}

关于类模板的函数类外实现(复杂)

template<class T1,class T2>
class Person{
public:
    Person(T1 &t1,T2 &T2);
};
//这个必须提前，并且要声明Person才能编译过
template<class T1,class T2>
Person<T1,T2>::Person(T1 t1,T2 t2){
		...
}