模板和STL【C++初阶】

目录

一、前言

二、函数模板  

 三、类模板

四、STL

---

 

一、前言

以前我们写swap函数时，对每一种类型的变量都要写一份swap函数，但是他们的格式都是一样的，未免有些麻烦

因此，我们今天学习的模板就可以针对广泛的类型而不是具体的类型，帮我们节省工作。

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;
}

二、函数模板  

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本

函数模板格式：

template<typename T1,typename T2,……，typename Tn>

typename 也可以写成class

template<typename T>
void Swap(T& left, T& right)
{
    T temp = left;
    left = right;
    right = temp;
}

原理： 

函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是本来我们应该做的事情交给编译器。

在编译器编译阶段，编译器需要根据传入的形参类型来推演生成对应类型的函数以供调用。

 实例化：

（1）隐式实例化

让编译器根据实参来推演模板参数的实际类型。

（2）显示实例化

在函数名后的<>中指定模板参数的实际类型。

如：

Swap<int>(a,b);

模板参数的匹配原则

（1）非模板函数可以和同名的函数模板同时存在，且该函数模板还可以实例化为这个非模板函数。

（2）对于非模板函数和同名函数模板，如果其他条件都相同，在调用时会优先调用模板函数。如果模板可以产生一个具有更好匹配的函数，那么将选择模板。

（3）模板函数不会自动类型转换，普通函数可以。

 三、类模板

定义格式：

template<class T1,class T2,……，class Tn>
class <类模板名>
{
    //类内成员定义
};

 

#include <iostream>
using namespace std;
template<class T>
class Vector
{
public:
	Vector(size_t capacity = 10)
		:_pData(new T[capacity])
		,_size(0)
		,_capacity(capacity)
	{}
	~Vector();
	//……
private:
	T* _pData;
	size_t _size;
	size_t _capacity;
};
template <class T>//类模板中函数放在类外进行定义时，需要加模板参数列表
Vector<T>::~Vector()
{
	if (_pData)
		delete[] _pData;
	_size = _capacity = 0;
}

 类模板的实例化：

类模板实例化需要在类模板名字后跟<>,再将实例化类型放在<>中即可，类模板不是真正的类，而实例化的结果才是真正的类。

Vector<int> s1;
Vector<double> s2;

四、STL

什么是STL（standard template libaray）：

是C++标准库的重要组成部分，不仅是一个可复用的组件库，而且是一个包罗数据结构与算法的软件框架。