【C++深入浅出】模版初识

傷城~ 2024-04-25 20:07 174阅读 0赞

### ![ca4e1d4af3d94d7eb2ac9d0a4c1c07cb.jpeg][] ###

--------------------

**目录**

一. 前言

二. 泛型编程

三. 函数模版

3.1 函数模版的概念

3.2 函数模版的格式

3.3 函数模版的原理

3.4 函数模板的实例化

3.5 模板参数的匹配原则

四. 类模版

4.1 类模版的定义

4.2 类模版的实例化

--------------------

### 一. 前言 ###

本期我们要介绍的是C++的又一大重要功能----模版。通过模版，我们可以很轻松的进行泛型编程，大大简化我们编程时的代码。

本文的目标是让读者对模版有一定程度上的了解，以便后续STL的学习，对于模版更深层次的内容，我们放到以后再进行拓展。

**话不多说，开启我们今日的学习叭**![ba156e19bd9d41538c25b4760f016c66.gif][]

### 二. 泛型编程 ###

假如现在有个需求，要求我们实现一个swap函数用于数据的交换，数据类型可能是整形、浮点型、字符型等等，通过我们之前学习的知识，你会如何进行实现呢？

聪明的你可能会这样实现![57a8ec62ba554668bc6894305759c19f.png][]

//利用函数重载实现三种不同类型的swap函数
    void Swap(int& x, int& y) //引用传参
    {
    	int tmp = x;
    	x = y;
    	y = tmp;
    }
    
    void Swap(double& x, double& y)
    {
    	double tmp = x;
    	x = y;
    	y = tmp;
    }
    
    void Swap(char& x, char& y)
    {
    	double tmp = x;
    	x = y;
    	y = tmp;
    }

是的，上面的代码确实实现了我们的需求，但还是存在一些不足，体现在如下两个方面：

1.  几个重载函数仅仅是类型不同，代码逻辑都是一样的，代码的复用率比较低。每当有新类型出现时，用户就需要再自行添加一个函数
2.  代码的可维护性比较低，一个出错可能所有的重载均出错(想必你写的时候也是CV的叭![8de64f20a7a5430691b246b219a1e865.gif][])

依照以上两点不足，那我们能不能只给编译器提供一个模板，到时候让编译器根据我们指定的类型自动生成所需要的函数呢？

答案是有的。C++为我们提供了模版的概念，支持我们进行泛型编程。模版就好比一个模具，我们可以从倒入任何种类(类型)的东西到模具中，最终都会形成我们想要的对应图案(即生成相应的代码)

**泛型编程：**编写与类型无关的通用代码，是代码复用的一种手段。模版是泛型编程的基础。模板分为函数模版和类模版：

![81124d911d804e4ab73ff0afa26806d0.png][]

### 三. 函数模版 ###

#### 3.1 函数模版的概念 ####

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

#### 3.2 函数模版的格式 ####

函数模版的定义格式如下所示：

**template<typename T1, typename T2,......,typename Tn>  
返回值类型 函数名(参数列表)****\{\}**

例如，我们将上面的swap函数定义为函数模版如下：

template<typename T> //T是类型名
    void swap(T& x, T& y)
    {
    	T tmp = x;
    	x = y;
    	y = tmp;
    }

> 其中，typename是定义模版参数的关键字，也可以使用class关键字替代。

#### 3.3 函数模版的原理 ####

我们可以把函数模板看做一个蓝图，它本身并不是一个函数，而是编译器根据调用函数时传入实参产生特定类型函数的一个模具。

例如，当我们给swap函数传入double类型的参数，编译器就会自动根据模板生成一份参数为double类型的swap函数；而如果我们传入的是int类型的参数，编译器就会生成一份参数为int类型的swap函数。

由此可见，模板就是将本来应该我们做的重复的事情交给了编译器去做，将手动敲出来的代码变为编译器自动生成。

![b5706b0ee2a84bd8afd4a8e993040e5d.png][]![d01bf4f3bb634a6e8c5692c4f59137ad.png][]

> 在编译器编译阶段时，对于模板函数的使用，编译器需要根据传入的实参类型来推演T并生成对应类型的函数以供调用。比如：当double类型数据使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于其余类型也是如此。

