【C++】红黑树封装map和set

这篇具有很好参考价值的文章主要介绍了【C++】红黑树封装map和set。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

一、map和set源码剖析

我们知道,map和set的底层是红黑树,但是我们这里可能有一个疑问,我们知道,set是K模型的容器,而map是KV模型的容器,那么他们为什么能同样使用红黑树呢?我们来看看STL库中源码是怎样实现的

//map
#include <stl_tree.h>
#include <stl_map.h>
#include <stl_multimap.h>

//set
#include <stl_tree.h>
#include <stl_set.h>
#include <stl_multiset.h>

我们可以看到,stll中map和set头文件分别包含了三个头文件,其中stl_tree.h是红黑树,stl_map.h和stl_set.h是map和set,stl_multimap.h和stl_multiset.h是multimap和multiset,所以这就是我们使用multimap和multiset的时候只需要包map和set头文件的原因

下面我们分别看看map和set这两个类:

map:

//stl_map.h
template <typename _Key, typename _Tp, typename _Compare = std::less<_Key>, typename _Alloc = std::allocator<std::pair<const _Key, _Tp> > >
class map
{
public:
    typedef _Key                                          key_type;
    typedef std::pair<const _Key, _Tp>                    value_type;
private:
    typedef _Rb_tree<key_type, value_type, _Select1st<value_type>,
        key_compare, _Pair_alloc_type> _Rep_type;
    _Rep_type _M_t;
public:
    pair<iterator, bool> insert(const value_type& __x) { return _M_t._M_insert_unique(__x); }
    size_type erase(const key_type& __x) { return _M_t.erase(__x); }
    iterator find(const key_type& __x) { return _M_t.find(__x); }
};

//stl_set.h
template<typename _Key, typename _Compare = std::less<_Key>, typename _Alloc = std::allocator<_Key> >
class set
{
public:
    typedef _Key     key_type;
    typedef _Key     value_type;
private:
    typedef _Rb_tree<key_type, value_type, _Identity<value_type>,
        key_compare, _Key_alloc_type> _Rep_type;
    _Rep_type _M_t;
public:
    pair<iterator, bool> insert(const value_type& __x)
    {
        std::pair<typename _Rep_type::iterator, bool> __p =
            _M_t._M_insert_unique(__x);
        return std::pair<iterator, bool>(__p.first, __p.second);
    }
    size_type erase(const key_type& __x) { return _M_t.erase(__x); }
    iterator find(const key_type& __x) { return _M_t.find(__x); }
};

我们可以看到,set和map的插入和删除等接口都是封装调用的红黑树的接口,对于map来说,key_type就是K,而value_type是pair类型,它的两个参数分别是模板参数_Key和_Tp,也就是传递给map的模板参数K和V,而对于set来说,key_type是K,而另一个变量value_type也是K,set不是K模型的容器吗,为什么还需要一个value_type变量呢,下面我们看一看红黑树的源码:

//stl_tree.h
//红黑树的基类
struct _Rb_tree_node_base
{
    typedef _Rb_tree_node_base* _Base_ptr;
    typedef const _Rb_tree_node_base* _Const_Base_ptr;

    _Rb_tree_color	_M_color;
    _Base_ptr		_M_parent;
    _Base_ptr		_M_left;
    _Base_ptr		_M_right;
};

//红黑树的节点结构
template<typename _Val>
struct _Rb_tree_node : public _Rb_tree_node_base
{
	typedef _Rb_tree_node<_Val>* _Link_type;
    _Val _M_value_field;
};

//红黑树
template<typename _Key, typename _Val, typename _KeyOfValue, typename _Compare, typename _Alloc = allocator<_Val> >
class _Rb_tree
{
protected:
    typedef _Rb_tree_node_base* 		_Base_ptr;
public:
    typedef _Key 				key_type;
    typedef _Val 				value_type;
    typedef value_type* 			pointer;
    typedef value_type& 			reference;
    typedef _Rb_tree_node<_Val>* 		_Link_type;
};

我们可以看到,红黑树中定义了一个基类_Rb_tree_node_base,基类中定义了节点的颜色和三叉链结构,然后让_Rb_tree_node去继承基类,并在类中增加成员变量_M_value_field,_M_value_field的类型是_val,而这个_val恰好是红黑树的第二个模板参数,也就是map和set传递过来的value_type,如下:

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

红黑树作为底层容器,如果是map,则红黑树的模板参数_val会被实例化成pair<K,V>,那么红黑树节点中存储的数据的类型也是pair<K,V>,如果是set,则红黑树的模板参数_val被实例化成K,此时红黑树节点中存储的数据的类型为K。所以红黑树可以根据第二个模板参数_val的实参类型实例化出符合set和map要求的两个类,我们看到这里,可能会有一个疑问,那么为什么还需要传递第一个模板参数呢,这是因为某些函数需要使用key,比如map的find函数只能通过key进程查询,即在map的find中不能够通过_val即pair类型来进行查询。

我们知道怎样使用一棵红黑树来封装map和set之后,我们需要先将自己的红黑树改造一下:

//节点颜色
enum Color {
	RED,
	BLACK
};

template<class T>
struct RBTreeNode {
	RBTreeNode<T>* _left;
	RBTreeNode<T>* _right;
	RBTreeNode<T>* _parent;

	T _data;
	Color _col;  //节点颜色

