目录
1.泛型编程
思考:如何才能实现一个通用的交换函数呢?
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
void Swap(double& left, double& right)
{
double temp = left;
left = right;
right = temp;
}
void Swap(char& left, char& right)
{
char temp = left;
left = right;
right = temp;
}
使用函数重载虽然可以实现,但是有一下几个不好的地方:
1. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数。
2. 代码的可维护性比较低,一个出错可能所有的重载均出错。
那能否告诉编译器一个模子,让编译器根据不同的类型利用该模子来生成代码呢?
如果在C++中,能够存在一个模具,通过给这个模具中填充不同材料(类型),来获得不同材料的铸件 (即生成具体类型的代码),那将会节省许多头发。巧的是前人早已将树栽好,我们只需在此乘凉。
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
2.函数模板
2.1函数模板的概念
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
2.2函数模板的格式
template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表){}
//template <class T>
//template <class Tp>
//template <class K>
//class 与 typename 没有任何的区别
template <typename T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
int main()
{
int a = 1, b = 2;
Swap(a, b);
double c = 1.1, d = 2.2;
Swap(c, d);
char e = 'a', f = 'b';
Swap(e, f);
cout << a << " " << b << endl;
cout << c << " " << d << endl;
cout << e << " " << f << endl;
}
三个Swap调用的不是模板,而是模板生成的实例化函数,像上述代码中,模板会生成int、double和char类型的三种实例化函数。
调用的不是同一个函数!可以使用反汇编去看一下:
注意:typename是用来定义模板参数关键字,也可以使用class(切记:不能使用struct代替class)
2.3函数模板的原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模 板就是将本来应该我们做的重复的事情交给了编译。
函数模板的实例化:
在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。
比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。
2.4 函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
2.4.1 隐式实例化
让编译器根据实参推演模板参数的实际类型
template <class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.1, d2 = 20.3;
cout << Add(a1, a2) << endl;
cout << Add(d1, d2) << endl;
/*
该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型
通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,
编译器无法确定此处到底该将T确定为int 或者 double类型而报错
注意:在模板中,编译器一般不会进行类型转换操作,因为一旦转化出问题,编译器就需要背黑锅
Add(a1, d1);
*/
// 此时有两种处理方式:1. 用户自己来强制转化 2. 使用显式实例化
cout << Add((double)a1, d2) << endl; //使用强制类型转换
cout << Add(a1, (int)d2) << endl; //使用强制类型转换
return 0;
}
一定要加const,强制类型转换的时候,会生成一个临时变量(具有常性),不用const,会导致权限的放大!
2.4.2 显示实例化
在函数名后的<>中指定模板参数的实际类型
template <class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main(void)
{
int a = 10;
double b = 20.5;
// 显式实例化
cout << Add<int>(a, b) << endl;
cout << Add<double>(a, b) << endl;
return 0;
}
也可以定义两个模板
直接确定他的参数的类型,进而确定返回值的类型
2.5模板参数的匹配规则
1、一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
//专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
//通用加法函数
template <class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.1, d2 = 20.3;
Add(a1, a2); // 与非模板函数匹配,编译器不需要特化
Add<int>(a1, a2); // 调用编译器特化的Add版本
return 0;
}
思考:这个时候,代码中的Add()函数会优先调用哪个函数?
可以简单地理解,编译器也懒,有现成的函数,那肯定优先调用已经写好的函数了,因此这个时候的Add()函数,就会优先调用我们写的专门处理int的加法函数。
我们发现实例化的int类型的Add函数和我们自己写的int类型的Add函数可以同时存在!!!
2、对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板。
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{
return left + right;
}
void Test()
{
Add(1, 2); // 与非函数模板类型完全匹配,不需要函数模板实例化
Add(1, 2.0); // 模板函数可以生成更加匹配的版本,编译器根据实参生成更加匹配的Add函数
}
3、模板函数不允许自动类型转换,但普通函数可以进行自动类型转换
3.类模板
typedef int STDataType;
typedef double STDataType;
template<typename T>
class Stack
{
public:
Stack(int capacity = 4)
{
cout << "Stack(int capacity = )" <<capacity<<endl;
_a = (T*)malloc(sizeof(T)*capacity);
if (_a == nullptr)
{
perror("malloc fail");
exit(-1);
}
_top = 0;
_capacity = capacity;
}
~Stack()
{
cout << "~Stack()" << endl;
free(_a);
_a = nullptr;
_top = _capacity = 0;
}
void Push(const T& x)
{
// ....
// 扩容
_a[_top++] = x;
}
private:
T* _a;
int _top;
int _capacity;
};
int main()
{ //使用两个栈,一个存int,一个存double,那么使用typedef就用不了了(可维护性好)
// 类模板一般没有推演时机,函数模板实参传递形参,推演模板参数
// 显示实例化
// 他们是同一个类模板实例化出来的
// 但是模板参数不同,他们就是不同类型
Stack<double> st1; // double
st1.Push(1.1);
Stack<int> st2; // int
st2.Push(1);
return 0;
}
#include <assert.h>
#define N 10
namespace PPPH
{
template<class T>
class array
{
public:
inline T& operator[](size_t i)
{
assert(i < N);
return _a[i];
}
private:
T _a[N];
};
}
int main()
{
//int a2[10];
//a2[20] = 0;
//a2[10];
PPPH::array<int> a1;
for (size_t i = 0; i < N; ++i)
{
// a1.operator[](i)= i;
a1[i] = i;
}
for (size_t i = 0; i < N; ++i)
{
// a1.operator[](i)
cout << a1[i] << " ";
}
cout << endl;
for (size_t i = 0; i < N; ++i)
{
a1[i]++;
}
for (size_t i = 0; i < N; ++i)
{
cout << a1[i] << " ";
}
cout << endl;
//a1[20];
//a1[10];
return 0;
}