二叉树是一种非线性结构, 遍历二叉树几乎都是通过递归或者用栈辅助实现非递归的遍历。 用二叉树作为存储结构时, 取到一个节点, 只能获取节点的左孩子和右孩子, 不能直接得到节点的任一遍历序列的前驱或者后继。
为了保存这种在遍历中需要的信息, 我们利用二叉树中指向左右子树的空指针来存放节点的前驱和后继信息。
通过对二叉链表的分析可知,存储n个结点的二叉链表具有n+1个空指针域。线索二叉树正是利用了这些空指针域,在这些空指针域中设置指向直接前驱和直接后继结点的指针,这些指针被称为线索,加了线索的二叉树被称为线索二叉树。对二叉树以某种遍历使其变为线索二叉书的过程称为线索化。
对这些空指针域可作如下规定:
1.当某结点的左孩子指针域为空时,令该指针指向按某种方法遍历二叉树时得到的该节点的前驱节点。
2.当某结点的右孩子指针域为空时,令该指针指向按某种方法遍历二叉树时得到的该节点的后继节点。
但这样规定以后,又出现了新的问题,结点的左孩子指针域到底指向左孩子结点还是前驱节点,结点的右孩子指针域到底指向右孩子结点还是后继结点。为此,还必须在每个结点中增加两个标志位来解决这个问题。定义标志位如下图:
enum PointerTag {THREAD, LINK} ;
template <class T>
struct BinaryTreeNode_Thd
{
T _data ; // 数据
BinaryTreeNode_Thd<T >* _left; // 左孩子
BinaryTreeNode_Thd<T >* _right; // 右孩子
PointerTag _lthread ; // 左孩子线索标志
PointerTag _rthread ; // 右孩子线索标志
} ;