n个结点的二叉链表中含有n+1(2n-(n-1)=n+1)个空指针域。利用二叉链表中的空指针域,存放指向结点在某种遍历次序下的前趋和后继结点的指针(这种附加的指针称为"线索")。
二叉树的遍历本质上是将一个复杂的非线性结构转换为线性结构,使每个结点都有了唯一前驱和后继(第一个结点无前驱,最后一个结点无后继)。对于二叉树的一个结点,查找其左右子女是方便的,其前驱后继只有在遍历中得到。为了容易找到前驱和后继,有两种方法。一是在结点结构中增加向前和向后的指针fwd和bkd,这种方法增加了存储开销,不可取;二是利用二叉树的空链指针。现将二叉树的结点结构重新定义如下:
lchild
|
ltag
|
data
|
rtag
|
rchild
|
其中:ltag=0 时lchild指向左子女;
ltag=1 时lchild指向前驱;
rtag=0 时rchild指向右子女;
rtag=1 时rchild指向后继;
定义线索二叉树:
typedef struct ThreadNode{
char data;
ThreadNode *lChild, *rChild;
int ltag, rtag;
}ThreadNode, *ThreadTree;
构建线索二叉树
void inThread(ThreadTree &p, ThreadTree &pre){//构建中序线索二叉树
if(p != NULL)
{
inThread(p->lChild, pre);
if(p->lChild == NULL)
{
p->lChild = pre;
p->ltag = 1;
}
if(pre != NULL && pre->rChild == NULL)
{
pre->rChild = p;
pre->rtag = 1;
}
pre = p;
inThread(p->rChild, pre);
}
}
void createInThread(ThreadTree T){
ThreadTree pre = NULL;
if(T != NULL)
{
inThread(T, pre);
pre->rChild = NULL;
pre->rtag = 1;
}
}
对构造好的线索二叉树遍历:
ThreadNode *FirstNode(ThreadNode *p){
while(p->ltag == 0)
p = p->lChild;
return p;
}
ThreadNode *NextNode(ThreadNode *p){
if(p->rtag == 1)
return p->rChild;
return FirstNode(p->rChild);
}
void inOrder(ThreadTree T){
for (ThreadNode *p = FirstNode(T); p != NULL; p = NextNode(p))
{
putchar(p->data);
}
}