	RBTreeNode(const T& data)
		: _data(data)
		, _left(nullptr)
		, _right(nullptr)
		, _parent(nullptr)
		, _col(RED)  //默认给成红色
	{}
};

template<class K, class T>
class RBTree {
	typedef RBTreeNode<T> Node;
public:
	bool insert(const T& data) {}
};

但是我们会发现这里存在一个问题,我们在插入的时候需要比较key的大小来确定插入的位置,在之前我们模拟实现红黑树的时候,我们直接将节点定义成为了pair<K,V>类型,所以我们可以直接取pair->first进行比较,但是现在节点中的数据可能是pair类型的,也有可能是key类型的,所以我们不能单纯的使用data.first,同时由于stl中实现的pair比较函数并不是单纯的比较first,而是先比较first再比较second:

template <class T1, class T2>
bool operator<  (const pair<T1,T2>& lhs, const pair<T1,T2>& rhs)
{ 
    return lhs.first<rhs.first || (!(rhs.first<lhs.first) && lhs.second<rhs.second); 
};

template <class T1, class T2>
bool operator>  (const pair<T1,T2>& lhs, const pair<T1,T2>& rhs) { return rhs<lhs; }

那么这个时候,我们也不能够使用库中提供的默认的比较函数,所以我们只能自己写一个仿函数来完成红黑树节点数据的比较,我们看stl源码中可以发现,stl中也是通过这样的方式来完成节点数据的比较–在红黑树中传递第三个模板参数–_KeyOfValue

所以我们再map和set中写一个仿函数,对于set来说函数返回key即可,map返回pair中第一个数据first即可,代码如下:

map:

//map.h
namespace hdp {
	template<class K, class V>
	class map {
	public:
		struct MapKeyOfT {
			const K& operator()(const pair<const K, V>& kv) {
				return kv.first;
			}
		};

	private:
		RBTree<K, pair<const K, V>, MapKeyOfT> _t;
	};
};

set:

//set.h
namespace hdp {
	template<class K>
	class set {
	public:
		struct SetKeyOfT {
			const K& operator()(const K& k) {
				return k;
			}
		};

	private:
		RBTree<K, K, SetKeyOfT> _t;
	};
}

所以这个时候,我们在红黑树实现的时候,在比较节点大小的时候,我们使用该仿函数的对象,来帮助我们完成对节点数据的比较:

/RBTree.h
//map: RBTree<K, pair<K,V>, MapKeyOfT> _t;
//set: RBTree<K, K, SetKeyOfT> _t;
template<class K, class T, class KeyOfT>
class RBTree {
	typedef RBTreeNode<T> Node;
public:
	bool insert(const T& data) {
		//判断根节点是否为空
		if (_root == nullptr) {
			_root = new Node(data);
			_root->_col = BLACK;  //根节点的颜色一定为黑
			return true;
		}

		//寻找插入位置
		KeyOfT kot;  //仿函数对象
		Node* parent = nullptr;
		Node* cur = _root;
		while (cur) {
			if (kot(data) < kot(cur->_data)) {
				parent = cur;
				cur = cur->_left;
			}
			else if (kot(data) > .kot(cur->_data)) {
				parent = cur;
				cur = cur->_right;
			}
			else {
				return false;  //不允许重复节点
			}
		}

		//走到空开始插入,注意这里还需要修改父节点的指向
		//新增节点的颜色为默认被初始化为红色,所以这里不需要再显式赋值
		Node* newNode = new Node(data);
		if (kot(data) < kot(parent->_data))
			parent->_left = newNode;
		else
			parent->_right = newNode;
		newNode->_parent = parent;  //修改父节点指向
        
        //调整节点
    }
private:
    Node* _root;
};

二、红黑树的迭代器

红黑树的迭代器的实现方式和list的实现方式类似,都需要为迭代器单独实现出一个类,在类中重载运算符来实现迭代器的各种行为,operator*()返回节点中的数据,operator->()返回节点的地址,operator!=()用来比较两个迭代器是否相等,此外,为了满足实现普通迭代器和const迭代器两个版本,我们需要增加两个模板参数与 Ref 和Ptr,使其能够返回T&和T*.

1.begin()与end()

STL中规定,迭代器中的begin()和end()是一个左闭右开的区间,即begin()指向第一个数据,而end()指向最后一个数据的下一个位置,对红黑树进行中序遍历之后,我们就可以得到一个有序的序列,因此,begin()可以指向红黑树中最小的节点的位置(最左侧的节点的位置),end()可以放在最大节点(最右侧节点)的下一个位置。

为了使得end()能够指向最右节点的下一个位置,stl源码实现中增加了一个哨兵位的头结点,该节点的左节点指向这棵树的最左节点,也就是begin(),该节点的右节点指向这棵树的最右节点,parent指向nullptr,然后 让根父节点指向它,最右节点的右指针指向它,所以在stl源码的实现中这个哨兵位的头结点就是end():

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

我们安装库中实现的方式就需要更新我们实现红黑树的结构,那样会比较的麻烦,这里我们实现简单的方式,将end()直接定义为nullptr

template<class K, class T, class KeyOfT>
class RBTree
{
	typedef RBTreeNode<T> Node;

public:
	typedef __RBTreeIterator<T, T&, T*> iterator;
	typedef __RBTreeIterator<T, const T&, const T*> const_iterator;

public:
	iterator begin()
	{
		Node* left = _root;
		while (left->_left)
		{
			left = left->_left;
		}

		return iterator(left);
	}

