Bootstrap

探索C嘎嘎的奇妙世界:第十九关---STL(list的模拟实现)

1. 基本框架

首先,我们先从节点的准备工作入手,请看示例:        

#pragma once
#include<iostream>
#include<assert.h>
using namespace std;
//节点
template<class T>
struct ListNode
{
	ListNode<T>* _next;
	ListNode<T>* _prev;
	T _data;

	ListNode(const T& data = T())
		:_next(nullptr)
		, _prev(nullptr)
		, _data(data)
	{}
};

在上述代码中:先定义一个双向链表的节点结构ListNode。节点结构ListNode包含以下成员变量:
        1. _next:指向下一个节点的指针。
        2. _prev:指向上一个节点的指针。
        3. _data:存储节点数据的变量。

        节点结构ListNode还包含一个构造函数,用于初始化成员变量。构造函数接受一个参数data,用于初始化_data成员变量。如果没有提供参数,则_data成员变量的默认值为T(),即T类型的默认构造函数的返回值。

        该头文件还使用了iostream和assert.h两个标准头文件,并使用了std命名空间。

2. 封装迭代器

请看示例代码:

	//迭代器
	template<class T, class Ref, class Ptr>
	struct ListIterator
	{
		typedef ListNode<T> Node;
		typedef ListIterator<T, Ref, Ptr> Self;
		Node* _node;

		ListIterator(Node* node)
			:_node(node)
		{}

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

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

		Self operator++(int)
		{
			Self tmp(*this);
			_node = _node->_next;

			return tmp;
		}

		Self& operator--(int)
		{
			Self tmp(*this);
			_node = _node->_prev;

			return tmp;
		}

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

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

		bool operator!=(const Self& it)
		{
			return _node != it._node;
		}

		bool operator==(const Self& it)
		{
			return _node == it._node;
		}
	};

在上述代码中:定义了一个迭代器结构ListIterator,用于遍历双向链表。迭代器结构ListIterator包含以下成员变量和成员函数:
成员变量: _node:指向当前迭代器所指向的节点的指针。

成员函数如下:
        1. 构造函数:接受一个参数node,用于初始化迭代器的节点指针。
        2. 前置递增运算符(++it):将迭代器指向下一个节点,并返回自身的引用。
        3. 前置递减运算符(--it):将迭代器指向上一个节点,并返回自身的引用。
        4. 后置递增运算符(it++):将迭代器指向下一个节点,并返回之前的迭代器的副本。
        5. 后置递减运算符(it--):将迭代器指向上一个节点,并返回之前的迭代器的副本。
        6. 解引用运算符(*):返回迭代器指向节点的数据的引用。
        7. 成员访问运算符(->):返回迭代器指向节点数据的指针。
        8. 不等于运算符(!=):判断当前迭代器是否与另一个迭代器不相等。
        9. 等于运算符(==):判断当前迭代器是否与另一个迭代器相等。

迭代器结构ListIterator还使用了两个类型别名:
        1. Node:表示节点类型ListNode<T>。
        2. Self:表示迭代器自身类型ListIterator<T, Ref, Ptr>。

3. 迭代器和构造函数

