(1)set模板和map模板都是继承于一个父类
所以没有再详细注释。维持红黑树主要的功能都在父类_Tree里了,比如节点的添加,删除,查找。父类红黑树的操作,并不依赖于特定的数据类型。做到了父类模板的通用性。那它是怎么做到的呢?以下介绍一下map与set的异同与操作上的兼容。
(2)set中节点的数据结构
这是map的数据结构。我也没有再重新绘制。因为跟set数据结构的唯一区别就是第四项不再存储pair<const _Kty, _Ty>,而是只存储 _Kty 。为什么呢?以下给出以下泛型推导。参考下图:
set接受模板参数后,把参数传递给父类 _Tree,父类 又把模板实参传递给_Tset_traits,这是1。
在箭头2中,_Tset_traits 据此定义了value_type 类型:using value_type = _Kty;。
箭头3 , _Tree 引用了_Traits::value_type类型,并据此创建了set的节点类型_Node。
如此,在箭头4创建节点时,包含的就仅有 _Kty 值了。如此,捋出来了set的节点的数据结构。
(3)在红黑树中怎么查找节点
map和set中都是直接引用的父类中的查找函数find(图中红框所示)。图中黄色箭头展示了,查找过程中的函数调用关系。父类_Tree 中是如何对两种树都可以查找呢?是差异性的调用了两个不同模板中的同名函数_Kfn(),所以仍然可以获得树节点中的键值。
无论树节点的插入和删除,都涉及对节点位置的查找。而后节点的插入与删除,是节点级别,与树节点中存储的数据类型就没有关系了。
至此红黑树的主要内容就结束了。很多操作,无非就是节点的插入和删除,包括树合并。
更详细注释,参见map源码分析。那个是第一遍做的。谢谢,感恩一切。