C++ STL与泛型编程-第三篇

本章内容：
1 deque&queue和stack深度探索
2 RB-tree深度探索
3 set/multiset深度探索
4 map/multimap深度探索

1 deque&queue和stack深度探索

deque表示双向开口容器，它模拟了一个连续的存储空间(实质表示连续分段的容器)，其中buffer和元素结点设计如下图所示：

deque结构
其中buffer表示deque的缓冲区，每个buffer可以存放多个元素结点。并且每个buffer指针存放在vector容器中。每个iterator存放四个指针:cur、first、last、node，cur表示当前数据结点的指针，first表示buffer首指针，last表示buffer的尾指针，node表示这个iterator在vector中的指针地址。
deque的源代码如下所示：

deque源码剖析1

deque源码剖析2
deque的insert操作：deque<T>::insert()

insert操作

insert_aux操作
下面讲解deque如何模拟连续空间(全都是deque iterator的功劳)，如下图所示：

deque功能方法

deque运算符重载

deque ++,--

deque +=,+

deque -=,-

Red-Black tree(红黑树)是一个平衡二分搜索树(balanced binary search tree)中常被使用的一种。平衡二分搜索树的特性：排列规则有利于search和insert，并保持适度的平衡—无任何结点过深。
rb_tree提供遍历操作及iterators。
我们不应使用rb_tree的iterators改变元素值(因为元素有其严谨的排列规则)。编程层面(programming leve)并非阻绝此事。如此设计是正确的，因为rb_tree即将为set何map服务(作为其底部支持)。而map允许元素的data被该改变，只有元素的key才是不可被改变的。
rb_tree提供两种insertion操作：insert_unique()和insert_equal()：

rb_tree结构
rb_tree源代码详解：

rb_tree源代码

rb_tree源代码
容器rb_tree的用例：

rb_tree测试用例G2.9

rb_tree的用例G4.9

set/multiset以rb_tree为底层结构，因此有“元素自动排序”特性。排序的依据是key，而set/multiset元素的value和key合一：value就是key。
set/multiset提供遍历操作及iterators。按正常规则(++ite)遍历，便能获得排序状态(sorted)。
我们无法使用set/multiset的iterators改变元素值(因为key有其严谨排序规则)。set/multiset的iterator是其底部的RB_tree的const-iterator就是为了禁止用户对元素的赋值。
set元素的key必须独一无二，因此其insert()用的是rb_tree的insert_unique()。
multiset元素的key可以重复，因此其insert()用的是rb_tree的insert_equal()。
容器set源代码如下所示：

set源码

map/multimap以rb_tree为底层结构，因此有“元素自动排序”特性。排序的依据是key。
map/multimap提供遍历操作及iterators。按正常规则(++ite)遍历，便能获得排序状态(sorted)。
我们无法使用map/multimap的iterators改变元素的key(因为key有其最严谨的排序规则)，但可以用它来改变元素的data。因此map/multimap内部自动将用户指定的key type设为const，如此便能禁止用户对元素的key赋值。
map元素的key必须独一无二，因此其insert()用的是rb_tree的insert_unique()。
multimap元素的key可以重复，因此其insert()用的是rb_tree的insert_equal()。
map容器的源代码如下图所示：

map源代码
容器map，独特的operator[]，如下图所示：

map operator[]