二叉树后序遍历的非递归算法

非递归的二叉树后序遍历

void PostOrderTraverse_nonrecursion(BiTree T, void(*Visit)(TElemType)) {
	/*采用二叉链表存储结构，Visit是对数据元素操作的应用函数。
	后序遍历二叉树T的非递归算法，对每个数据元素调用函数Visit*/
	SqStack s;
	BiTree Tf=T;
	int i = 0;//i是标记，用以判断输出结点值的具体前提，并辅助后面对T的赋值
	InitStack(&s);
	while (T||!StackEmpty(s)) {
		if (T) {
			Push(&s, T);
			T = T->lchild;
		}
		else {
			Pop(&s, &T);
			if (!T->rchild || Tf == T->rchild) { 
				Visit(T->data);
				if (Tf == T->rchild)i = 1;
			}
			else Push(&s, T);
			Tf = T;
			if (i == 1) { 
				T = NULL;
				i = 0;
			}
			else T = T->rchild;
		}
	}
	DestroyStack(&s);
}

非递归的二叉树后序遍历二叉树算法使用到了数据结构栈。
SqStack是栈的类型；

typedef struct {
	SElemType* base;	//栈的基址即栈底指针
	SElemType* top;		//栈顶指针
	int stacksize;		//当前分配的空间
}SqStack;

InitStack是初始化栈，即建造空栈，STACK_INIT_SIZE是初始栈的长度，定义为常数；

void InitStack(SqStack* S) {
	if (!(S->base = (SElemType*)malloc(STACK_INIT_SIZE * sizeof(SElemType))))exit(OVERFLOW);//存储分配失败
	S->top = S->base;
	S->stacksize = STACK_INIT_SIZE;
}

StackEmpty判断栈是否为空，如果为空返回1（TRUE），栈不空，则返回0（FALSE）；

int StackEmpty(SqStack S) {
	if (S.top == S.base)return TRUE;
	else return FALSE;
}

Push入栈函数，即元素结点入栈（栈结点SElemType为二叉树结点的指针BiTree）函数，STACKINCREMENT为栈空间的增量，用来调整栈空间的大小；

void Push(SqStack* S, SElemType e) {
	if (S->top - S->base >= S->stacksize) {		//栈满，追加存储空间
		S->base = (SElemType*)realloc(S->base, (S->stacksize + STACKINCREMENT) * sizeof(SElemType));
		if (!S->base)exit(OVERFLOW);	//存储分配失败
		S->top = S->base + S->stacksize;
		S->stacksize = S->stacksize + STACKINCREMENT;
	}
	*(S->top)++ = e;
}

Pop为出栈函数，即删除栈顶结点（二叉树结点指针），并使用参数SElemType返回结点值域；

int Pop(SqStack* S, SElemType* e) {
	if (S->top == S->base)return ERROR;
	*e = *(--S->top);
	return OK;
}

DestroyStack为销毁栈函数。

void DestroyStack(SqStack* s) {
	free(s->base);
	s->base = NULL;
	s->top = NULL;
	s->stacksize = 0;
}

Visit函数为栈结点值域输出函数，即一个printf语句。栈结点SElemType为二叉树结点指针BiTree。
Tf用来记录前一个出栈的结点，帮助判断后面是否输出结点。
代码稍显凌乱，还有许多需要改善的地方，不足之处留言相互交流学习；