【初阶与进阶C++详解】第七篇：模板初阶（泛型编程+函数模板）

🏆个人主页：企鹅不叫的博客

​ 🌈专栏

• C语言初阶和进阶
• C项目
• Leetcode刷题
• 初阶数据结构与算法
• C++初阶和进阶
• 《深入理解计算机操作系统》
• 《高质量C/C++编程》
• Linux

⭐️ 博主码云gitee链接：代码仓库地址

⚡若有帮助可以【关注+点赞+收藏】，大家一起进步！

💙系列文章💙

【初阶与进阶C++详解】第一篇：C++入门知识必备

【初阶与进阶C++详解】第二篇：C&&C++互相调用（创建静态库）并保护加密源文件

【初阶与进阶C++详解】第三篇：类和对象上（类和this指针）

【初阶与进阶C++详解】第四篇：类和对象中（类的六个默认成员函数）

【初阶与进阶C++详解】第五篇：类和对象下（构造+static+友元+内部类

【初阶与进阶C++详解】第六篇：C&C++内存管理（动态内存分布+内存管理+new&delete）

---

---

💎一、泛型编程

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础

使用函数重载虽然可以实现，但是有一下几个不好的地方：

1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数
2. 代码的可维护性比较低，一个出错可能所有的重载均出错

💎二、函数模板

🏆2.1函数模板概念

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

函数模板不是一个具体函数，而是一个函数家族

🏆2.2函数模板格式

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

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

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

注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)

🏆2.3函数模板原理

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

模板运行时不检查数据类型，也不保证类型安全，相当于类型的宏替换

🏆2.4函数模板的实例化

用不同类型的参数使用函数模板时，称为函数模板的实例化 。

1.隐式实例化：让编译器根据实参推演模板参数的实际类型

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 10.0, d2 = 20.0;
	Add(a1, a2);
	Add(d1, d2);
/*
下面语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型通过实参a1将T推演为int，通过实参d1将T推演为double类型，但模板参数列表中只有一个T，编译器无法确定此处到底该将T确定为int 或者 double类型而报错
注意：在模板中，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要背黑锅
		Add(a1, d1);
*/
// 此时有两种处理方式：1. 用户自己来强制转化 2. 使用显式实例化
	Add(a, (int)d);
     Add<int>(a1, d1);
	return 0;
}

2.显示实例化：在函数名后的<>中指定模板参数的实际类型

int main(void)
{
	int a = 10;
	double b = 20.0;
	// 显式实例化
	Add<int>(a, b);
	return 0;
}

🏆2.5模板参数的匹配原则

1.一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数

// 专门处理int的加法函数
int Add(int left, int right)
{
	return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
	return left + right;
}
void Test()
{
	Add(1, 2); // 与非模板函数匹配，编译器不需要特化
	Add<int>(1, 2); // 调用编译器特化的Add版本
}

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

// 专门处理int的加法函数
int Add(int left, int right)
{
	return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{
	return left + right;
}
void Test()
{
	Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化
	Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函数
}

3.模板函数不允许自动类型转换，但普通函数可以进行自动类型转换

4.函数模板的定义和声明分开的话都要加上模板参数//template<class T1, class T2>，模板头文件一般用.hpp

5.模板不支持声明和定义放到两个文件当中，否则会出现链接错误，编译的时候，包含模板头文件的文件只有声明（没有模板函数的地址），链接的时候找不到定义了的模板函数的地址，编译器知道包含模板头文件的文件需要的是什么类型的，但是定义模板函数的源文件不知道调用部分需要的是什么类型，所以没有生成，对于普通函数，编译会直接生成函数，模板不是直接使用的，模板中的类型没有确定。

如果非要定义和声明分开，需要显示实例化指定,但还是建议不要分离

//template.cpp
//定义
template<typename T>
void Swap(T& left, T& right)
{
	T temp = left;
	left = right;
	right = temp;
}

template<class T>
Vector<T>::Vector(size_t capacity)
	: _pData(new T[capacity])
	, _size(0)
	, _capacity(capacity)
{}

template
void Swap<int>(int& left, int& right);
template
class Vector < int > ;
template
class Vector < double > ;

//test.c
int main()
{
	int a = 0, b = 1;
	Swap(a, b);
	Vector<int> v1;
	Vector<double> v2;

	return 0;
}

6.多个模板参数使用

tempalate <class K, class V>
void Func(const K& key, const V& value)
{
 //...
}
int mian ()
{
 Func<int, char>(1, 'A');
 return 0;
}

7.当模板参数作为返回值时,模板不能自己推到自己类型，必须我们指定

template <class T = char>
T* func(int n)
{
	return new T[n];    
}
int mian ()
{
 int* p1 = func<int>(10);//我们指定类型是<int>
 return 0;
}

8.模板参数类比函数参数，前者是类型，后者是变量、对象,缺省必须从右往左缺省

tempalte <class K, class V = char>
void Func()
{
 cout<<sizoef(K)<<endl;
 cout<<sizoef(V)<<endl;
}

int main ()
{
 Func<int, int>();
 Func<int>();
 return 0;
}

🏆2.6类模板和模板类区别

类模板是一个类家族，模板类是通过类模板实例化的具体类

---