目录
1. 泛型编程
虽然C++支持函数重载,即可以编写同名函数,但是出现一个新的类型,又要重复编写一个格式几
乎相同的函数,这种做法对于程序编写是很不高效的.
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;
}
//...
于是C++构造出了模板的概念.
通俗点讲,模板就像是造了一个模具,我们可以往里面加东西,构造出不同但又相似的工具.(函数或者类)
所谓的泛型编程就是编写与类型无关的通用代码,是代码复用的一种手段
模板分为两大类,一类是函数模板,另一类是类模板
2. 函数模板
2.1 基本格式
函数模板的基本格式:
template<typename T1, typename T2,…,typename Tn>
PS:typename也可以改写为class,但不能是struct
那上面的Swap函数就可以改写为下面的模板
template <class T>
void Swap(T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
使用的时候,当我们传不同的类型进去,编译器会根据我们数据的类型,自动构建相应的Swap函
数,比如说Swap(1.1,2.2),则T此时对应的就是double类型.
2.2 隐式实例化
所谓隐式实例化,就是没有指定T是什么类型,直接让编译器生成
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.0, d2 = 20.0;
cout << Add(a1, a2) << endl;
cout << Add(d1, d2) << endl;
return 0;
}
但是假如传进去的参数类型不同,编译器会直接发生报错,而不会像函数一样,对参数进行隐式参
数转化.
解决方法有两个:
1.用户自己强制类型转化2.显示实例化
2.3 显式实例化
指定T是什么类型,我们称之为显式实例化
int main(void)
{
int a = 10;
double b = 20.0;
// 显式实例化
Add<int>(a, b);
return 0;
}
2.4 一些注意点
1.编译器支持既有函数,也有模板,当同时匹配的时候,先调用函数,之后再考虑模板.
2.如果模板能够生成更加匹配的函数,那编译器就会选择调用模板
一句话,谁更好,编译器会自动挑谁调用.
3. 类模板
3.1 类模板格式
之前我们实现栈的时候,采用的是typedef来使这个数据结构适用于不同的参数类型.
现在有了类模板,书写就会更加方便,而不用构造多个类,同时调整typedef的类型.
和函数模板类似,它的结构如下面所示
template<class T1, class T2, …, class Tn>
class 类模板名
{
// 类内成员定义
};
下面是栈的部分类模板,有一些函数没有实现.
PS:类模板中函数放在类外进行定义时,需要加模板参数列表
template<class T>
class Vector
{
public:
Vector(size_t capacity = 10)
: _a(new T[capacity])
, _size(0)
, _capacity(capacity)
{}
// 使用析构函数演示:在类中声明,在类外定义。
~Vector();
void PushBack(const T& data);
//...
size_t Size() { return _size; }
T& operator[](size_t pos)
{
assert(pos < _size);
return _a[pos];
}
private:
T* _a;
size_t _size;
size_t _capacity;
};
// 注意:类模板中函数放在类外进行定义时,需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
if (_a)
delete[] _a;
_size = _capacity = 0;
}
3.2 类模板实例化
类模板名字本身并不是真正的类,需要我们提供类型,才能算作一个真正的类
// Vector类名,Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;
3.3 一些注意点
类模板也有作用域,它的作用域使从声明开始,到本文件结束,只在当前文件内有效