C++修炼:list模拟实现

Hello大家好!很高兴我们又见面啦!给生活添点passion,开始今天的编程之路!

我的博客: <但凡.

我的专栏: 《编程之路》《数据结构与算法之美》《题海拾贝》《C++修炼之路》

欢迎点赞,关注!

目录

1、list的底层结构

2、list容器的构造

3、迭代器类的完善

4、list类的完善

4.1、迭代器操作

4.2、insert

4.3、erase

4.4、其他复用接口

4.5、初始化列表和拷贝构造

4.6、赋值运算符重载

4.7、析构函数

5、补充


1、list的底层结构

list底层是双向带头循环链表,这意味着我们可以高效的在list中插入,删除节点。但是不支持随机访问。如果我们想要获取特定位置的元素需要遍历链表。

2、list容器的构造

list的模拟实现我们需要三个类,第一个类是节点,我们先把节点类写出来:

cpp 复制代码
namespace danfan
{
	template<class T>
	struct list_node
	{
		list_node* _next;
		list_node* _prev;
		T _data;
		//构造函数
		list_node(const T& val = T())
			:_next(nullptr),
			_prev(nullptr),
			_data(val)
		{
		}
	};
}

其中next指向后一个节点的地址,prev指向前一个节点的地址,data是这个节点存放的数据:

我们再大致写一下迭代器类:

cpp 复制代码
template<class T,class ref,class ptr>
struct list_iterator
{
	typedef list_iterator<T,ref,ptr> iterator;
    typedef list_node<T> Node;
	Node* _node;//迭代器指向的节点的地址

	list_iterator(Node* node)
		:_node(node)
	{
	}
};

我们这里其实需要三个模板变量,至于为什么需要三个我后面会说。

我们发现其实迭代器类和节点类都是用struct封装的,原因就在于我们实际在访问的时候不回去访问这个底层的节点,那就没必要把他设置成私有变量,那就用不到struct,用class就足够了。

接着我们再来写一下list类:

cpp 复制代码
template<class T>
class list
{
	typedef list_node<T> Node;
	typedef list_iterator<T,T&,T*> iterator;
	typedef list_iterator<T, const T&, const T*> const_iterator;
	void empty_list(const T& val=T())
{
	_head = new Node;//别忘了开空间
	_head->_next = _head;
	_head->_prev = _head;
	_head->_data = val;//默认为0

	_size = 0;
}
	list()
	{
		empty_list();
	}
private:
	Node* _head;
	size_t _size;
};

_size的用途就是可以返回链表的大小。

3、迭代器类的完善

我们回过头来完善一下迭代器类

cpp 复制代码
	template<class T,class ref,class ptr>
	struct list_iterator
	{
		typedef list_iterator<T,ref,ptr> iterator;
		typedef list_node<T> Node;
		Node* _node;//迭代器指向的节点的地址

		list_iterator(Node* node)
			:_node(node)
		{
		}
		iterator operator++()
		{
			_node = _node->_next;
			return _node;
		}
		iterator operator++(int)
		{
			iterator tmp(this->_node);
			_node = _node->_next;
			return tmp;
		}
		iterator operator--()
		{
			_node = _node->_prev;
			return _node;
		}
		iterator operator--(int)
		{
			iterator tmp(this->_node);
			_node = _node->_prev;
			return tmp;
		}
		ref operator*()
		{
			return _node->_data;
		}
		ptr operator->()
		{
			return &_node->_data;
		}
		bool operator!=(const iterator& s) const
		{
			return _node != s._node;
		}
		bool operator==(const iterator& s) const
		{
			return _node == s._node;
		}
	};

我们需要把对于迭代器的操作,主要是加减,等于,不等于,解引用,->写出来。我们注意到我们的比较操作符没有大于和小于,因为我们在一开始就说过了,list的迭代器在内存上没有地址的大小关系,所以说不能用大于和小于号来比较。另外迭代器加减,不等于,解引用这三个是必须提供的,只有这三个提供了才能使用范围for。

另外写注释的是我们的->运算符重载,这个运算符重载其实是在特定场景使用的。他主要是在list存储自定义类的时候使用。比如我们可以这样访问:

cpp 复制代码
struct A
{
	int _a;
	int _b;
	A(int a, int b)
		:_a(a),
		_b(b)
	{
		
	}
};
list<A> li;
auto it = li.begin();
cout << it->_a << endl;

假设我们的begin()接口已经实现完了,那么我们就可以通过->符号访问元素。这里按道理来说应该是->->两个符号才能访问-a,但是由于可读性的问题,省略了一个->符号,所以只剩下一个 -> 也可以正常访问。这个地方属于是特殊处理

因为咱们的迭代器有const和非const两个版本,所以我们直接在模板迭代器类传入三个模板参数,其中第二个参数和第三个参数是T&,T*或const T&,const T*。这样我们在list类中可以根据我们typedef的迭代器类型来让编译器自己决定返回迭代器的类型。

4、list类的完善

4.1、迭代器操作

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

4.2、insert

