STL（六）：list和slist

前言

我们已经介绍了vector和deque容器及其适配器，本文我们介绍STL中的链表——list和forward_list。

链表

链表是在内存中一种不连续的数据结构，链表的每个元素都是一个节点，节点中包含数据和指向下一个元素的指针，如下图：

链表通过指针来寻找下一个元素，因此在内存中可以不连续，这极大地提高了使用内存的灵活性。与链表类似的是双向链表，双向链表包含next和prev两个指针：

list

STL的list是一种双向链表数据结构，与vector、deque的实现不同，list也是继承自一个_list_base，_list_base中包含：

template <class _Tp, class _Alloc>
class _List_base 
{
protected:
_List_node<_Tp>* _M_node; 
};

_M_node是一个_List_node结构，这个结构是这样的：

// list 节点
template <class _Tp>
struct _List_node : public _List_node_base {
_Tp _M_data; // 节点存储的值
};

// 双向链表
struct _List_node_base {
_List_node_base* _M_next;
_List_node_base* _M_prev;
};

因此整个_list_base中就包含prev,next和data三个元素，与我们介绍的双向链表一致，不同的是list是一个双向环状链表，并且在尾部通过一个node作为尾部哨兵标识，可用下图表示list的结构。list中不包含其他数据成员，仅提供一些成员方法。

使用node作为尾部标识，主要是为了符合STL容器前闭后开的规则，这样iterator在遍历时，遇到node便说明遍历完成。
由于list是一种不连续的结构，这使得在任意位置增加和删除元素变得异常轻松：

iterator insert(iterator __position, const _Tp& __x) {
_Node* __tmp = _M_create_node(__x);
__tmp->_M_next = __position._M_node; // list为双向链表
__tmp->_M_prev = __position._M_node->_M_prev;
__position._M_node->_M_prev->_M_next = __tmp;
__position._M_node->_M_prev = __tmp;
return __tmp;
}

iterator erase(iterator __position) {
_List_node_base* __next_node = __position._M_node->_M_next;
_List_node_base* __prev_node = __position._M_node->_M_prev;
_Node* __n = (_Node*) __position._M_node;
__prev_node->_M_next = __next_node;
__next_node->_M_prev = __prev_node;
_Destroy(&__n->_M_data);
_M_put_node(__n);
return iterator((_Node*) __next_node);
}

可以看到只需要改变指针指向的位置就可以完成增删操作，为常数级别操作。

_List_iterator

由于链表在内存中不连续，不能支持随机访问，双向链表仅提供bidirectional_iterator支持前向和后向遍历。并且由于增删元素都不会改变其他元素在内存中的位置，因此只有删除操作会使被删除的迭代器失效，其余场景均没有迭代器失效的情况。

slist

slist是SGI提供的单向链表，slist并未被添加到标准库中，标准库使用forward_list作为单向链表，但本质上都是单向链表。
slist的结构如下：

slist使用一个不包含数据的哑节点作为头节点，这样方便在头部插入元素，并且由于slist只能向后移动，因此仅提供insert_after()函数，用于在指定节点后插入节点。
slist迭代器失效情况与list相同，无本质区别。

SGI STL源码

list相关源码
slist相关源码