模板的进阶

最新推荐文章于 2024-08-31 23:24:16 发布

Solitary_walk

最新推荐文章于 2024-08-31 23:24:16 发布

阅读量708

点赞数 60

分类专栏： C++ 文章标签： windows 数据结构算法 c++ 开发语言 visual studio

本文链接：https://blog.csdn.net/X_do_myself/article/details/141520959

版权

C++ 专栏收录该内容

10 篇文章 0 订阅

订阅专栏

思维导图:

一. 类型模板参数

1. 类型模板参数了解

类型模板参数指的是：参数类型名称出现在模板参数列表里面，并且是在class 或者是 typename

关键字之后。

2. 类型模板参数的使用

2.1 class 与 typename 的区别

一般情况下，默认使用 class 和 typename 没有什么本质区别

但是当我们在一个类里面再进行定义一个类的时候，当我们使用这个内嵌类型的时候就不能使用

class 关键字来定义参数模板了，此时需要使用typename 关键字。只单纯进行文字性输出，可能

不是很好理解，结合具体使用的场景，或许理解起来更容易。

（其实这个问题在对list 迭代器模拟实现的时候，就已经显现出来了），list 的迭代器本质是对指针

进行了封装以及相关运算符的重载。

在 类外定义一个函数，此函数可以实现对list 容器内数据的遍历。

发现此时编译报错：

分析：

因为此时list<T> 在编译的时候是一个没有进行实例化的类模板；编译器就无不知

道 list<T>::const_iterator 这是一个静态成员还是一个内嵌类型

解决：

此时的使用 typename 关键字，告知编译器这是一个内嵌类型，实例化的时候直接去类里面查找即

可。

二. 非类型模板参数

1. 非类型模板参数了解

类模板或函数模板的参数中有一个常量，可以把该参数当成一个常量来使用。

与类型模板参数的区分就是前面没有class 或者是typename

2. 非类型模板参数的使用

做个小测验：

分析：

1）非类型模板参数类型不能是浮点数，类对象，字符串。

2）在编译的时候，非类型参数必须有一个确切的数值

三. 模板特化

在原有模板的基础上，限制模板参数的类型（也就是指定模板参数为特定的类型）

问题的导入：

写一个模板函数：比较2个数据大小

我们发现此时这个模板函数不能很好的解决问题，这时候可以借助函数模板特化进行处理

1.函数模板特化

特化的步骤：

2. 类模板的特化

2.1 全特化

类模板全特化：把所有的模板参数指定为具体的类型

2.2 偏特化

类模板偏特化：把部分模板参数指定为具体的类型

偏特化：

1）必须先有一个原类的模板

2）进行模板参数类型的指定

// 原模板
template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
private:
	T1 _d1;
	T2 _d2;
};

// 偏特化同时也是对模板参数进行限制
template <typename T1, typename T2>
class Data <T1*, T2*>
{
public:
	Data() { cout << "Data<T1*, T2*>" << endl; }

private:
	T1 _d1;
	T2 _d2;
};