二叉树先序中序后序遍历的非递归实现A

遍历二叉树的递归程序

void Traverse(BiTree T) { if(T) { //visit,先序遍历 Traverse(T->lchild); //visit,中序遍历 Traverse(T->rchild); //visit,后序遍历 } }

     可以看到三种遍历方法的递归实现形式完全一样，只需改变visit的位置，就得到不同遍历序列。因此从情感上觉得非递归实现应该形式也完全一样，这是课本给的中序非递归实现：

 void InOrderTraverse（BiTree T, status(* visit)(TElemType e)） { InitStack(s); p=T; while(p || !StackEmpty(s)) { if(p) { Push(s,p); p=p->lchild; } else { Pop(s,p); visit(p->data); p=p->rchild; } } }

只需将visit(p->data);移动到Push(s,p); 后，就能得到先序遍历的非递归实现。然后在考虑后序遍历时，发现这种形式不适用后序遍历，所以后来不得不自己写了一个后序遍历的非递归程序。然而心里始终觉得不舒服，为什么递归实现上明明如此统一，到了非递归实现后序遍历就与众不同了呢？

 

课本的非递归实现对栈的使用并不和递归栈相同，因此结点的进出栈顺序也和递归栈明显不同，基于这个道理，写了一个完全仿照递归栈工作的非递归实现，关键是出栈的条件发生了变化，而且从直觉上，这个程序的出栈和进栈语句(Push,Pop)，赋值左孩子和右孩子(p=p->lchild或rchild)都应只出现一次，如果出现了多次，应该是功能重复了，可以再进行缩减。

程序如下：

status Traverse(BiTree T, status(* visit)(TElemType e)){ IniTStack(s); p=T; p1=NULL; while(p || !StackEmpty(s)) { if(p) { Push(s,p); //visit,先序 p=p->lchild; } else { GetTop(s,p); //visit,中序 if(p->rchild==p1) { Pop(s,p1);p=NULL; //visit,后序 } else { p=p->rchild; p1=NULL; } } } }

 

在这种形式下，只需改变visit的位置就能得到三种遍历的非递归实现，结点的进出栈顺序完全和递归栈一样，判断结点是否出栈的条件是：上一次出栈的结点是栈顶元素的右孩子。

对几棵二叉树进行了试验，结果是对的，但不知道有没有疏忽的地方。

 

                                      来源:http://dimcutter.blog.163.com/blog/static/930932962010437590311/