我们先实现insert因为后面的push_back可以复用insert,之后有很多接口又复用的push_back。list的insert实际上是在提供的迭代器位置之前插入元素。

push_back我就一起在这里实现了。

cpp 复制代码
void insert(iterator pos,const T& val)
{
	Node* cur= pos._node;
	Node* prev = cur->_prev;
	
	Node* newnode = new Node(val);
	newnode->_next = cur;
	cur->_prev = newnode;
	prev->_next = newnode;
	newnode->_prev = prev;

	++_size;//别忘了
}
void push_back(const T& x)
{
	insert(end(), x);
}

4.3、erase

cpp 复制代码
iterator erase(iterator pos)
{
	assert(pos != end());//pos不能是最后一个元素

	Node* cur = pos._node;
	Node* next = cur->_next;
	Node* prev = cur->_prev;

	prev->_next = next;
	next->_prev = prev;
	delete cur;
	--_size;

	return next;
}

注意点很多我们从上往下说:

首先我们一定得断言一下,但需要注意断言不能写成pos<end(),因为咱们在list里面的迭代器根本不支持大于小于比较

其次,不要忘记delete,不然会内存泄漏

第三点 ,我们一定得返回迭代器,因为删除之后会有迭代器失效的问题,原来的那个迭代器位置的节点我们已经删除了。我们返回next会调用赋值拷贝一个迭代器。这个赋值拷贝是必须存在的,因为如果穿引用返回的话我们的next出函数时候生命周期就结束了。

4.4、其他复用接口

cpp 复制代码
void push_front(const T& x)
{
	insert(begin(), x);
}
void pop_back()
{
	erase(--end());
}
void pop_front()
{
	erase(begin());
}
size_t size()
{
    return _size;
}

4.5、初始化列表和拷贝构造

实际上我们应该先实现拷贝构造才能进行以上我们实现的这些接口。

cpp 复制代码
list(list<T>& li)
{
	empty_list();
	for (auto& e : li)
	{
		push_back(e);
	}
}
list(std::initializer_list<T> il)
{
	empty_list();
	for (auto& e : il)
	{
		push_back(e);
	}
}

4.6、赋值运算符重载

这里还是采用复用swap的写法。

cpp 复制代码
void swap(list<T> li)
{
	std::swap(_head,li._head);
	std::swap(_size,li._size);
}
list<T>& operator=(list<T> li)
{
	swap(li);
	return *this;
}

4.7、析构函数

cpp 复制代码
void clear()
{
	iterator it1 = begin();
	for (it1 != end())
	{
		it1=erase(it1);//防止迭代器失效
	}
}
~list()
{
	clear();
	delete _head;
	_head = nullptr;
	_size = 0;
}

5、补充

我们实际上只实现了几个常用的接口,那些不常用的我们并没有实现。

我们现在补充一下关于迭代器的知识点:

迭代器分为以上几种,我们在调用各种接口的时候实际上是按照要求传入迭代器的。

随机访问迭代器支持读取,写入,递增递减,随机访问,多次遍历。比如我们vector的迭代器就是随机访问迭代器。

双向迭代器不支持随机访问,我们不能直接跳转到指定位置,只能通过遍历找到指定位置。list迭代器就是双向迭代器。

前向迭代器在和双向迭代器相比又不支持递减操作。单链表,还有之后的哈希表就是前向迭代器。

剩下的两个迭代器就是只读和只写迭代器。

这五个迭代器都具有父子集关系,如果一个接口要求传入前向迭代器,那么传入他的父集双向迭代器和随机访问迭代器也可以。但是反过来如果一个接口要求传入随机访问迭代器,就只能传入随机访问迭代器,传入他的子集(也就是剩下那四个迭代器)是不行的。(比如sort)。

如果要求传入只读和只写就是传剩下三个迭代器都可以。只读和只写迭代器没有具体的例子。

好了,今天的内容就分享到这,我们下期再见!

相关推荐
席万里12 分钟前
Go语言企业级项目使用dlv调试
服务器·开发语言·golang
jerry60929 分钟前
c++流对象
开发语言·c++·算法
fmdpenny30 分钟前
用python写一个相机选型的简易程序
开发语言·python·数码相机
虾球xz34 分钟前
游戏引擎学习第247天:简化DEBUG_VALUE
c++·学习·游戏引擎
海盗强1 小时前
Babel、core-js、Loader之间的关系和作用全解析
开发语言·前端·javascript
猿榜编程1 小时前
python基础-requests结合AI实现自动化数据抓取
开发语言·python·自动化
我最厉害。,。1 小时前
PHP 反序列化&原生类 TIPS&字符串逃逸&CVE 绕过漏洞&属性类型特征
android·开发语言·php
爱编程的鱼1 小时前
C# 类(Class)教程
开发语言·c#
2301_817031652 小时前
C语言-- 深入理解指针(4)
c语言·开发语言·算法
superior tigre2 小时前
C++学习:六个月从基础到就业——模板编程:模板特化
开发语言·c++·学习