对于一棵二叉树,我们可以通过前序,中序,后序,层序四种遍历方式得到关于二叉树的序列,这样从每个结点出发就很容易找到它在某种次序下前序和后继。
PS:关于四种遍历方式的递归和非递归实现可点击 我的github 里面的BInaryTree.h查看。
但是很多时候,我们希望很快找到某的结点的前序或者后继,又不想遍历一遍,这就需要我们记录下每个结点的前驱和后继,因此为了做到这一点,我们引入了二叉树的线索化。
我们观察各种二叉树的结构,发现不管儿叉树的形态如何,空链域的个数总是多过非空链域的个数。准确的说,n个结点的指针域共有2n个,非空指针域为n-1个,但其中的空指针域却有n+1个。
这是因为,对于二叉树的每个结点都有左右孩子,但是每个结点(除根节点)只有一个父亲,因此n个结点空指针域为**2n - (n - 1) = n + 1个。
比如下图,其空指针域个数为 2 * 6 - 5 = 7个
因此我们可以利用这些空指针域来标记结点的前驱或者后继,规则如下:
- 若结点有左子树,则其左指针域指向其左孩子,否则令左指针指向其前驱
- 若结点有右子树,则其右指针域指向其右孩子,否则令右指针指向其后继
- 为了区分指针域是指向它的孩子还是前驱(后继),我们分别加一个标志位(如下图)
我们给出树的结点定义如下:
enum PointerTag { LINK,THREAD };//LINK表示指向的是左右孩子,THREAD则表示指向前驱或者后继
template<class T>
struct BinaryTreeThreadNode
{
T _data;//节点数据
BinaryTreeThreadNode<T>* _left;//左孩子
BinaryTreeThreadNode<T>* _right;//右孩子
PointerTag _leftTag;//左孩子线索标志
PointerTag _rightTag;//右孩子线索标志
BinaryTreeThreadNode(const T& x = T())
: _data(x)
, _left(nullptr)
, _right(nullptr)
, _leftTag(LINK)
, _rightTag(LINK)
{}
};
为了实现线索化,我们需要先构建一棵树,为了简单,我们采用前序方式构建树,对于给定的一个数组,如果元素为 ‘#’ 则表明当前结点为空,不然为左子树。
例如:
int array[10] = { 1, 2, 3, '#', '#', 4, '#', '#', 5, 6 };
所构建的树如下图: