数据结构 代码没有报错 但输出结果不对

输出的中序非递归遍历不对 

#include<stdio.h>
#include<stdlib.h>
#define TElemType char
#define ERROR 0;
#define STACK_INIT_SIZE 100
#define STACKINCREMENT 10
#define OK 1
#define Status int
//二叉链表存储表示 
typedef struct BiTNode{
	TElemType data;
	struct BiTNode *lchild,*rchild;//左右孩子指针 
}BiTNode, *BiTree;
#define SElemType BiTree //栈的数据类型 
//定义栈 
typedef struct {
SElemType *base;
SElemType *top;
int stacksize;
}SqStack;

//构造空栈
int initstack (SqStack &s){
s.base=(SElemType *)malloc(STACK_INIT_SIZE*sizeof(SElemType));
if(!s.base)
exit(0);
s.top=s.base;
s.stacksize=STACK_INIT_SIZE;
return 0;}
//判断是否为空
Status StackEmpty(SqStack S){
    if(S.top==S.base) return 1;
    return 0;}
//先序遍历创建二叉树 
BiTree creatbitree(BiTree &T){
	TElemType ch;
	scanf("%c",&ch);
	if(ch=='#') T=NULL;//#代表空格字符 
	else{
		T=(BiTNode*)malloc(sizeof(BiTNode));
		T->data=ch;//生成根结点 
		creatbitree(T->lchild);//生成左子树 
		creatbitree(T->rchild);//生成右子树 
	}
	return T; 	}
//入栈 
Status push(SqStack &s, SElemType e) {
if((s.top-s.base)>=s.stacksize){
s.base=(SElemType*)realloc(s.base,(s.stacksize+STACKINCREMENT)*sizeof(int));
		  if(!(s.base))
		 exit(1);
		s.top=s.base+s.stacksize;
		s.stacksize+=STACKINCREMENT;
	   }
	   *s.top++=e;
	   return 0; }
//出栈 
Status pop(SqStack &s,SElemType &e){
	  if(s.top==s.base)
	  return 0;
	  e=*--s.top;
	  return OK;}
//中序非递归遍历的
Status inorder(BiTree T,Status (*visit)(TElemType e)){
	SqStack s;
	initstack(s);
	BiTree p=T;
	while(p||!StackEmpty(s)){
	if(p){
		push(s,p); //根指针进栈 
		p=p->lchild;}//遍历左子树 
	else{
		pop(s,p);//根指针出栈，访问根结点 
		if(!visit(p->data)) return 0;
		p=p->rchild;}//遍历右子树 
		}
return OK;} 
Status PrintElement(TElemType e){
    printf("%c",e);                             
    return 0;}
int main(){
	BiTree T;
	printf("请按照先序遍历输入二叉树(#代表空子树)：\n");
	creatbitree(T);
	printf("二叉树创建成功！\n"); 
	printf("\n中序非递归遍历:\n");
	inorder(T,PrintElement);
	return 0;}