前面我們分析了vector，這篇介紹STL中另一個重要的容器list

list的設計

list由三部分構(gòu)成：list節(jié)點、list迭代器、list本身

list節(jié)點

list是一個雙向鏈表，所以其list節(jié)點中有前后兩個指針。如下：

// list節(jié)點 template <typename T> struct __list_node {typedef void* void_pointer;void_pointer prev; // 指向前一個節(jié)點void_pointer next; // 指向下一個節(jié)點T data; // 節(jié)點的值 };

list迭代器

前面我們說過vector是利用其內(nèi)存分配類型成員給vector分配一大塊內(nèi)存，而其迭代器是原始指針，所以其迭代器的移動就是指針的移動，vector那樣通過指針的移動就能得到下一個元素，不需要特別設計。而list是鏈表結(jié)構(gòu)，鏈表中每個節(jié)點的內(nèi)存不連續(xù)，list的迭代器就是對外隱藏了從一個節(jié)點是如何移動到下一個節(jié)點的具體細節(jié)，使得外部只要將迭代器自增或自減就能得到相鄰的節(jié)點。

list迭代器只有一個指向鏈表節(jié)點的指針數(shù)據(jù)成員。如下：

typedef __list_node<T>* link_type;link_type node; // point to __list_node

下面是迭代器的前置自增和前置自減運算符的源碼，可以看到是通過節(jié)點的前向和后向指針來完成從一個節(jié)點移動到另一個節(jié)點：

self& operator++() { node = (link_type)(*node).next; return *this;}self& operator--() { node = (link_type)(*node).prev; return *this;}

list

和vector一樣，list也有個空間配置器的類型成員，通過該類型來為list的每個節(jié)點分配內(nèi)存，并且通過該類型成員將外部指定的節(jié)點數(shù)目轉(zhuǎn)換為相應節(jié)點所需的內(nèi)存。所以list的內(nèi)存模型是每個鏈表節(jié)點分配一塊單獨的內(nèi)存，然后將每個節(jié)點連接起來。而vector的內(nèi)存模型是分配一大塊連續(xù)的內(nèi)存。如下：

// 空間配置器typedef simple_alloc<list_node, alloc> list_node_allocator;

?

實際上，list不僅是一個雙向鏈表，而且還是一個環(huán)狀的雙向鏈表。為了設計的方便，在list中放置一個node指針，該指針指向一個空白節(jié)點，該空白節(jié)點的下一個節(jié)點是鏈表中起始節(jié)點，而鏈表的尾節(jié)點的下一個節(jié)點為該空白節(jié)點。雖然list底層是一個環(huán)狀雙向鏈表，但通過這樣設計后對外就表現(xiàn)出一個普通的雙向鏈表，符合一般習慣。這樣設計還有很多好處，比如快速得到鏈表的首尾節(jié)點。如下。

private://指向空白節(jié)點 link_type node; public:// 通過空白節(jié)點node完成iterator begin() const { return (link_type)(*node).next; }iterator end() const { return node;}bool empty() const { return node->next == node; }

?

下面我們看list內(nèi)部是如何構(gòu)造一個鏈表的。以我們對list的常用使用方法 list<int> lis(10)為例：

首先調(diào)用構(gòu)造函數(shù)

explicit list(size_type n){empty_initialize();insert(begin(), n, T());}

該構(gòu)造函數(shù)會先調(diào)用empty_initialize()為list分配一個空白節(jié)點，并設置前向后向指針

void empty_initialize(){node = get_node();node->next = node;node->prev = node;}link_type get_node() { return list_node_allocator::allocate(1);}

然后構(gòu)造函數(shù)會循環(huán)以插入相應個數(shù)的鏈表節(jié)點，每次插入時會分配一個節(jié)點大小的內(nèi)存，然后對這塊內(nèi)存初始化，注意插入位置是在指定位置之前插入。由于list的內(nèi)存模型和vector內(nèi)存模型的區(qū)別，vector每次插入時由于可能會造成內(nèi)存的重新配置，會造成原先所有的迭代器失效。而list的插入只是為新節(jié)點分配內(nèi)存，并將其添加到鏈表中，對鏈表中其他節(jié)點的內(nèi)存不會造成影響，所以list的插入則不會引起迭代器失效。如下。

template <typename T> void list<T>::insert(iterator position, size_type n, const T& x) {for (; n > 0; --n)insert(position, x); }
template <typename T> void list<T>::insert(iterator position, const T& x)//posiiton之前插入 {link_type tmp = create_node(x);tmp->next = position.node;tmp->prev = position.node->prev;(link_type(position.node->prev))->next = tmp;position.node->prev = tmp; }
link_type create_node(const T& x) {link_type p = get_node();construct(&p->data, x);return p; }
link_type get_node() { return list_node_allocator::allocate(1);}

?

（全文完）

附： STL系列文章：http://www.cnblogs.com/zxiner/p/7197402.html 一款簡易版STL的實現(xiàn)，項目地址：https://github.com/zinx2016/MiniSTL/tree/master/MiniSTL

轉(zhuǎn)載于:https://www.cnblogs.com/zxiner/p/7202558.html

總結(jié)

以上是生活随笔為你收集整理的STL—list的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。