	iterator end()
	{
		return iterator(nullptr);
	}

	const_iterator begin() const
	{
		Node* left = _root;
		while (left && left->_left)
		{
			left = left->_left;
		}

		return const_iterator(left);
	}

	const_iterator end()  const
	{
		return const_iterator(nullptr);
	}
}

2.operator++()与operator–()

map和set的遍历是按照红黑树的中序遍历进行的,红黑树是一棵二叉搜索树,那么红黑树的迭代器++应该是指向中序遍历的下一个节点的位置,而–就是走到中序遍历的上一个节点的位置。

我们在遍历时可以分为两种情况:

1.如果当前节点有右孩子,那么迭代器++就应该移动到右子树的最左节点

2.如果当前节点没有右孩子,则迭代器++应该移动到当前节点为父节点的左孩子的那一个祖先节点

我们以下面的图为例:

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

我们假设当前节点为13,由于13有右孩子,那么迭代器++就应该移动到13的右子树的最左节点,即15.辱人格当前节点为6,由于6没有右孩子,所以迭代器++就应该移动到当前节点为父节点的左孩子的那一个祖先节点,也就是8.为什么不是移动到8呢,这是因为中序遍历的遍历顺序是左子树 根 右子树,我们访问6的时候,而6是1的右孩子,那么1一定在6之前就已经访问过了,所以我们需要找到cur==parent->_left的parent节点,也就是8.

迭代器的–和++的过程相反,情况分为下面的两种:

1.如果当前节点有左孩子,那么迭代器–移动到左孩子的最右节点

2.如果当前节点没有左孩子,那么迭代器–就移动到当前节点为父节点的右孩子的那一个祖先节点

假设当前节点为13,那么迭代器–就应该移动到左孩子的最右节点,即11,我们正着中序遍历的时候,是访问了11就访问13,反过来访问了13就访问11,然后我们继续–,此时11没有左孩子,那么就移动到当前节点为父节点的右孩子的祖先节点,即8,我们发现也是正确的

迭代器代码如下:

template<class T, class Ref, class Ptr>
struct __RBTreeIterator
{
	typedef RBTreeNode<T> Node;
	typedef __RBTreeIterator<T, Ref, Ptr> Self;
	typedef __RBTreeIterator<T, T&, T*> iterator;

	Node* _node;

	__RBTreeIterator(Node* node)
		:_node(node)
	{}


	// 普通迭代器的时候,他是拷贝构造
	// const迭代器的时候,他是构造,支持用普通迭代器构造const迭代器
	__RBTreeIterator(const iterator& it)
		:_node(it._node)
	{}

	Ref operator* ()
	{
		return _node->_data;
	}

	Ptr operator->()
	{
		return &_node->_data;
	}

	Self& operator++()
	{
		if (_node->_right)
		{
			Node* min = _node->_right;
			//找右树的最小节点
			while (min->_left)
			{
				min = min->_left;
			}

			_node = min;
		}
		else
		{
			Node* cur = _node;
			Node* parent = cur->_parent;

			while (parent && cur == parent->_right)
			{
				cur = parent;
				parent = parent->_parent;
			}

			_node = parent;
		}

		return *this;
	}

	Self& operator--()
	{
		if (_node->_left)
		{
			Node* max = _node->_left;

			//找左树的最大节点
			while (max->_right)
			{
				max = max->_right;
			}

			_node = max;
		}
		else
		{
			Node* cur = _node;
			Node* parent = cur->_parent;

			while (parent && cur == parent->_left)
			{
				cur = parent;
				parent = parent->_parent;
			}

			_node = parent;
		}

		return *this;
	}


	bool operator!=(const Self& s)  const
	{
		return _node != s._node;
	}

	bool operator==(const Self& s)  const
	{
		return _node == s._node;
	}
};

三、set的模拟实现

我们在模拟实现set的时候,需要在类中定义一个RBTree类型的成员变量,其中模板参数分别为K,K,SetOfT.然后插入查找等成员函数直接调用红黑树的接口即可。但是我们需要注意set迭代器的实现。

我们知道,set中key的值是不能够被修改的,因为这样会破坏二叉搜索树的结构,所以我们的普通迭代器和const迭代器返回的key值都应该是const,否则set中key值就可以被修改。所以我们需要让set的普通迭代器和const迭代器都使用红黑树的const迭代器来进行封装:

typedef typename RBTree<K, K, SetKeyOfT>::const_iterator iterator;
typedef typename RBTree<K, K, SetKeyOfT>::const_iterator const_iterator;

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

我们发现报错的原因是因为_t.begin()和_t.end() 返回的是红黑树的普通迭代器,而set中用于接受返回值的iterator其本质封装的是红黑树的const迭代器,所以这样报错的原因是将红黑树的普通迭代器赋值给了红黑树的const迭代器

解决这个问题的方式有很多,比如set的begin()和end()调用红黑树的cbegin()和cend(),我们这样参考stl库的方式

iterator begin() const { return _M_t.begin();}
iterator end() const { return _M_t.end();}

我们可以看到,stl库中解决的办法很简单,将begin()和end()修饰为const成员函数即可,这样因为当普通成员函数调用const成员函数时权限会被缩小,也就是说,当begin()和end()变成const成员函数时,_t就只能调用红黑树的const迭代器了,此时iterator就能够正确接受函数的返回值了

