目录
前言:
1.泛型编程
2.函数模版
3.类模版
为什么要有类模版?使用typedef不行吗?
类模版只能显示实例化:
注意类名与类型的区别:
注意类模版最好不要声明和定义分离:
总结:
前言:
正如标题而言,这里只是对模版的简单认识与使用,方便后面博客介绍stl中一些容器的实现,更复杂详细的模版相关的内容将会在模版进阶中介绍。
1.泛型编程
编写与类型无关的通用代码,是代码复用的一种手段,模版是泛型编程的基础。
而模版又分为函数模版与类模版。
2.函数模版
template<class T>
void Swap(T& x, T& y)
{
T tmp = x;
x = y;
y = tmp;
}
int main()
{
int a = 1, b = 2;
double c = 1.0, d = 2.0;
Swap(a, b);
Swap(c, d);
return 0;
}
首先要注意第一点:
两次调用的Swap函数实际都不是同一个函数,第一是函数调用开辟的栈帧都不一样大,一个是int,一个是double;第二是汇编call的函数的地址也是不一样的。
这里的class可用typename替换,区别在后面的学习中会介绍。
补充一下库中的swap函数:
那模版参数是怎么识别不同的类型的呢?这就是模版的实例化,实际就是编译器帮你完成了这个工作,是隐式的实例化自动推演模版的类型。模版的实例化发生在编译时期,所以是在编译的时候根据类型推导生成的代码:
那下面来看两个问题,首先第一个,传的模版参数不明确,会报错:
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a = 1;
double b = 1.1;
Add(a, b);//报错
解决方法1:
强制转换类型,但是会丢失精度。
Add(a1,(int)d1);
解决方法2:
使用显示实例化,其实经历了隐式类型转换:
cout<<Add<int>(a,b)<<endl;//实际b转int经过了隐式类型转换
问题2,这样的能同时存在吗:
int Add(int left, int right)
{
return left + right;
}
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
template<class T1,class T2>
T1 Add(T1 left, T2 right)
{
return left + right;
}
int main()
{
int a = 1;
double b = 1.1;
Add(a, b);
}
首先,前两个能同时存在吗?答案是可以的,因为函数名的修饰规则可能不一样。
其次,调用的时候都传的类型是int类型,前两个应该谁先调用呢?答案是会调用第一个,因为第一个在编译是就确定了地址,直接就调用了,而第二个在编译时才根据类型推导生成对应的代码,也就是先要经历模版的实例化。
那如何就想调用模版呢?使用模版的显示实例化呗,Add<int>(a,b);
那在这3个模版中,传的类型不一样,会先去调用哪一个?答案是去调用第三个,编译器是聪明的,会去调用最合适最匹配的那一个;而如果没有第三个,对应的才会调用第二个。
3.类模版
格式就是:
template<class T1,class T2,...,class Tn>
class 类模版名
{
//类成员定义
};
为什么要有类模版?使用typedef不行吗?
如果我们使用typedef,那第一类想要int,第二个类想要double,是不是还要再写两个类?所以就用到了类模版,但是还是调用了两个类,编译器帮你实现了:
注意类里面的构造函数new了,需要析构时delete,因为类的对象销毁会调用析构。
类模版只能显示实例化:
因为就算调用构造函数也传不到T的身上啊,并且传的值要怎么识别是T呢?
注意类名与类型的区别:
vector<int> v1;
不加上模版参数只是类名,加上才是类型。
注意类模版最好不要声明和定义分离:
(这里指的是头文件放类模版的定义,.cpp文件放声明,分文件的声明定义分离),否则会出现链接错误(虽然有解决方式,但是还是不建议,至于为什么到模版进阶会介绍)。
如果想要类模版的声明和定义分离,目前可以放到在同一个文件里面,然后可以在类里面声明,在类外面定义(拿析构函数举例),注意类模版的定义要写在这个类的下面,不然找不到。但是还是不建议分开写,容易出错:
class Vector
{
public:
Vector(int capacity=4)
{
_pDate = new T[capacity];
_size = _capacity = 0;
}
~Vector();
private:
T* _pDate;
int _size;
int _capacity;
};
template<class T>
Vector<T>::~Vector()
{
delete[] _pDate;
_pDate = nullptr;
_size = _capacity = 0;
}
int main()
{
Vector<int> v1;
return 0;
}