List的模拟实现 && 迭代器


list与vector相比,插入、删除等操作实现的成本非常低,如果在C语言阶段熟悉理解过链表,那么现在实现起来list就显得比较简单,可以说操作层面上比vector更简洁,因为list没有扩容这个繁琐而耗时的操作,就不需要实现reserve函数了,

唯一的难点在于实现链表遍历,当然这里说得不是像C语言下通过原生节点跳转遍历,而是采用迭代器遍历。

STL中所有的容器都采用迭代器++ or --的方式进行访问 ,对于string和vector来说,迭代器是非常好理解的,得益于string和vector的物理存储空间连续,迭代器可以视作原生指针。

But,对于链表 而言,每一个节点的位置都是随机存储的,如果还是使用原生节点去访问,那么势必为出现野指针导致访问权限冲突的问题。故而需要借助类和模板进行封装模拟原生指针的效果。

故而可以 得出:STL中的迭代器可以分为两类
1、原生指针
2、模拟指针效果的对象

因此文章主要谈论list迭代器的模拟实现,具体代码请参考gitee仓库👇

https://gitee.com/chxchenhaixiao/test_c/blob/master/List/List/list.h

首先需要定义节点的结构,数值+前驱指针+后继指针的结构体

cpp 复制代码
template<typename T>
struct list_node{
	T _data;
	list_node<T>* _next;		//带上<T>才是一个类型噢
	list_node<T>* _prev;

	list_node(const T& val= T())
		:_next(nullptr)
		,_prev(nullptr)
	{
		_data=val;
	}
}

其次 需要实现list的主题框架,我们所实现的是双向带哨兵位循环链表

cpp 复制代码
template<typename T>
class list{
private:
	typedef list_node<T> node;	//内部typedef,方便起见
	node* _head;		//_head是哨兵位节点
public:
	list(){
		_head = new node;
		_head->_prev=_head->_next=_head;
	}

	void push_back(const T& val = x){
		node* new_node = new node(x);
		new_node->_prev = _head->_prev;
		_head->_prev->_next=new_node;
		new_node->_next = _head;
		_head->_prev=new_node;
	}//此处非最优版本,只是为了后续方便测试
}

现在我声明了一个list< int > 类型的 lst 对象,并对它进行尾插操作,使得lst存有整型数据1,2,3,4

现在需要遍历链表,就要去定义迭代器iterator

so,我们开始遍写迭代器

cpp 复制代码
template<typename T>
struct _list_iterator{
	typedef list_node<T> node;
	typedef _list_iterator<T> self;
	node* _node;

	_list_iterator(node* val)
		:_node(val)
	{}

	T& operator * (){
		return _node->_data;
	}

	self& operator ++(){
		_node=_node->_next;
		return *this;
	}

	self& operator --(){
		_node=_node->_prev;
		return *this;
	}

	bool operator !=(const self& val)const{
		return _node!=val._node;
	}

其实这就是对原生指针的一个封装

接着,我们自然而然会想到,既然已经实现了迭代器,那么我们遍历的时候肯定要通过迭代器类型去访问,则就需要在list类中补充返回迭代器类型的成员函数begin和end

cpp 复制代码
template<typename T>
class list{
private:
	typedef list_node<T> node;	//内部typedef,方便起见
	node* _head;		//_head是哨兵位节点

public:

	typedef _list_iterator<T> iterator;	

	 //typedef _list_iterator<T,T&> iterator;	
	 //typedef _list_iterator<T,const T&> cosnt_iterator;

	list(){
		_head = new node;
		_head->_prev=_head->_next=_head;
	}
	
	iterator begin(){
		return iterator(_head->_next);
	}	//哨兵位下一个节点才是第一个数据
	
	iterator end(){
		return iterator(_head);
	}

	


	void push_back(const T& val = x);
}

这样就可以实现一个普通list对象的遍历了,

目前还欠缺的是const list对象的遍历实现,因此还需要补充const迭代器,const迭代器的写法可以说是照抄普通迭代器的写法了,但是为了代码变得更为简洁,可以在定义迭代器类型的时候多设置一个模板参数,变成
template<typename T,typename Ref> //Ref指引用

而list中的typedef语句可以更新为
typedef _list_iterator<T,T&> iterator;
typedef _list_iterator<T,const T&> cosnt_iterator;

list类中增设成员函数

cpp 复制代码
	const_iterator begin(){
		return const_iterator(_head->_next);
	}
	const_iteraotr end(){
		return const_iterator(_head);
	}

到这里为止,迭代器基本上已经是大致功能健全了,list的大部分操作借助我们定义的迭代器可以说说非常容易了,这里就不做过多展开。

最后,为了方便读者更好理解,文末献上模板实例化的过程:

相关推荐
北域码匠15 小时前
冒泡排序太慢?鸡尾酒排序双向优化,原生 C# 零第三方库完整代码
数据结构·排序算法·泛型·c# 算法·鸡尾酒排序·原生 c# 开发·冒泡排序优化·嵌入式算法
卷无止境17 小时前
C++ 的Eigen 库全解析
c++
卷无止境17 小时前
现代 C++特性大盘点:一门脱胎换骨的老语言
c++·后端
郝学胜_神的一滴18 小时前
CMake 27:缓存变量的特性、语法、类型与实操全解
c++·cmake
博客18003 天前
酷宝的使用方法,超好用的免费界面库,C++、MFC可用
c++·mfc·界面库·库来帮·酷宝
郝学胜_神的一滴3 天前
CMake 026:属性体系精讲、四大作用域全解 & 实战代码落地
c++·cmake
众少成多积小致巨3 天前
JNI (Java Native Interface) 技术手册中文参考指南
android·java·c++
LinXunFeng4 天前
Obsidian - 使用 Share Note 分享笔记并自部署
前端·笔记·github
Darling噜啦啦7 天前
列表转树算法深度解析:从 Map 到 Reduce 的两种实现,面试高频考点
数据结构·算法·面试
clint4568 天前
C++进阶(1)——前景提要
c++