set的模拟实现如下:

#include "RBTree.h"

namespace hdp
{
	template<class K>
	class set {
	public:
		//仿函数
		struct SetKeyOfT {
			const K& operator()(const K& k) {
				return k;
			}
		};

		//迭代器
		//typename的作用是告诉编译器这是一个类型,而不是静态变量
		//使用红黑树的const迭代器来封装set的普通迭代器,从而保证K不能被修改
		typedef typename RBTree<K, K, SetKeyOfT>::const_iterator iterator;
		typedef typename RBTree<K, K, SetKeyOfT>::const_iterator const_iterator;

		iterator begin() const
        {
			return _t.begin();
		}

		iterator end() const
        {
			return _t.end();
		}

		//std::pair<iterator, bool> insert(const K& key)
        //{
		//	//先用红黑树的普通迭代器接受插入函数的返回值
		//	std::pair<typename RBTree<K, K, SetKeyOfT>::iterator, bool> p = _t.insert(key);
		//	//再用普通迭代器构造const迭代器进行返回--红黑树的const迭代器就是set的普通迭代器
		//	return std::pair< iterator, bool>(p.first, p.second);
		//}

		bool insert(const K& key)
        {
			return _t.insert(key);
		}

		iterator find(const K& key)
        {
			return _t.find(key);
		}

	private:
		RBTree<K, K, SetKeyOfT> _t;
	};
}

四、map的模拟实现

map 和set一样,模拟实现的前面部分直接复用红黑树的接口即可,不同的是,map是KV模型的容器,KV模型的key虽然也不允许被修改,因为这可能会破坏搜索树的结构,但是value是可以进行修改的,所以map的普通迭代器封装红黑树的普通迭代器即可,而不用将其封装为红黑树的const迭代器

此外,我们也不需要担心map的key被修改的问题,因为map在定义红黑树成员函数的时候传递给红黑树T模板参数为pair<const K,V>,他保证了map的key值不能被修改:

typedef typename RBTree<K, std::pair<const K, V>, MapKeyOfT>::iterator iterator;
typedef typename RBTree<K, std::pair<const K, V>, MapKeyOfT>::const_iterator const_iterator;

//const K保证了map的key不会被修改
RBTree<K, std::pair<const K, V>, MapKeyOfT> _t;

相比于set。map还需要封装operator[](const K& key)函数的实现,我们知道,map的operator[]同时具备插入,查找和修改的功能。此时,我们红黑树的实现中的插入就需要带返回值,返回值为pair<iterator,bool>

pair<iterator, bool> Insert(const T& data)
{
	if (_root == nullptr)
	{
		_root = new Node(data);
		_root->_col = BLACK;
		return make_pair(iterator(_root), true);
	}
	else
	{
		KeyOfT kot;
		Node* cur = _root;
		Node* parent = nullptr;

		while (cur)
		{
			if (kot(cur->_data) < kot(data))
			{
				parent = cur;
				cur = cur->_right;
			}
			else if (kot(cur->_data) > kot(data))
			{
				parent = cur;
				cur = cur->_left;
			}
			else
			{
				return make_pair(iterator(cur), false);
			}
		}

		cur = new Node(data);
		cur->_col = RED;
		Node* newnode = cur;

		if (kot(parent->_data) < kot(data))
		{
			parent->_right = cur;
			cur->_parent = parent;
		}
		else
		{
			parent->_left = cur;
			cur->_parent = parent;
		}


		while (parent && parent->_col == RED)
		{
			Node* grandfather = parent->_parent;
			if (parent == grandfather->_left)
			{
				Node* uncle = grandfather->_right;

				// 情况一  uncle存在且为红
				if (uncle && uncle->_col == RED)
				{
					parent->_col = uncle->_col = BLACK;
					grandfather->_col = RED;

					cur = grandfather;
					parent = cur->_parent;
				}
				else
				{
					// 情况二
					if (cur == parent->_left)
					{
						RotateR(grandfather);

						parent->_col = BLACK;
						grandfather->_col = RED;
					}
					// 情况三
					else
					{
						RotateL(parent);
						RotateR(grandfather);

						cur->_col = BLACK;
						grandfather->_col = RED;
					}

					break;
				}
			}
			else
			{
				Node* uncle = grandfather->_left;
				if (uncle && uncle->_col == RED)
				{
					uncle->_col = parent->_col = BLACK;
					grandfather->_col = RED;

					cur = grandfather;
					parent = cur->_parent;
				}
				else
				{
					// g
					//     p
					// c
					if (cur == parent->_left)
					{
						RotateR(parent);
						RotateL(grandfather);

						cur->_col = BLACK;
						grandfather->_col = RED;
					}
					// g
					//    p
					//      c
					else
					{
						RotateL(grandfather);

						parent->_col = BLACK;
						grandfather->_col = RED;
					}

					break;
				}
			}
		}
		_root->_col = BLACK;

		return make_pair(iterator(newnode), true);
	}
}

此外,我们map和set的插入逻辑也需要进行修改:

set.h

pair<iterator, bool> insert(const K& key)
{
	return _t.Insert(key);
}

map.h

pair<iterator, bool> insert(const pair<const K, V>& kv)
{
	return _t.Insert(kv);
}

