c++stl 之list的底层理解及其模拟实现

一、 list的使用

1.1 list的构造

构造函数（ (constructor)）	接口说明
list (size_type n, const value_type& val = value_type())	构造的list中包含n个值为val的元素
list()	构造空的list
list (const list& x)	拷贝构造函数
list (InputIterator first, InputIterator last)	用[first, last)区间中的元素构造list

1.2 list iterator的使用

此处，大家可暂时将迭代器理解成一个指针，该指针指向list中的某个节点。

【注意】

1. begin与end为正向迭代器，对迭代器执行++操作，迭代器向后移动
2. rbegin(end)与rend(begin)为反向迭代器，对迭代器执行++操作，迭代器向前移动

1.3 list capacity

1.4 list element access

1.5 list modifiers

函数声明	接口说明
push_front	在list首元素前插入值为val的元素
pop_front	删除list中第一个元素
push_back	在list尾部插入值为val的元素
pop_back	删除list中最后一个元素
insert	在list position 位置中插入值为val的元素
erase	删除list position位置的元素
swap	交换两个list中的元素
clear	清空list中的有效元素

1.6 list的迭代器失效

前面说过，此处大家可将迭代器暂时理解成类似于指针，迭代器失效即迭代器所指向的节点的无效，即该节点被删除了。因为list的底层结构为带头结点的双向循环链表，因此在list中进行插入时是不会导致list的迭代器失效的，只有在删除时才会失效，并且失效的只是指向被删除节点的迭代器，其他迭代器不会受到影响。

举例代码：

void TestListIterator1()
{
   
int array[] = {
    1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
list<int> l(array, array+sizeof(array)/sizeof(array[0]));
auto it = l.begin();
while (it != l.end())
{
   
// erase()函数执行后，it所指向的节点已被删除，因此it无效，在下一次使用it时，必须先给
其赋值
l.erase(it);
++it;
}
}
// 改正
void TestListIterator()
{
   
int array[] = {
    1, 2, 3, 4, 5, 6, 7, 8, 9, 0 };
list<int> l(array, array+sizeof(array)/sizeof(array[0]));
auto it = l.begin();
while (it != l.end())
{
   
l.erase(it++); // it = l.erase(it);
}
}

二、list的模拟实现

#define _CRT_SECURE_NO_WARNINGS 1
#pragma once
#include<iostream>
#include<assert.h>
#include "reverse_iterator.h"
using namespace std;
namespace sk
{
   
	//构造链表
	template <class T>
	struct ListNode
	{
   
		ListNode(const T& val = T())
			:_prev(nullptr)
			,_next(nullptr)
			,_val(val)
		{
   }

		ListNode<T>* _prev;
		ListNode<T>* _next;
		T _val;
	};
	//list迭代器封装
	template <class T, class Ref, class Ptr>
	class __list_iterator
	{
   
		typedef ListNode<T> Node;
		typedef __list_iterator<T, Ref, Ptr> Self;
		
	public:
		Node* _node;

		__list_iterator(Node* x)
			:_node(x)
		{
   }
		Ref operator*()
		{
   
			return _node->_val;
		}
		Ptr operator->()
		{
   
			return &(_node->_val);
		}
		Self& operator++()
		{
   
			_node = _node->_next;
			return *this;
		}
		Self operator++(int)
		{
   
			Self tmp(*this);
			_node = _node->_next;
			return tmp;
		}
		Self operator--()
		{
   
			_node = _node->_prev;
			return *this;
		}
		Self operator--(int)
		{
   
			Self