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;
}
使用函数重载虽然可以实现，但是有一下几个不好的地方：
2.
代码的可维护性比较低，一个出错可能所有的重载均出错、
其实我们还可以创造一个模具,然后让编译器来帮助我们进行自动生成对应的函数，就是模版。
函数模版
函数模版概念
函数模版的格式
template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名
(
参数列表
){}
template<typename T>
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
函数模版的原理
函数模版的实例化
化
。
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;
Add(a1, a2);
Add(d1, d2);
/*
通过实参a1将T推演为int，通过实参d1将T推演为double类型，但模板参数列表中只有一个T，
Add(a1, d1);
*/
// 此时有两种处理方式：1. 用户自己来强制转化 2. 使用显式实例化
Add(a, (int)d);
return 0;
}
2.显式实例化：在函数名后的<>中指定模板参数的实际类型
int main(void)
{
int a = 10;
double b = 20.0;
// 显式实例化
Add<int>(a, b);
return 0;
}
函数参数的匹配原则
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
return left + right;
}
void Test()
{
}
// 专门处理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()
{
//数
}
3.
模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
类模版
类模版的定义格式
template<class T1, class T2, ..., class Tn>
class 类模板名
{
// 类内成员定义
}
// 动态顺序表
// 注意：Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具
template<class T>
class Vector
{
public :
Vector(size_t capacity = 10)
: _pData(new T[capacity])
, _size(0)
, _capacity(capacity)
{}
// 使用析构函数演示：在类中声明，在类外定义。
~Vector();
void PushBack(const T& data)；
void PopBack()；
// ...
size_t Size() {return _size;}
T& operator[](size_t pos)
{
assert(pos < _size);
return _pData[pos];
}
private:
T* _pData;
size_t _size;
size_t _capacity;
};
template <class T>
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}
类模版的实例化
类模板实例化与函数模板实例化不同，由于类模版没有像函数一样的形参来进行推演，所
类模板实例化需要在类模板名字后跟
<>
，然后将实例化的类型放在
<>
中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;
Ongwu博客 版权声明：以上内容未经允许不得转载！授权事宜或对内容有异议或投诉，请联系站长，将尽快回复您，谢谢合作！