V& operator[](const K& key)
{
	pair<iterator, bool> ret = _t.Insert(make_pair(key, V()));

	return ret.first->second;
}

此时,我们运行程序的时候发现,set.h又有报错:

【C++】红黑树封装map和set,C++,c++,java,开发语言,数据结构,算法

这个报错是由于红黑树的普通迭代器赋值给const迭代器造成的,insert函数返回的是有红黑树的普通迭代器以及布尔值构成的键值对,但是接收返回值的却是红黑树的const迭代器(set的普通迭代器)以及布尔值构成的键值对

那么我们还能向之前那样通过姐const进行修饰来解决这个问题吗,显然是不行的,这样并不能其任何作用,我们参考源码的做法:

//set的insert
std::pair<iterator, bool> insert(const value_type& __x)
{
    std::pair<typename _Rep_type::iterator, bool> __p = _M_t._M_insert_unique(__x);
    return std::pair<iterator, bool>(__p.first, __p.second);
}

//红黑树的迭代器
template <class value, class Ref, class Ptr>
struct _rb_tree_iterator : public _rb_tree_base_iterator
{
    typedef _rb_tree_iterator<value, value&, value*> iterator;
    typedef _rb_tree_iterator<value, Ref, Ptr> self;
    typedef __rb_tree_node<value>* link_ type;
    _rb_tree_iterator(const iterator& it) { node = it.node; }  //拷贝构造
};

我们可以看到,stl中并不是直接将insert函数的返回值进行返回,而是先将它的返回值赋值给一个键值对,该键值对由红黑树的普通迭代器和一个布尔值构成,然后再用该键值对构造一个红黑树的const迭代器(set的普通迭代器)和一个布尔值组成的键值对进行返回,这样就不会发现类型冲突了

为什么红黑树的普通迭代器能够构造出const迭代器呢?这是由于红黑树实现了一个拷贝构造函数,该函数的参数是一个普通迭代器,而不是Self,这是因为

1.当模板实例化为<T,T&,T*>时,iterator和Self相同,此时这是一个拷贝构造函数

2.当模板实例化为<T,const T&,const T*>时,Self是const迭代器,而iterator是一个普通迭代器,它可以用一个普通迭代器构造出一个const迭代器。

所以我们可以在红黑树迭代器类中的构造函数增加一个拷贝构造函数来实现用普通迭代器来构造一个const迭代器。现在我们参照stl源码中的思路来构造我们的迭代器和set的insert函数:

__RBTreeIterator:

template<class T, class Ref, class Ptr>
struct __RBTreeIterator {
	typedef RBTreeNode<T> Node;
	typedef __RBTreeIterator<T, Ref, Ptr> Self;
	typedef __RBTreeIterator<T, T&, T*> iterator;  //普通迭代器
	Node* _node;

	__RBTreeIterator(Node* node)
		: _node(node)
	{}

	//当模板实例化为<T, T&, T*>时,iterator和Self相同,这是一个拷贝构造函数
	//当模板实例化为<T, const T&, const T*>时,Self是const迭代器,而iterator是普通迭代器,此时这是一个构造函数,它可以用普通迭代器构造一个const迭代器
	__RBTreeIterator(const iterator& s)
		: _node(s._node)
	{}
};

set.h

std::pair<iterator, bool> insert(const k& key) {
    //先用红黑树的普通迭代器接受插入函数的返回值
    std::pair<typename rbtree<k, k, setkeyoft>::iterator, bool> p = _t.insert(key);
    //再用普通迭代器构造const迭代器进行返回--红黑树的const迭代器就是set的普通迭代器
    return std::pair< iterator, bool>(p.first, p.second);
}

map的模拟实现如下:文章来源地址https://www.toymoban.com/news/detail-558656.html

#pragma once

#include "RBTree.h"

namespace hdp
{
	template<class K,class V>
	class map
	{
		struct MapKeyOfT
		{
			const K& operator()(const pair<const K,V>& kv)
			{
				return kv.first;
			}
		};
	public:
		typedef typename RBTree<K, pair<const K, V>, MapKeyOfT>::iterator iterator;
		typedef typename RBTree<K, pair<const K, V>, MapKeyOfT>::const_iterator const_iterator;

		iterator begin()
		{
			return _t.begin();
		}

		iterator end()
		{
			return _t.end();
		}

		const_iterator begin()  const
		{
			return _t.begin();
		}

		const_iterator end()  const
		{
			return _t.end();
		}

		pair<iterator, bool> insert(const pair<const K, V>& kv)
		{
			return _t.Insert(kv);
		}

		V& operator[](const K& key)
		{
			pair<iterator, bool> ret = _t.Insert(make_pair(key, V()));

			return ret.first->second;
		}
	private:
		RBTree<K, pair<const K, V>, MapKeyOfT> _t;
	};
}

五、完整代码实现

1.RBTree.h

#pragma once

//定义颜色
enum Color
{
	RED,
	BLACK,
};

// 定义节点
template<class T>
struct RBTreeNode
{
	T _data;
	RBTreeNode<T>* _left;
	RBTreeNode<T>* _right;
	RBTreeNode<T>* _parent;
	Color _col;

	RBTreeNode(const T& data)
		:_data(data)
		, _left(nullptr)
		, _right(nullptr)
		, _parent(nullptr)
		, _col(RED)
	{}
};