请看示例代码:

	template<class T>
	class list
	{
		typedef ListNode<T> Node;
	public:
		// 不符合迭代器的行为,无法遍历
		//typedef Node* iterator;
		//typedef ListIterator<T> iterator;
		//typedef ListConstIterator<T> const_iterator;

		typedef ListIterator<T, T&, T*> iterator;
		typedef ListIterator<T, const T&, const T*> const_iterator;

		iterator begin()
		{
			//iterator it(_head->_next);
			//return it;
			return iterator(_head->_next);
		}

		const_iterator begin() const
		{
			return const_iterator(_head->_next);
		}

		iterator end()
		{
			return iterator(_head);
		}

		const_iterator end() const
		{
			return const_iterator(_head);
		}

		list()
		{
			_head = new Node();
			_head->_next = _head;
			_head->_prev = _head;
		}

该部分定义了一个双向链表类list。

list类包含以下成员变量和成员函数:
        1. typedef Node:类型别名,表示节点类型ListNode<T>。
        2. typedef iterator:类型别名,表示迭代器类型ListIterator<T, T&, T*>。
        3. typedef const_iterator:类型别名,表示常量迭代器类型ListIterator<T, const T&, const T*>。

成员函数如下:
        1. begin():返回头节点的下一个节点的迭代器,用于遍历链表。
        2. begin() const:返回头节点的下一个节点的常量迭代器,用于遍历常量链表。
        3. end():返回头节点的迭代器,用于判断迭代结束。
        4. end() const:返回头节点的常量迭代器,用于判断常量迭代结束。
        5. 构造函数:初始化头节点,将头节点的_next和_prev指向自身。

注意:由于ListIterator的设计不符合迭代器的行为,无法进行迭代,所以在list类中注释掉了typedef iterator和typedef const_iterator的定义。

3. push_back、pop_back、push_front和pop_front

请看示例代码:

void push_back(const T& x)
{
	/*Node* newnode = new Node(x);
	Node* tail = _head->_prev;

	tail->_next = newnode;
	newnode->_prev = tail;
	newnode->_next = _head;
	_head->_prev = newnode;*/

	insert(end(), x);
}

void pop_back()
{
	erase(--end());
}

void push_front(const T& x)
{
	insert(begin(), x);
}

void pop_front()
{
	erase(begin());
}

这部分代码实现了list类的push_back、pop_back、push_front和pop_front成员函数。

        1. push_back:在链表末尾添加一个节点。首先创建一个新的节点newnode,然后获取链表末尾的节点tail,将tail的_next指向newnode,newnode的_prev指向tail,newnode的_next指向头节点_head,头节点的_prev指向newnode。最后调用insert函数,在末尾迭代器的位置插入新节点。
        2. pop_back:删除链表末尾的节点。首先获取链表末尾节点的前一个节点,然后调用erase函数,将末尾迭代器的前一个位置的节点删除。
        3. push_front:在链表开头添加一个节点。调用insert函数,在开头迭代器的位置插入新节点。
        4. pop_front:删除链表开头的节点。调用erase函数,将开头迭代器的位置的节点删除。

4. insert和erase

请看示例代码:

		// 没有iterator失效
		iterator insert(iterator pos, const T& x)
		{
			Node* cur = pos._node;
			Node* newnode = new Node(x);
			Node* prev = cur->_prev;

			// prev  newnode  cur
			prev->_next = newnode;
			newnode->_prev = prev;
			newnode->_next = cur;
			cur->_prev = newnode;

			return iterator(newnode);
		}

		// erase 后 pos失效了,pos指向节点被释放了
		iterator erase(iterator pos)
		{
			assert(pos != end());

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

			prev->_next = next;
			next->_prev = prev;

			delete cur;

			return iterator(next);
		}

这部分代码实现了list类的insert和erase成员函数。

        1. insert:在指定位置前插入一个节点。首先获取迭代器pos所指向的节点cur,创建一个新的节点newnode,然后获取pos的前一个节点prev。将prev的_next指向newnode,newnode的_prev指向prev,newnode的_next指向cur,cur的_prev指向newnode。最后返回一个指向新节点的迭代器。
        2. erase:删除指定位置的节点。首先断言pos不等于end(),即pos不是指向末尾的迭代器。然后获取迭代器pos所指向的节点cur,分别获取cur的前一个节点prev和后一个节点next。将prev的_next指向next,next的_prev指向prev。删除cur节点,并释放内存。最后返回一个指向删除节点后的节点的迭代器。

        需要注意的是,在使用erase函数删除节点时,要确保操作前的迭代器pos不会失效,否则会导致未定义行为。

        到此我们只是简单的模拟实现了一下STL中list的相关接口~,后续我们会一一展开学习的,希望这篇博客能给您带来一些启发和思考!那我们下次再一起探险喽,欢迎在评论区进行讨论~~~

;