1.模板
模板就是简历通用的模具,提高代码的复用性。
模板的特点:
- 模板不能直接使用
- 模板的通用性并不是万能的
- c++提供了两种模板机制,函数模板和类模板
1.1函数模板
模板语法
template<typename T> //template 声明模板的关键字
// typename 表明后面是一种数据类型
// T通用的数据类型 T的类型是不固定的
函数声明或定义
//利用模板写交换函数(可以用于多种不同类型)
template<typname T>
void mySwap(T& a, T& b)
{
T temp = a;
a = b;
b = temp;
}
void test()
{
int a = 13;
int b = 34;
//自动类型推导
mySwap(a,b);
//手动类型推导
mySwap<int>(a,b);
cout<<"a ="<<a<<endl;
cout<<"b ="<<b<<endl;
}
int main()
{
test();
return 0;
}
注意事项:
- 自动推到类型,必须推导出一致的数据类型T,不然会报错
- 模板必须要确定出T的数据类型,才可以使用
普通函数和模板函数的区别
- 普通函数调用时可以发生自动类型转换(隐式转换)
- 函数模板调用时,如果利用自动类型推导,不会发生隐式转换
- 如果利用显示类型指定的方式(例:mySwap<int>(a,b)),可以发生隐式转换(埋个小伏笔,何为隐式转换)
普通函数与模板函数的调用规则
规则如下:
- 如果函数模板和普通函数都可以实现,优先调用普通函数
- 函数模板可以重载
- 如果函数模板可以产生更好的匹配,优先调用函数模板
Tip:如果提供了函数模板,最好不要再提供普通函数,否则容易出现二义性
//模板的通用性不是万能的
1.2类模板
template<class T>
类
类模板是忽略具体类型的公共逻辑的抽象,通常作为容器或者行为的封装。
#include <iostream>
using namespace std;
template <class T>
class myT
{
public:
T max(T a, T b)
{
return a > b ? a : b;
}
};
int main()
{
myT<int> m1;
cout<<m1.max(1,3)<<endl;
return 0;
}
与函数模板不同,类模板不能推断实例化,必须显式指定参数类型。例如:Priter <int> p ,而不能让编译器自行判断 Priter p