#### 3.4 函数模板的实例化 ####

当不同类型的参数使用函数模板时，编译器根据模版为这个类型生成一份函数代码，这个过程称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

**隐式实例化**

即编译器根据实参的类型自动推导模版参数的类型：

template<class T>
    T Add(const T& left, const T& right)
    {
    	return left + right;
    }
    
    int main()
    {
    	double d1 = 2.0;
    	double d2 = 5.0;
    	Add(d1, d2); //d1和d2是double类型的，编译时编译器推导T为double类型，实例化double类型的Add函数
    
    	int i1 = 0;
    	Add(i1, d2); //此处编译会报错，因为Add只有一个模板参数T，而实参有两种类型，编译器推导时不知道将T推导为int还是double
    	return 0;
    }

可以看到，编译器进行隐式实例化也不是胡乱实例化的，必须要有唯一的结果编译器才会进行实例化，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要背黑锅。

要解决上面Add函数的问题，我们有两个解决方法：

1、用户自行进行强制类型转换

Add(i1, (int)d2); //将两个实参都变为int类型
    
    Add((double)i1, d2); //将两个实参都变为double类型

2、使用下面的显式实例化![5f66fe2186ec4d6d8553f03988edc398.png][]

**显式实例化**

调用函数时我们可以在函数名后使用<>来指定模板参数的实际类型，如下：![5f66fe2186ec4d6d8553f03988edc398.png][]

int main()
    {
    	int a = 10;
    	double b = 20.0;
    	double c = 30.0;
    	// 显式实例化
    	Add<int>(a, b);  //显式指定T实例化为int
    	Add<double>(b, c);  //显式指定T实例化为double
    	return 0;
    }

当实例化的函数形参和实参的类型不匹配时，编译器就会尝试进行隐式类型转换，如果无法转换成功编译器将会报错![f5a4427433b04357b85d261382213854.png][]

template<typename T>
    void Swap(T& x, T& y)
    {
    	T tmp = x;
    	x = y;
    	y = tmp;
    }
    int main()
    {
    	int i = 10;
    	double d = 10.0;
    	Swap<int>(i, d); //尽管我们显式进行实例化了，但这里编译器仍然会报错，原因是形参和实参无法进行隐式类型转换
    	return 0;
    }

![edab6751ba434ca5ba40461dfb385d54.png][]

#### 3.5 模板参数的匹配原则 ####

1、 一个非模板函数可以和一个同名的函数模板同时存在，并且该函数模板还可以被实例化为这个非模板函数。换句话说，我们既可以使用非模板函数，也可以使用编译器特化的模板函数。

//Swap函数模板
    template<class T>
    void Swap(T& x, T& y)
    {
    	T tmp = x;
    	x = y;
    	y = tmp;
    }
    
    //处理int类型的Swap函数
    void Swap(int& x, int& y)
    {
    	int tmp = x;
    	x = y;
    	y = tmp;
    }
    
    int main()
    {
    	int a = 10, b = 20;
    	Swap(a, b); //使用下面专门处理int的Swap函数
    	Swap<int>(a, b); //使用上面编译器特化后的Swap函数
    	return 0;
    }

2、对于非模板函数和同名函数模板，调用时会调用最匹配的那个函数。在其他条件相同的情况下，编译器会优先调用非模板函数。如果模板可以产生一个更匹配的函数，则将选择模板。

//Add函数模板
    template<class T1,class T2>
    T1 Add(T1 x, T2 y)
    {
    	return x + y;
    }
    
    //处理int类型的Add函数
    int Add(int x, int y)
    {
    	return x + y;
    }
    
    int main()
    {
    	Add(10, 20); //虽然可以通过模板生成<int,int>的模板函数，但编译器并不会去生成，而是去调用已经存在的非模板函数
    	Add(10, 20.0); //通过函数模板生成的函数会更加匹配，故调用函数模版生成的Add函数
    	return 0;
    }

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

//Add函数模板
    template<class T>
    T Add(T x, T y)
    {
    	return x + y;
    }
    
    int Swap(int x, int y)
    {
    	int tmp = x;
    	x = y;
    	y = tmp;
    }
    
    int main()
    {
    	int a = 20;
    	double d = 10.0;
    	Add(d, a); //这里会报错，Add是模板函数，不支持自动类型转换
    	Swap(d, a); //这里编译通过，d会发生隐式类型转换为int类型
    	return 0;
    }

