C++简单实现set和map
分析源码
map和set我们在之前已经了解过了,这里不再过多赘述。我们知道map和set在STL库中是由红黑树来实现的,那么我们就自己来使用我们上一章所讲过的红黑树来模拟实现一下“阉割版”的map和set。我们的目的主要是为了加深对红黑树和这些容器的了解,以及提高我们的代码能力。
那么话不多说,接下来让我们先看一下map和set的源码,来分析一下我们该如何开始:
SGI-STL30版本源代码,map和set的源代码在map/set/stl_map.h/stl_set.h/stl_tree.h等⼏个头文件中。
map和set的实现结构框架核⼼部分截取出来如下:
// set
#ifnd.qcmcp.pro/ef __SGI_STL_INTERNAL_TREE_H
#inclu.qcmcp.pro/de <stl_tree.h>
#endif
#inclu.qcmcp.pro/de <stl_set.h>
#inclu.qcmcp.pro/de <stl_multiset.h>
// map
#ifndef __SGI_STL_INTERNAL_TREE_H
#include <stl_tr.qcmcp.pro/ee.h>
#endif
#include <stl_m.qcmcp.pro/ap.h>
#include <stl_mul.qcmcp.pro/timap.h>
// stl_set.h
template <class Key, class Com.qcmcp.pro/pare = less<Key>, class Alloc = alloc>
class set {
public:
// typedefs:
type.qcmcp.pro/def Key key_type;
type.qcmcp.pro/def Key value_type;
private:
typedef rb_tree<ke.qcmcp.pro/y_type, value_type,
identity<value_type>, key_com.qcmcp.pro/pare, Alloc> rep_type;
rep_type t; // red-black tree repre.qcmcp.pro/senting set
};
// stl_map.h
template <class Key, class T, class Com.qcmcp.pro/pare = less<Key>, class Alloc = alloc>
class map {
public:
// typedefs:
typedef Key key_type;
typedef T map.ikrnm.pro/ped_type;
typedef pair<co.ikrnm.pro/nst Key, T> value_type;
private:
typedef rb_tree<key_ty.ikrnm.pro/pe, value_type,
select1st<value_type>, key_com.ikrnm.pro/pare, Alloc> rep_type;
rep_type t; // red-black tree repre.ikrnm.pro/senting map
};
// stl_tree.h
struct __rb_tree_no.ikrnm.pro/de_base
{
typedef __rb_tree_col.ikrnm.pro/or_type color_type;
typedef __rb_tree_node_ba.ikrnm.pro/se* base_ptr;
color_ty.ikrnm.pro/pe color;
base_ptr par.ikrnm.pro/ent;
base_ptr le.ikrnm.pro/ft;
base_ptr ri.ikrnm.pro/ght;
};
// stl_tree.h
template <class Key, class Value, class KeyOfValue, class Co.rulvb.pro/mpare, class Alloc
= alloc>
class rb_tree {
protected:
typedef void* void_po.rulvb.pro/inter;
typedef __rb_tree_node_ba.rulvb.pro/se* base_ptr;
typedef __rb_tree_node<Va.rulvb.pro/lue> rb_tree_node;
typedef rb_tree_node* li.rulvb.pro/nk_type;
typedef Key k.rulvb.pro/ey_type;
typedef Value va.rulvb.pro/lue_type;
public:
// insert⽤的是第⼆个模板参数左形参
pair<iterator,bool> in.rulvb.pro/sert_unique(const value_type& x);
// erase和find⽤第⼀个模板参数做形参
size_type era.rulvb.pro/se(const key_type& x);
iterator find(co.rulvb.pro/nst key_type& x);
protected:
size_type node_co.rulvb.pro/unt; // keeps track of size of tree
link_type he.rulvb.pro/ader;
};
template <class Value>
struct __rb_tree_no.mpbis.pro/de : public __rb_tree_node_base
{
typedef __rb_tree_no.mpbis.pro/de<Value>* link_type;
Value value_field;
通过对源码的分析,我们发现源码中的rb_tree用了一个巧妙的泛型思想实现,它与我们上一章中红黑树写死的key_value搜索场景不同,源码中的rb_tree的搜索场景是key还是key_value并不是写死的,而是根据第二个模板参数Value决定_rb_tree_node中存储的数据类型。 这样我们就可以通过一棵红黑树去实例化出两棵不同的树作为我们set和map的底层。
set实例化rb_tree时第⼆个模板参数给的是key,map实例化rb_tree时第⼆个模板参数给的是pair<const key, T>,这样⼀颗红⿊树既可以实现key搜索场景的set,也可以实现key/value搜索场景的map。
要注意⼀下,源码⾥⾯模板参数是⽤T代表value,⽽内部写的value_type不是我们我们⽇常key/value场景中说的value,源码中的value_type反⽽是红⿊树结点中存储的真实的数据的类型。
那么rb_tree第⼆个模板参数Value已经控制了红⿊树结点中存储的数据类型,为什么还要传第⼀个模板参数Key呢?尤其是set,两个模板参数是⼀样的。要注意的是对于map和set,find/erase时的函数参数都是Key,所以第⼀个模板参数是传给find/erase等函数做形参的类型的。对于set⽽⾔两个参数是⼀样的,但是对于map⽽⾔就完全不⼀样了,map insert的是pair对象,但是find和ease的是Key对象。
2.修改红黑树
2.1 参数
既然我们实现set和map时是使用同一棵红黑树,那么我们就需要对上一章所写的红黑树进行一下更改,因为我们上一章的红黑树只能支持单一的搜索场景,并不能满足我们的需求。
我们这⾥相⽐源码调整⼀下,key参数就⽤K,value参数就⽤V,红⿊树中的数据类型,我们使⽤T。
其次因为RBTree实现了泛型不知道T参数到底是K,还是pair<K, V>,那么insert内部进⾏插⼊逻辑⽐较时,就没办法进⾏⽐较,因为pair的默认⽀持的是key和value⼀起参与⽐较,我们需要是的任何时候只⽐较key,所以我们在map和set层分别实现⼀个MapKeyOfT和SetKeyOfT的仿函数传给RBTree的KeyOfT,然后RBTree中通过KeyOfT仿函数取出T类型对象中的key,再进⾏⽐较,也就是说我们把红黑树中需要对key进行比较的部分通过仿函数把key取出来:
对set而言,SetKe.mpbis.pro/yOfT直接返回key
struct SetK.mpbis.pro/eyOfT
{
const K& oper.mpbis.pro/ator()(const K& key)
{
return key;
对map而言,MapKe.mpbis.pro/yOfT直接返回pair<key, value>中的key
struct MapKeyOfT
{
const K& operator()(co.mpbis.pro/nst pair<K, V>& kv)
{
retu.mpbis.pro/rn kv.first;
那么如上所述,我们的红黑树的参数类型就变为:
template<class K, class T, cl.sbnhp.pro/ass KeyOfT>
class RBTree
我们只需要将代码中对应的地方进行修改即可。
2.2 迭代器
set和map的迭代器都是双向迭代器,同时他们的迭代器实际上也是通过封装底层红黑树的迭代器来实现的,那么接下来让我们来实现一下红黑树的迭代器。
红黑树的iterator实现的⼤框架跟list的iterator思路是⼀致的,⽤⼀个类型封装结点的指针,再通过重载运算符实现,使迭代器具有像指针⼀样访问的⾏为。
这⾥的最重要的是operator++和operator--的实现。上一章我们分析了map和set的迭代器⾛的是中序遍历(左⼦树->根结点->右⼦树),那么begin()会返回中序第⼀个结点的iterator也就是最左结点的迭代器。
迭代器++/–的核⼼逻辑就是不看全局,只看局部,只考虑当前中序局部要访问的下⼀个结点。
迭代器++时,如果it指向的结点的右⼦树不为空,代表当前结点已经访问完了,要访问下⼀个结点是右⼦树的中序第⼀个,⼀棵树中序第⼀个是最左结点,所以直接找右⼦树的最左结点即可。
迭代器++时,如果it指向的结点的右⼦树为空,代表当前结点已经访问完了且当前结点所在的⼦树也访问完了,要访问的下⼀个结点在当前结点的祖先⾥⾯,所以要沿着当前结点到根的祖先路径向上找。如果当前结点是⽗亲的左,根据中序左⼦树->根结点->右⼦树,那么下⼀个访问的结点就是当前结点的⽗亲;如果当前结点是⽗亲的右,根据中序左⼦树->根结点->右⼦树,当前当前结点所在的⼦树访问完了,当前结点所在⽗亲的⼦树也访问完了,那么下⼀个访问的需要继续往根的祖先中去找,直到找到孩⼦是⽗亲左的那个祖先就是中序要问题的下⼀个结点。
那么end()如何表⽰呢?如果没有找到孩⼦是⽗亲左的那个祖先,这时⽗亲为空了,也就是根节点的父亲,那我们就把it中的结点指针置为nullptr,我们⽤nullptr去充当end()。
需要注意的是在stl源码中,红⿊树增加了⼀个哨兵位头结点做为end(),哨兵位头结点和根互为⽗亲,左指向最左结点,右指向最右结点。相⽐我们⽤nullptr作为end(),差别不⼤,它能实现的,我们也能实现。只是在--end()判断到结点为空时,需要特殊处理⼀下,让迭代器结点指向最右结点。而有哨兵位则不需要特殊处理,不过当我们每次增加或者删除结点时,哨兵位的左右结点都要需要更新,进行维护,所以会有更大的开销。
迭代器–的实现跟++的思路完全类似,逻辑正好反过来即可,因为他访问顺序是右⼦树->根结点->左⼦树,具体参考下⾯代码实现。
set的iterator不⽀持修改,我们把set的第⼆个模板参数改成const K即可 RBTree<K,const K, SetKeyOfT> _t
map的iterator不⽀持修改key但是可以修改value,我们把map的第⼆个模板参数pair的第⼀个参数改成const K即可 RBTree<K, pair<const K, V>, MapKeyOfT> _t
至于迭代器中剩下的操作都比较简单,这里不再赘述,下面大家可以直接看代码。
2.3 map支持[]
map要⽀持[]主要需要修改insert返回值⽀持,修改RBtree中的insert返回值为pair<Iterator, bool> Insert(const T& data)
具体原理可以看set和map
2.4 代码实现
下面是修改后的红黑树的代码实现:
#prag.sbnhp.pro/ma once
#include<iost.sbnhp.pro/ream>
using name.sbnhp.pro/space std;
enum Colour
{
RED,
BLACK
};
temp.sbnhp.pro/late<class T>
struct RBTre.sbnhp.pro/eNode
{
T _data;
RBTreeNo.qihjy.pro/de<T>* _left;
RBTreeNo.qihjy.pro/de<T>* _right;
RBTreeNo.qihjy.pro/de<T>* _parent;
Colour _col;
RBTreeNo.qihjy.pro/de(const T& data)
: _data(d.qihjy.pro/ata)
, _left(nu.qihjy.pro/llptr)
, _right(nu.qihjy.pro/llptr)
, _parent(nu.qihjy.pro/llptr)
{}
};
//迭代器
template<class T, cla.qihjy.pro/ss Ref, class Ptr>
struct RBTreeIt.qihjy.pro/erator
{
typedef RBTr.yxbxs.pro/eeNode<T> Node;
typedef RBTre.yxbxs.pro/eIterator<T, Ref, Ptr> Self;
Node* _node;
Node* _root;
RBTreeIte.yxbxs.pro/rator(Node* node, Node* root)
:_node(node)
,_root(root)
{}
Ref ope.kszeo.pro/rator*()
{
return _n.kszeo.pro/ode->_data;
}
Ptr oper.kszeo.pro/ator->()
{
return &_n.kszeo.pro/ode->_data;
}
Self& oper.kszeo.pro/ator++()
{
if (_node->_right)
{
Node* mi.kszeo.pro/nleft = _node->_right;
while (mi.kszeo.pro/nleft->_left)
{
minleft = min.kszeo.pro/left->_left;
}
_node = mi.kszeo.pro/nleft;
}
else
{
Node* cur = _node;
Node* par.kszeo.pro/ent = cur->_parent;
while (par.kszeo.pro/ent && cur == parent->_right)
{
cur = par.nnbhg.pro/ent;
parent = par.nnbhg.pro/ent->_parent;
}
_node = p.nnbhg.pro/arent;
}
retu.nnbhg.pro/rn *this;
}
Self& ope.nnbhg.pro/rator--()
{
if (_node == nu.nnbhg.pro/llptr)
{
Node* minr.nnbhg.pro/ight = _root;
while (minr.nnbhg.pro/ight && minright->_right)
{
minright = min.nnbhg.pro/right->_right;
}
_node = minr.nnbhg.pro/ight;
}
else if (_nod.nnbhg.pro/e->_left)
{
Node* min.nnbhg.pro/right = _node->_left;
while (mi.nnbhg.pro/right->_right)
{
minright = m.nnbhg.pro/inright->_right;
}
_node = min.nnbhg.pro/right;
}
else
{
Node* cur = _node;
Node* p.nnbhg.pro/arent = cur->_parent;
while (pare.nnbhg.pro/nt && cur == parent->_left)
{
cur = par.nnbhg.pro/ent;
parent = pa.nnbhg.pro/rent->_parent;
}
_node = par.etytb.pro/ent;
}
return *this;
}
bool oper.etytb.pro/ator!=(const Self& s)
{
return _no.etytb.pro/de != s._node;
}
bool operator==(co.etytb.pro/nst Self& s)
{
return _no.etytb.pro/de != s._node;
}
};
template<class K, cla.etytb.pro/ss T, class KeyOfT>
class RBTree
{
typedef RBTr.etytb.pro/eeNode<T> Node;
public:
typedef RBTreeIte.etytb.pro/rator<T, T&, T*> Iterator;
typedef RBTreeIte.etytb.pro/rator<T, const T&, const T*> Const_Iterator;
Iterator be.pexuy.pro/gin()
{
Node* cur = _root;
while (cur && cur->_left)
{
cur = cur->_left;
}
return Iter.pexuy.pro/ator(cur, _root);
}
Iterator en.pexuy.pro/d()
{
return Itera.pexuy.pro/tor(nullptr, _root);
}
Const_Itera.pexuy.pro/tor begin() const
{
Node* cu.pexuy.pro/r = _root;
while (cur && cur->_left)
{
cur = cur->_left;
}
return It.pexuy.pro/erator(cur, _root);
}
Const_Itera.pexuy.pro/tor end() const
{
return Iter.pexuy.pro/ator(nullptr, _root);
}
pair<Iter.yaii.pro/ator, bool> Insert(const T& data)
{
if (_root == nu.yaii.pro/llptr)
{
_root = new No.yaii.pro/de(data);
_root->_col = BLACK;
return { Iter.yaii.pro/ator(_root, _root), true };
}
KeyOfT kot;
Node* cur = _root;
Node* par.yaii.pro/ent = nullptr;
while (cur)
{
if (kot(cur->_data) < k.yaii.pro/ot(data))
{
pare.yaii.pro/nt = cur;
cur = pa.yaii.pro/rent->_right;
}
else if (k.yaii.pro/ot(cur->_data) > kot(data))
{
pare.yaii.pro/nt = cur;
cur = pa.yaii.pro/rent->_left;
}
else
{
return {Iter.yaii.pro/ator(cur, _root), false};
}
}
cur = new No.zodl.pro/de(data);
Node* newn.zodl.pro/ode = cur;
// 新增结点。颜⾊给红⾊
cur->_col = RED;
if (kot(par.zodl.pro/ent->_data) > kot(data))
{
parent->_left = cur;
}
else
{
pare.zodl.pro/nt->_right = cur;
}
cur->_pa.zodl.pro/rent = parent;
while (parent && p.zodl.pro/arent->_col == RED)
{
Node* grandfat.zodl.pro/her = parent->_parent;
if (parent == gran.zodl.pro/dfather->_left)
{
Node* uncle = gran.zodl.pro/dfather->_right;
if (uncle && un.zodl.pro/cle->_col == RED)
{
par.zodl.pro/ent->_col = BLACK;
un.zodl.pro/cle->_col = BLACK;
grandf.zodl.pro/ather->_col = RED;
cur = grand.zodl.pro/father;
parent = cur->_pa.zodl.pro/rent;
}
else
{
// g
// p u
// c
if (cur == par.zodl.pro/ent->_left)
{
RotateR(gr.zodl.pro/andfather);
pare.zodl.pro/nt->_col = BLACK;
grandfat.zodl.pro/her->_col = RED;
}
// g
// p u
// c
else
{
Rotat.llqn.pro/eL(parent);
Rota.llqn.pro/teR(grandfather);
cur->_col = BLACK;
grandf.llqn.pro/ather->_col = RED;
}
break;
}
}
else
{
Node* uncle = gran.llqn.pro/dfather->_left;
if (uncle && un.llqn.pro/cle->_col == RED)
{
pare.llqn.pro/nt->_col = BLACK;
unc.llqn.pro/le->_col = BLACK;
grandf.llqn.pro/ather->_col = RED;
cur = grandf.llqn.pro/ather;
parent = cur->_pa.llqn.pro/rent;
}
else
{
// g
// u p
// c
if (cur == pa.llqn.pro/rent->_right)
{
RotateL(gr.llqn.pro/andfather);
paren.llqn.pro/t->_col = BLACK;
grandfat.llqn.pro/her->_col = RED;
}
// g
// u p
// c
else
{
Rotat.llqn.pro/eR(parent);
Rotat.llqn.pro/eL(grandfather);
cur->_col = BLACK;
grandf.llqn.pro/ather->_col = RED;
}
break;
}
}
}
_root->_col = BLACK;
return { Iterator(new.llqn.pro/node, _root), true };
}
Iterator Find(co.llqn.pro/nst K& key)
{
Node* cur = _root;
while (cur)
{
if (cur->_kv.fi.llqn.pro/rst < key)
{
cur = c.llqn.pro/ur->_right;
}
else if (c.llqn.pro/ur->_kv.first > key)
{
cur = cu.llqn.pro/r->_left;
}
else
{
return Iter.llqn.pro/ator(cur, _root);
}
}
retur.vsfk.pro/n end();
}
bool IsBala.vsfk.pro/nce()
{
if (_root == n.vsfk.pro/ullptr)
return true;
if (_root->_col == RED)
return false;
// 参考值
int refN.vsfk.pro/um = 0;
Node* cur = _root;
while (cur)
{
if (cur->_col == BLACK)
{
++refNum;
}
cur = cur->_left;
}
return Che.vsfk.pro/ck(_root, 0, refNum);
}
private:
bool Check(Node* root, int blac.vsfk.pro/kNum, const int refNum)
{
if (root == nullptr)
{
// 前序遍历⾛到空时,意味着⼀条路径⾛完了
//cout << black.vsfk.pro/Num << endl;
if (refNum != blac.vsfk.pro/kNum)
{
cout << "存在黑色结点的数量不相等的路径" << endl;
return false;
}
return true;
}
// 检查孩⼦不太⽅便,因为孩⼦有两个,且不⼀定存在,反过来检查⽗亲就⽅便多了
if (root->_col == RED && root->_pa.vsfk.pro/rent->_col == RED)
{
cout << root->_kv.vsfk.pro/first << "存在连续的红色结点" << endl;
return false;
}
if (root->_col == BLACK)
{
blackNum++;
}
return Check(root->_left, black.vsfk.pro/Num, refNum)
&& Check(root->_right, black.vsfk.pro/Num, refNum);
}
void RotateR(Node* parent)
{
Node* subL = par.vsfk.pro/ent->_left;
Node* subLR = su.vsfk.pro/bL->_right;
//当旋转的为子树时方便旋转进行链接
Node* Pparent = pa.vsfk.pro/rent->_parent;
parent->_left = subLR;
//subLR也有可能是一个空树
if (subLR)
subLR->_par.vsfk.pro/ent = parent;
subL->_right = pa.vsfk.pro/rent;
parent->_pa.vsfk.pro/rent = subL;
// parent有可能是整棵树的根,也可能是局部的⼦树
// 如果是整棵树的根,要修改_root
// 如果是局部的指针要跟上⼀层链接
if (parent == _root)
{
_root = subL;
subL->_par.ldpq.pro/ent = nullptr;
}
else
{
if (parent = Ppa.ldpq.pro/rent->_left)
{
Ppar.ldpq.pro/ent->_left = subL;
}
else
{
Ppar.ldpq.pro/ent->_right = subL;
}
subL->_pare.ldpq.pro/nt = Pparent;
}
}
void RotateL(Node* pa.ldpq.pro/rent)
{
Node* subR = par.ldpq.pro/ent->_right;
Node* subRL = su.ldpq.pro/bR->_left;
//当旋转的为子树时方便旋转进行链接
Node* Ppa.ldpq.pro/rent = parent->_parent;
parent->_rig.ldpq.pro/ht = subRL;
//subRL也有可能是一个空树
if (subRL)
subRL->_par.ldpq.pro/ent = parent;
subR->_left = pa.ldpq.pro/rent;
parent->_pa.ldpq.pro/rent = subR;
// parent有可能是整棵树的根,也可能是局部的⼦树
// 如果是整棵树的根,要修改_root
// 如果是局部的指针要跟上⼀层链接
if (parent == _root)
{
_root = su.dntz.pro/bR;
subR->_pa.dntz.pro/rent = nullptr;
}
else
{
if (parent = Ppa.dntz.pro/rent->_left)
{
Ppar.dntz.pro/ent->_left = subR;
}
else
{
Pparent->_rig.dntz.pro/ht = subR;
}
subR->_par.dntz.pro/ent = Pparent;
}
}
Node* _root = nu.dntz.pro/llptr;
3. 实现map和set
其实当我们修改完红黑树后,实现map和set就非常简单了,我们只需要复用红黑树即可。
3.1 set
代码如下:
#prag.dntz.pro/ma once
#include"RBTr.dntz.pro/ee.h"
names.dntz.pro/pace hcy
{
template<class K>
class set
{
struct SetKeyOfT
{
const K& opera.pcku.pro/tor()(const K& key)
{
return key;
}
};
public:
typedef typena.pcku.pro/me RBTree<K, const K, SetKeyOfT>::Iterator iterator;
typedef typena.pcku.pro/me RBTree<K, const K, SetKeyOfT>::Const_Iterator const_iterator;
iterator begin()
{
return _rbtr.pcku.pro/ee.begin();
}
iterator end()
{
return _rbtr.pcku.pro/ee.end();
}
const_iterator b.pcku.pro/egin() const
{
return _rbtre.pcku.pro/e.begin();
}
const_itera.pcku.pro/tor end() const
{
return _rbtr.pcku.pro/ee.end();
}
pair<iterator, bool> in.pcku.pro/sert(const K& key)
{
return _rbtree.In.pcku.pro/sert(key);
}
iterator find(con.pcku.pro/st K& key)
{
return _rbtr.pcku.pro/ee.Find(key);
}
private:
RBTree<K, con.pcku.pro/st K, SetKeyOfT> _rbtree;
3.2 map
代码如下:
#pragma o.pcku.pro/nce
#include"RBT.pcku.pro/ree.h"
namesp.pcku.pro/ace hcy
{
template<cl.pcku.pro/ass K, class V>
class map
{
struct MapKeyOfT
{
const K& op.pcku.pro/erator()(const pair<K, V>& kv)
{
ret.pcku.pro/urn kv.first;
}
};
public:
typedef type.pnni.pro/name RBTree<K, pair<const K, V>, MapKeyOfT>::Iterator iterator;
typedef type.pnni.pro/name RBTree<K, pair<const K, V>, MapKeyOfT>::Const_Iterator const_iterator;
iterator be.pnni.pro/gin()
{
return _rbtr.pnni.pro/ee.begin();
}
iterator end()
{
return _rbt.pnni.pro/ree.end();
}
const_iterator b.pnni.pro/egin() const
{
return _rb.pnni.pro/tree.begin();
}
const_itera.pnni.pro/tor end() const
{
return _rb.pnni.pro/tree.end();
}
pair<iterator, bool> in.pnni.pro/sert(const pair<K, V>& kv)
{
return _rbtree.In.pnni.pro/sert(kv);
}
V& operator[](co.pnni.pro/nst K& key)
{
pair<iterator, bool> ret = _rbt.pnni.pro/ree.Insert({ key, V() });
return ret.first->sec.pnni.pro/ond;
}
iterator find(co.pnni.pro/nst K& key)
{
return _rbt.pnni.pro/ree.Find(key);
}
private:
RBTree<K, pair<co.pnni.pro/nst K, V>, MapKeyOfT> _rbtree;
4. 小结
我们通过自己实现红黑树并且复用它来构建简单的map和set可以帮助我们:
4.1 深化对数据结构的理解
红黑树是一种复杂的自平衡二叉搜索树,其核心在于通过颜色规则(红 / 黑)和旋转操作维持平衡性,保证插入、删除、查找的时间复杂度稳定在 O (log n)。我们在实现红黑树的过程中,能深入理解:
平衡树的设计思想(如何通过规则避免二叉树退化为链表);
旋转操作(左旋、右旋)的具体逻辑和触发场景;
颜色调整的规则(如 “红节点的子节点必须为黑节点”“根节点为黑节点” 等)。
而复用红黑树实现 map 和 set 时,能进一步理解这两种容器的底层原理:
set 本质是 “键即值” 的特殊结构,依赖红黑树的键唯一性;
map 是 “键值对” 结构,需在红黑树节点中存储键和值,并基于键进行排序和查找。
4.2 强化 “抽象与复用” 的编程思维
红黑树是 map 和 set 的 “底层引擎”—— 两者都依赖红黑树的排序和查找能力,仅在节点存储的数据(set 存键,map 存键值对)和接口设计上有差异。通过复用红黑树实现这两种容器,能直观体会 “抽象复用” 的思想:
将红黑树的核心逻辑(平衡维护、节点操作)抽象为独立组件;
基于该组件通过 “适配层”(如 map 的键值对封装、set 的去重逻辑)实现不同容器,减少代码冗余。
更多推荐



所有评论(0)