template<class T, class Ref, class Ptr>
struct __RBTreeIterator
{
	typedef RBTreeNode<T> Node;
	typedef __RBTreeIterator<T, Ref, Ptr> Self;
	typedef __RBTreeIterator<T, T&, T*> iterator;

	Node* _node;

	__RBTreeIterator(Node* node)
		:_node(node)
	{}


	// 普通迭代器的时候,他是拷贝构造
	// const迭代器的时候,他是构造,支持用普通迭代器构造const迭代器
	__RBTreeIterator(const iterator& it)
		:_node(it._node)
	{}

	Ref operator* ()
	{
		return _node->_data;
	}

	Ptr operator->()
	{
		return &_node->_data;
	}

	Self& operator++()
	{
		if (_node->_right)
		{
			Node* min = _node->_right;
			//找右树的最小节点
			while (min->_left)
			{
				min = min->_left;
			}

			_node = min;
		}
		else
		{
			Node* cur = _node;
			Node* parent = cur->_parent;

			while (parent && cur == parent->_right)
			{
				cur = parent;
				parent = parent->_parent;
			}

			_node = parent;
		}

		return *this;
	}

	Self& operator--()
	{
		if (_node->_left)
		{
			Node* max = _node->_left;

			//找左树的最大节点
			while (max->_right)
			{
				max = max->_right;
			}

			_node = max;
		}
		else
		{
			Node* cur = _node;
			Node* parent = cur->_parent;

			while (parent && cur == parent->_left)
			{
				cur = parent;
				parent = parent->_parent;
			}

			_node = parent;
		}

		return *this;
	}


	bool operator!=(const Self& s)  const
	{
		return _node != s._node;
	}

	bool operator==(const Self& s)  const
	{
		return _node == s._node;
	}
};


// map->RBTree<K, pair<const K, V>, MapKeyOfT> _t;
// set->RBTree<K, K, SetKeyOfT> _t;
template<class K, class T, class KeyOfT>
class RBTree
{
	typedef RBTreeNode<T> Node;

public:
	typedef __RBTreeIterator<T, T&, T*> iterator;
	typedef __RBTreeIterator<T, const T&, const T*> const_iterator;

public:
	iterator begin()
	{
		Node* left = _root;
		while (left->_left)
		{
			left = left->_left;
		}

		return iterator(left);
	}

	iterator end()
	{
		return iterator(nullptr);
	}

	const_iterator begin() const
	{
		Node* left = _root;
		while (left && left->_left)
		{
			left = left->_left;
		}

		return const_iterator(left);
	}

	const_iterator end()  const
	{
		return const_iterator(nullptr);
	}


	pair<iterator,bool> Insert(const T& data)
	{
		if (_root == nullptr)
		{
			_root = new Node(data);
			_root->_col = BLACK;
			return make_pair(iterator(_root), true);
		}
		else
		{
			KeyOfT kot;
			Node* cur = _root;
			Node* parent = nullptr;

			while (cur)
			{
				if (kot(cur->_data) < kot(data))
				{
					parent = cur;
					cur = cur->_right;
				}
				else if (kot(cur->_data) > kot(data))
				{
					parent = cur;
					cur = cur->_left;
				}
				else
				{
					return make_pair(iterator(cur), false);
				}
			}

			cur = new Node(data);
			cur->_col = RED;
			Node* newnode = cur;

			if (kot(parent->_data) < kot(data))
			{
				parent->_right = cur;
				cur->_parent = parent;
			}
			else
			{
				parent->_left = cur;
				cur->_parent = parent;
			}


			while (parent && parent->_col == RED)
			{
				Node* grandfather = parent->_parent;
				if (parent == grandfather->_left)
				{
					Node* uncle = grandfather->_right;

					// 情况一  uncle存在且为红
					if (uncle && uncle->_col == RED)
					{
						parent->_col = uncle->_col = BLACK;
						grandfather->_col = RED;

						cur = grandfather;
						parent = cur->_parent;
					}
					else
					{
						// 情况二
						if (cur == parent->_left)
						{
							RotateR(grandfather);

							parent->_col = BLACK;
							grandfather->_col = RED;
						}
						// 情况三
						else
						{
							RotateL(parent);
							RotateR(grandfather);

							cur->_col = BLACK;
							grandfather->_col = RED;
						}

						break;
					}
				}
				else
				{
					Node* uncle = grandfather->_left;
					if (uncle && uncle->_col == RED)
					{
						uncle->_col = parent->_col = BLACK;
						grandfather->_col = RED;

						cur = grandfather;
						parent = cur->_parent;
					}
					else
					{
						// g
						//     p
						// c
						if (cur == parent->_left)
						{
							RotateR(parent);
							RotateL(grandfather);

							cur->_col = BLACK;
							grandfather->_col = RED;
						}
						// g
						//    p
						//      c
						else
						{
							RotateL(grandfather);

							parent->_col = BLACK;
							grandfather->_col = RED;
						}

						break;
					}
				}
			}
			_root->_col = BLACK;

			return make_pair(iterator(newnode), true);
		}
	}
	void RotateL(Node* parent)
	{
		Node* SubR = parent->_right;
		Node* SubRL = SubR->_left;

		parent->_right = SubRL;
		if (SubRL)
			SubRL->_parent = parent;

		Node* ppNode = parent->_parent;

		SubR->_left = parent;
		parent->_parent = SubR;

		if (ppNode == nullptr)
		{
			_root = SubR;
			SubR->_parent = nullptr;
		}
		else
		{
			if (parent == ppNode->_left)
			{
				ppNode->_left = SubR;
				SubR->_parent = ppNode;
			}
			else
			{
				ppNode->_right = SubR;
				SubR->_parent = ppNode;
			}
		}
	}

