【C++】const迭代器和普通迭代器的权限的转换问题

⭐博客主页：️CS semi主页
⭐欢迎关注：点赞收藏+留言
⭐系列专栏：C++进阶
⭐代码仓库：C++进阶
家人们更新不易，你们的点赞和关注对我而言十分重要，友友们麻烦多多点赞＋关注，你们的支持是我创作最大的动力，欢迎友友们私信提问，家人们不要忘记点赞收藏＋关注哦！！！

---

我们因为在哈希桶封装的那一篇文章中写了普通迭代器和const迭代器，但经常会发现这两个迭代器很奇怪，要么用的是const要么又是普通迭代器，两者互相转换起来很复杂，因为set是不能修改，而map是可以进行修改，所以const迭代器是十分的重要。

一、权限放大问题

大家看一下上面的代码，觉不觉得出问题了？看样子没啥问题嘛，但是我们看this是个啥，我们用下图来表明一下const：

那简单，我们加一个const解决！

二、Set的const迭代器和普通迭代器问题

我们知道，set迭代器的key值是不能改变的，那么不就是不管我们用set的什么迭代器其都是const迭代器，不理解？给个图大家一看：
注意：pair<>没有进行实例化，不存在权限是否放大，只有类型匹配的问题。

报错点在于两个pair的类模板不一样！

1、模板参数不同的概念（区别于权限）

因为是iterator和const_iterator里面用的模板参数都是：
HashTable<T, Ref,Ptr>
我们传参传的不同类型！！！

再来一个理解一下：

可能大家还是不理解，那么我们类比一下进行解释吧：

构造看看？

2、看list库里面迭代器的表现

多的不说，直接上list库函数的迭代器一看：

先思考一个问题：迭代器的拷贝是浅拷贝还是深拷贝？答案是浅拷贝！

一个问题：这不都已经有self了吗？为什么还要有个iterator，难度不是多此一举吗？

大no特no，这是一个很妙很精确很厉害的操作，我们一步一步进行讲解：

（1）分析一下迭代器的拷贝构造和构造模式

（2）iterator和self区别

我们看一下self里面的参数有啥：

T，Ref，Ptr，这三个模板参数有类型吗？？？我们从外面进行传参：int int& 和 int*，传来了这三个类型，一下子就明确了！传不同的类型需要。

我们再看一下iterator里面的参数有啥：

T，T&，T*，这三个模板参数好像有类型了哦，写死了，定死了类型就是这个！因为我们传T为int就解决了似乎！

（3）普通迭代器和const迭代器的转换

我们上面讲了那么多，所以得出一个结论：我们在底层已经写好了是iterator迭代器，这个类型定死了不改变，就是iterator的类型，我们前面讲的const迭代器和普通迭代器类型不同，但是现在在底层已经定死了是一个iterator类型的迭代器，那么后面加一个const那么不就是权限的缩小吗？？这不就变成权限的缩小的问题了吗？解决！

结论：iterator的模板参数定死了！类型定死了！加个const不存在类型不同的问题，而是权限的缩小，合规则！

3、定死类型的妙用，将const转化为权限的问题

4、解释为什么要在unordered_sset中加这么Iterator迭代器类型而不直接用self

三、解释pair中类型的错误

所以我们能够得到很好的解释为什么pair那边会报错了吧！类型不匹配咯！尽管我们用的是const迭代器和普通迭代器，但是其Ref和Ptr没有给类型呀！编译器不知道类型是啥肯定报错，所以我们就需要一个构造函数将普通迭代器能转化成为const迭代器！代码如下：

	// 哈希正向迭代器
	template<class K, class T, class Ptr, class Ref, class KeyOfT, class HashFunc>
	struct HTIterator
	{
		typedef HashNode<T> Node; // 哈希结点类型
		typedef HashTable<K, T, KeyOfT, HashFunc> HT; // 哈希表类型
		typedef HTIterator<K, T, Ptr, Ref, KeyOfT, HashFunc> Self; // 迭代器类型
		typedef HTIterator<K, T, T*, T&, KeyOfT, HashFunc> Iterator;  // 迭代器，用来传参的
		
		// 成员变量
		Node* _node;
		const HT* _pht;

		// 构造函数
		HTIterator(Node* node, const HT* pht)
			:_node(node)
			,_pht(pht)
		{}

		// const
		// 普通迭代器，是一个拷贝构造
		// cost迭代器，是一个构造，将普通迭代器构造成const迭代器
		HTIterator(const Iterator& it)
			:_node(it._node)
			, _pht(it._pht)
		{}
	};

这下子就变得只剩权限的问题了！