STL源码剖析笔记——list

系列文章目录

STL源码剖析笔记——迭代器

---

1. list概述

  vector相较于vector的连续线性空间，list就显得复杂许多，它的好处是每次插入或删除一个元素，就配置或释放一个元素空间。因此，list对于空间的运用有绝对的精准，一点也不浪费。而且，对于任何位置的元素插入或元素移除，list永远是常数时间。

2. list的结点

  list本身和节点的数据结构需要分开设计：

template <class T>
struct __list_node {
	typedef void* void__pointer;
	void_pointer prev; / / 型别为 void*。 其实可设为 _list_node<T>* 
	void_pointer next;
	T data;
}

  根据节点可以判断出这是一个双向链表。

3. list的迭代器

  由于STL list是一个双向链表,迭代器必须具备前移、 后移的能力，所以list提供的是双向迭代器（Bidirectional Iterators）。list不再能够像vector一样以普通指针作为迭代器，因为其节点不保证在储存空间中连续存在。list迭代器必须有能力指向list的节点，并有能力进行正确的递增、递减、取值、成员存取等操作。递增时指向下一个节点，递减时指向上一个节点， 取值时取的是节点的数据值，成员取用时取用的是节点的成员。

//以下对迭代器取值(dereference),取的是节点的数据值
reference operator*() const { return (*node).data; }
//以下是迭代器的成员存取(member access)运算子的标准做法
pointer operator->() const { return &(operator*()); }

//对迭代器累加1,就是前进一个节点
self& operator++() {
	node = (link_type)((*node).next);
	return *this;
}
self operator++(int) { self tmp - *this;
	++*this;
	return tmp;
)
//对迭代器递减1,就是后退一个节点
self& operator--() {
	node = (link_type)((*node).prev);
	return *this;
)
self operator--(int) {
	self tmp = *this;
	--*this;
	return tmp;
}

  list有一个重要性质：插入操作(insert)和接合操作(splice)都不会造成原有的list迭代器失效。甚至list的元素删除操作(erase),也只有“指向被删除元素”的那个迭代器失效，其它迭代器不受任何影响。

4. list的数据结构

  list不仅是一个双向链表，而且还是一个环状双向链表（即尾结点的后指针指向头结点，头结点的前指针指向尾结点，形成一个环）。所以它只需要一个指针node指向刻意置于尾端的一个空白结点（实际list中并没有这个结点），node便能符合STL对于“前闭后开”区间的要求：

iterator begin() {
	return (link_type)((*nOde).next);
} 
iterator end() {
	return node;
}

bool empty() const {
	return node->next == node;
}
size_type size() const {
	size_type result = 0;
	distance (begin(),end (),result); // 全局函数
	return result;
}
//取头节点的内容(元素值)
reference front() {
	return *begin();
}
//取尾节点的内容(元素值)
reference back() {
	return *(--end()); 
}

5. list的构造和内存管理

  在创建一个空list时，会创建一个空结点，prev和next指针都指向自己，向list中添加新结点时，就insert新的结点，并将指针指向对应结点，由于list的空间并不是连续的，所以加入新的结点不会像vector那样整体移动元素。

6. list的元素操作