	void RotateR(Node* parent)
	{
		Node* SubL = parent->_left;
		Node* SubLR = SubL->_right;

		parent->_left = SubLR;
		if (SubLR)
			SubLR->_parent = parent;

		Node* ppNode = parent->_parent;
		SubL->_right = parent;
		parent->_parent = SubL;

		if (ppNode == nullptr)
		{
			_root = SubL;
			SubL->_parent = nullptr;
		}
		else
		{
			if (parent == ppNode->_left)
			{
				ppNode->_left = SubL;
			}
			else
			{
				ppNode->_right = SubL;
			}

			SubL->_parent = ppNode;
		}
	}

	void InOrder()
	{
		_InOrder(_root);
	}

	void _InOrder(Node* root)
	{
		if (root == nullptr)
			return;

		_InOrder(root->_left);
		cout << root->_kv.first << ":" << root->_kv.second << endl;
		_InOrder(root->_right);
	}

	bool check(Node* root, int blackNum, int ref)
	{
		if (root == nullptr)
		{
			if (blackNum != ref)
			{
				cout << "违反规则:本条路径的黑色节点的数量跟最左路径不相等" << endl;
				return false;
			}

			return true;
		}

		if (root->_col == RED && root->_parent->_col == RED)
		{
			cout << "违反规则:出现连续红色节点" << endl;
			return false;
		}

		if (root->_col == BLACK)
			blackNum++;

		return check(root->_left, blackNum, ref)
			&& check(root->_right, blackNum, ref);
	}


	bool IsBalance()
	{
		if (_root == nullptr)
			return true;

		if (_root->_col != BLACK)
			return false;

		int ref = 0;// 统计黑节点的个数
		Node* left = _root;
		while (left)
		{

			if (left->_col == BLACK)
				ref++;

			left = left->_left;
		}

		return check(_root, 0, ref);
	}
private:
	Node* _root = nullptr;
};

2.set.h

#pragma once

#include "T_RBTree.h"

namespace hdp
{
	template<class K>
	class set
	{
		struct SetKeyOfT
		{
			const K& operator()(const K& key)
			{
				return key;
			}
		};
	public:
		typedef typename RBTree<K, K, SetKeyOfT>::const_iterator iterator;
		typedef typename RBTree<K, K, SetKeyOfT>::const_iterator const_iterator;

		iterator begin()  
		{
			return _t.begin();
		}

		iterator end()  
		{
			return _t.end();
		}

		std::pair<iterator, bool> insert(const K& key) 
		{
			//先用红黑树的普通迭代器接受插入函数的返回值
			std::pair<typename rbtree<K, K, setkeyoft>::iterator, bool> p = _t.insert(key);
			//再用普通迭代器构造const迭代器进行返回--红黑树的const迭代器就是set的普通迭代器
			return std::pair< iterator, bool>(p.first, p.second);
		}
	private:
		RBTree<K, K, SetKeyOfT> _t;
	};
}

3.map.h

#pragma once

#include "T_RBTree.h"

namespace hdp
{
	template<class K,class V>
	class map
	{
		struct MapKeyOfT
		{
			const K& operator()(const pair<const K,V>& kv)
			{
				return kv.first;
			}
		};
	public:
		typedef typename RBTree<K, pair<const K, V>, MapKeyOfT>::iterator iterator;
		typedef typename RBTree<K, pair<const K, V>, MapKeyOfT>::const_iterator const_iterator;

		iterator begin()
		{
			return _t.begin();
		}

		iterator end()
		{
			return _t.end();
		}

		const_iterator begin()  const
		{
			return _t.begin();
		}

		const_iterator end()  const
		{
			return _t.end();
		}

		pair<iterator, bool> insert(const pair<const K, V>& kv)
		{
			return _t.Insert(kv);
		}

		V& operator[](const K& key)
		{
			pair<iterator, bool> ret = _t.Insert(make_pair(key, V()));

			return ret.first->second;
		}
	private:
		RBTree<K, pair<const K, V>, MapKeyOfT> _t;
	};
}

5.Test.cpp

#define _CRT_SECURE_NO_WARNINGS 1

#include <iostream>
using namespace std;


#include "T_RBTree.h"
#include "map.h"
#include "set.h"

void test_set()
{
	int a[] = { 4, 2, 6, 1, 3, 5, 15, 7, 16, 14 };
	hdp::set<int> s;
	for (auto e : a)
	{
		s.insert(e);
	}

	hdp::set<int>::iterator it = s.begin();
	while (it != s.end())
	{
		//*it = 10;
		cout << *it << " ";
		++it;
	}
	cout << endl;

	for (auto e : s)
	{
		cout << e << " ";
	}
	cout << endl;
}

