目录:
一:泛型模板
二:函数模板
三:类模板
WeChat_20240731222910
1:泛型模板
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
以交换函数为列进行讲解:
void Swap(int& left, double & right)
{
int temp = left;
left = right;
right = temp;
}
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:函数模板
2.1 函数模板实例化
底层原理:
编译器会根据当前调用函数实参的类型自动推到模板参数的类型(也就是说,使用模
板 函数,会自动生成对应类型的函数,即函数模板的实列化)
模板本质:
就是程序员自己省事了,把本应我们自己写的代码,交给了编译器。
存在的问题:对于第二个Add函数调用,不能编译通过
分析:
在函数模板中,编译器不会自动进行类型的转换;又因为实参a1对应double
类型,此时就会把 T自动视为double 类型,实参 a对应int 类型,此时编译器就发生了歧义,T到底
是int 还是 double 类型
2.2实例化类型的转换
1)隐式实例化(强转)
此时会根据实参的类型进行模板参数的推导
2)显示实例化:在函数名后面 , 实参前面指明当前数据的类型
2.3模板参数的匹配原则
思考以下问题:
1) 模板函数 和 int Add(int&x ,int& y) 是否可以同时存在???
2)当调用Add(a,(int)a1)的时候编译器到底调用模板函数还是调用int Add(int&x,int &y)这个
函数???
当我们调试的时候发现是调用int Add(int&x,int &y)函数。
因为调用模板函数的最终目的还是生成对应的int Add(int&x,int &y)这个函数,现在有
现成的函数,那编译器就没有必要根据函数模板自己生成对应的函数。
总结:
对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而
不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模
板
2.4 模板参数与函数参数区别
模板参数:表示的是类型;使用的是一个“< >”
函数参数: 表示的是一个变量,使用的是一个“( )”
3:类模板
对于类模板的存在,或许有的人说,没有必要:使用typedef 一样是可以解决 问题
比如说定义一个Stack 类,
里面存储的数据假设是 int ,只需要typedef 即可。
但是:当Stack ,即存储int 类型数据,又存储 char 类型数据,这是无法同时满足的
类模板的形式:
template < class T1 , class T2 , ..., class Tn >class 类模板名{// 类内成员定义};
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;
}
3.1类模板的实例化
3.2 类 与类型的区别
有了模板,class 定义的类就不在只是简单的一个类型
对于类模板:
类就是类名;
类型是类模板实例化之后的
总结:
C++ 里面有了模板(泛型编程),是一个质的飞跃,这对后期一些类的定义打下了基础。不过还
是要对函数模板,类模板,模板参数,函数参数……要有深入的了解,方便后期学习!