我写了一个算法：用一个队列保存被访问的当前节点的左右孩子以实现层序遍历。

Status HierarchyBiTree(BiTree T, Status (*Visit)(TElemType e)) {
        LinkQueue *Q;     // 保存当前节点的左右孩子的队列
        
        InitQueue(Q);       // 初始化队列

        if (T == NULL) return ERROR; //树为空则返回
        p = T;                  // 临时保存树根T到指针p中
        Visit(p->data);      // 访问根节点
        if (p->lchild) EnQueue(Q, p->lchild);  // 若存在左孩子，左孩子进队列
        if (p->rchild) EnQueue(Q, p->rchild); // 若存在右孩子，右孩子进队列

        while (!QueueEmpty(Q)) {                // 若队列不空，则层序遍历
                DeQueue(Q, p);                       // 出队列
                Visit(p->data);                         // 访问当前节点

                if (p->lchild) EnQueue(Q, p->lchild);  // 若存在左孩子，左孩子进队列
                if (p->rchild) EnQueue(Q, p->rchild); // 若存在右孩子，右孩子进队列
        }

        DestroyQueue(Q);                           // 释放队列空间
        return OK;
}

算法分析：假设T有n个节点。因为本算法中基本操作是Visit(p->data)，则时间复杂度为O(n)；由于用一个队列保存当前孩子的节点，所以队列占用的额外空间为该二叉树的叶子节点数，最好情况是一棵只有左分支或只有右分支的单边树，此时占用空间最少，仅为1。最坏情况是该树是满二叉树，此时占用的空间最多为（n+1）/2。