void test_map()
{
	int a[] = { 4, 2, 6, 1, 3, 5, 15, 7, 16, 14 };
	hdp::map<int, int> m;
	for (auto e : a)
	{
		m.insert(make_pair(e, e));
	}

	hdp::map<int, int>::iterator it = m.begin();
	while (it != m.end())
	{
		//it->first++;
		it->second++;
		cout << it->first << ":" << it->second << endl;
		++it;
	}
	cout << endl;

	hdp::map<string, int> countMap;
	// 统计水果出现的次数
	string arr[] = { "苹果", "西瓜", "香蕉", "草莓","苹果", "西瓜", "苹果", "苹果", 
		"西瓜", "苹果", "香蕉", "苹果", "香蕉" };
	for (auto& e : arr)
	{
		countMap[e]++;
	}

	for (auto& kv : countMap)
	{
		cout << kv.first << ":" << kv.second << endl;
	}
}

int main()
{
	test_set();
	//test_map();
	return 0;
}

到了这里,关于【C++】红黑树封装map和set的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • C++【一棵红黑树封装 set 和 map】

    ✨个人主页: 北 海 🎉所属专栏: C++修行之路 🎃操作环境: Visual Studio 2019 版本 16.11.17 红黑树的基本情况我们已经在上一篇文章中学习过了,本文主要研究的是红黑树的实际应用:封装实现 set 和 map ,看看如何通过一棵红黑树满足两个不同的数据结构;在正式封装之前,

    2024年02月11日
    浏览(41)
  • 【C++】map与set容器——红黑树底层封装

    💭STL中,容器大概可分为两种类型——序列式容器和关联式容器。在前面的系列文章中,我们已经介绍了诸多序列式容器,如:vector、list、stack、queue等,它们以序列的形式存储数据。 💭而关联式容器也是一种非常重要的容器。标准的STL关联式容器分为set(集合)和map(映

    2023年04月11日
    浏览(40)
  • 【C++】使用红黑树进行封装map和set

    🌇个人主页:平凡的小苏 📚学习格言:命运给你一个低的起点,是想看你精彩的翻盘,而不是让你自甘堕落,脚下的路虽然难走,但我还能走,比起向阳而生,我更想尝试逆风翻盘 。 🛸 C++专栏 : C++内功修炼基地 家人们更新不易,你们的👍点赞👍和⭐关注⭐真的对我真

    2024年02月07日
    浏览(46)
  • 【C++】用红黑树迭代器封装map和set

    封装有点难 - . - 文章目录 前言 一、红黑树原先代码的修改 二、红黑树迭代器的实现 总结 因为我们要将红黑树封装让map和set使用,所以我们要在原来的基础上将红黑树代码进行修改,最主要的是修改模板参数,下面我们直接进入正题: 首先我们拿出STL中的源代码,看看大佬

    2024年02月06日
    浏览(42)
  • 【C++】用一棵红黑树同时封装出map和set

    苦厄难夺凌云志,不死终有出头日。 1. 在源码里面,对于map和set的实现,底层是用同一棵红黑树封装出来的,并不是用了两棵红黑树,一个红黑树结点存key,一个红黑树结点存key,value的键值对,这样的方式太不符合大佬的水准了,实际上在红黑树底层中用了一个模板参数Va

    2023年04月13日
    浏览(43)
  • Learning C++ No.23【红黑树封装set和map】

    北京时间:2023/5/17/22:19,不知道是以前学的不够扎实,还是很久没有学习相关知识,对有的知识可以说是遗忘了许多,以该篇博客有关知识为例,我发现我对迭代器和模板的有关知识的理解还不够透彻,不知道是对以前知识的遗忘,还是现在所学确实有难度,反正导致我很懵

    2024年02月05日
    浏览(50)
  • 【C++】STL——用一颗红黑树封装出map和set

    我们都知道set是K模型的容器,而map是KV模型的容器,但是它俩的底层都是用红黑树实现的,上篇博文中我们模拟实现了一颗红黑树,接下来将对其进行改造,继而用一颗红黑树封装出map和set。 本质上map和set其内部的主要功能都是套用了红黑树现成的接口,只是稍作改动即可

    2023年04月15日
    浏览(35)
  • AVL树,红黑树,红黑树封装map和set

    二叉搜索树虽可以缩短查找的效率,但如果 数据有序或接近有序二叉搜索树将退化为单支树 ,查找元素相当于在顺序表中搜索元素, 效率低下 。因此,咱们中国的邻居俄罗斯的数学家G.M.Adelson-Velskii和E.M.Landis在1962年发明了一种解决上述问题的方法: 当向二叉搜索树中插入

    2023年04月25日
    浏览(61)
  • 红黑树封装set和map(插入部分)

    之前我们实现了红黑树的插入的部分,本文主要介绍将之前实现的红黑树封装成map和set。我们是以学习的角度来封装容器,不用非要把库中容器所有功能都实现出来。我们主要目的是学习库中代码设计技巧和模板复用的思想。 我们在实现之前还是和以前一样去看看库中是怎么

    2024年02月07日
    浏览(40)
  • Java学数据结构(3)——树Tree & B树 & 红黑树 & Java标准库中的集合Set与映射Map & 使用多个映射Map的案例

    1.B树,阶M,数据树叶上,根的儿子数在2和M之间,除根外,非树叶节点儿子为M/2和M之间; 2.B树的插入引起分裂,B树的删除,引起合并和领养; 3.红黑树,根是黑的,红色节点的儿子必须是黑的,所有路径的黑色节点数相同; 4.红黑树的插入,颜色翻转,单旋转,插入节点定

    2024年02月11日
    浏览(81)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包