C++必修：模版的入门到实践

✨✨ 欢迎大家来到贝蒂大讲堂✨✨

🎈🎈养成好习惯，先赞后看哦~🎈🎈

所属专栏：C++学习

贝蒂的主页：Betty’s blog

1. 泛型编程

首先让我们来思考一个问题，如何实现一个交换函数？

void swap(int& x, int& y)
{
	int tmp = x;
	x = y;
	y = tmp;
}

相信大家很快就能写出上面这段代码，但是如果要求这个交换函数支持字符型，浮点型…呢？这一点我们可以利用C++中函数重载实现。

void swap(char& x, char& y)
{
	int tmp = x;
	x = y;
	y = tmp;
}
void swap(double& x, double& y)
{
	int tmp = x;
	x = y;
	y = tmp;
}

但是我们以后如果还需支持字符串，或者其他自定义类型，难道还要在添加一个swap函数吗？这样做不仅麻烦，而且也会使代码变得冗余。

为了解决这个问题，C++就引入了模版这个概念，并且依次延伸出了泛型编程的思想。**泛型编程：**编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

模版简单来说就是像一个道具模子，根据不同的需求，可以产生不同的形态。

而模版即可以分为函数模版，又可以分为类模版。

2. 函数模版

2.1. 函数模版的用法

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。其具体语法如下：

template

返回值类型 函数名(参数列表) { }

然后我们就可以用模版定义一个针对不同类型的交换函数：

template
void Swap(T& x, T& y)
{
	T tmp = x;
	x = y;
	y = tmp;
}
int main()
{
	int a = 1, b = 2;
	cout 
	return left + right;
}
int main()
{
	//编译器自动推导类型
	cout 
	return left + right;
}
int main()
{
	int a = 1;
	double b = 1.1;
	cout 
	return left + right;
}
int main()
{
	int a = 1;
	double b = 1.1;
	cout 
	return left + right;
}
int main()
{
	int a = 1;
	double b = 1.1;
	cout 
	T2 y = 10;
	cout 
	T2 y = 10;
	cout 
	cout 
	cout 
	Add(1, 2); // 与非模板函数匹配，编译器不需要特化
	Add
	cout 
	cout 
	Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化
	Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函
}

public:
	AA(T a1, T a2)
		:_a1(a1),_a2(a2)
	{
		;
	}
	T Add();
private:
	T _a1;
	T _a2;
};

	return _a1 + _a2;
}

	//创建对象时必须要先实例化
	AA
public:
	T& operator[](size_t index)
	{
		return _array[index];
	}
	const T& operator[](size_t index)const
	{
		return _array[index];
	}
	size_t size()const
	{
		return _size;
	}
	bool empty()const
	{
		return 0 == _size;
	}
private:
	T _array[N];//定义数组
	size_t _size;
};

	array
public:
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
	bool operator
		return (_year