![1eadc543ee6d496eacc2f9afffc84412.png][]

--------------------

### 四. 类模版 ###

#### 4.1 类模版的定义 ####

在C++中，除了普通函数支持模版，类也支持模版，我们把这样的类称为类模版。下面给出一个类模版的定义格式：

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

下面我们用vector类来演示一下类模板的定义方法以及注意事项(只是演示噢，并不是真正的vector模拟实现)![6a6027e989e840c7849368fa7f2df4cc.gif][]

//vector类
    template<class T>
    class Vector
    {
    public:
        //构造时使用new动态申请空间
    	Vector(int capacity = 10)
    		:_p(new T[capacity])
    		_capacity(capacity)
    		,_size(0)
    	{}
    
    	void puch_back(const T& x); //尾插
    	void pop_back(); //尾删
    
    	~Vector(); //析构时需要调用delete释放空间
    private:
    	T* _p;
    	int _capacity;
    	int _size;
    };
    
    //在类模板外定义成员函数，需要加上模版参数列表
    template<class T>
    Vector<T>::~Vector()
    {
    	if (_p != nullptr)
    	{
    		delete[] _p;
    		_capacity = _size = 0;
    	}
    }

> 值得注意的是：和模板函数一样，类模板并不是一个具体的类，它只是一个模具，只有进行实例化后才会变成一个具体的类。

#### 4.2 类模版的实例化 ####

与函数模板实例化不同，类模板不支持隐式类型推导，类模板实例化需要在类模板名字后用<>显式指定模板参数的实际类型。注意：类模板的名字不是真正的类，只有指定类型实例化后才是真正的类。

//模板的实例化
    int main()
    {
        //Vector是类名，Vector<int>才是类型名，才能用来定义对象
    	Vector<int> vi(20); //用参数为int的Vector类定义对象
    	Vector<double> vd(10); //用参数为double的Vector类定义对象
    	return 0;
    }

类模版经过类型实例化后得到的类我们称作模板类，通过模板类我们就可以定义许多相应的类对象，三者的关系可用下图表示：

![98a2a419949a4dc3ab1b3c0d27178983.png][]

--------------------

***以上，就是本期的全部内容啦*****?**

***制作不易，能否点个赞再走呢*****?**

[ca4e1d4af3d94d7eb2ac9d0a4c1c07cb.jpeg]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/03dc3c1df8fc4e8187f0c547aaedbf34.jpeg
[ba156e19bd9d41538c25b4760f016c66.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/54e78a4b868c48df891f95efcbea7071.gif
[57a8ec62ba554668bc6894305759c19f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/05267c3acd3e45d3a06b94f29a0043b7.png
[8de64f20a7a5430691b246b219a1e865.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/7d8d206de28346bf8c720bed772b37a2.gif
[81124d911d804e4ab73ff0afa26806d0.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/65f212f7543a427bbb57b1547b5ad9bc.png
[b5706b0ee2a84bd8afd4a8e993040e5d.png]: https://img-blog.csdnimg.cn/b5706b0ee2a84bd8afd4a8e993040e5d.png
[d01bf4f3bb634a6e8c5692c4f59137ad.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/c11d8336e6064611b6df9354ea9a51b9.png
[5f66fe2186ec4d6d8553f03988edc398.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/e41f1f9ebf894f909987704fb2468ecc.png
[f5a4427433b04357b85d261382213854.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/36dfd8ea01fd4ce08ee04369b025e4f4.png
[edab6751ba434ca5ba40461dfb385d54.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/f8072f5fb9e04b47b96d7bc19230548c.png
[1eadc543ee6d496eacc2f9afffc84412.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/06b03f933c314b9e9e142bdb9e560c2d.png
[6a6027e989e840c7849368fa7f2df4cc.gif]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/4f21b73b90064a4abb7875d5237d6c95.gif
[98a2a419949a4dc3ab1b3c0d27178983.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/25/cbe9fc51cf764d83a6613feda670fe3e.png