模板初阶的学习-CSDN博客

本文链接：https://blog.csdn.net/x_do_myself/article/details/137559636

本文介绍了C++中的泛型编程，包括泛型模板的原理、如何通过函数模板实现自动类型匹配，以及类模板的实例化过程。重点讨论了模板函数的使用和编译器如何根据实参类型确定调用的具体函数。

摘要由CSDN通过智能技术生成

一：泛型模板

二：函数模板

三：类模板

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