如何判断一棵二叉树是否是完全二叉树

初次学习二叉树这种数据结构的时候，我们知道，假如一棵二叉树的高度是h，对于一棵完全二叉树，它的前h-1行一定是满的，第h行可以满也可以不满（结点必须集中于最后一行的左边），如果满则是满二叉树，不满的就是完全二叉树。概念描述不是很清晰~下边画图说明吧。

那么知道这些概念之后，我们要如何判断一棵二叉树是否是完全二叉树？？？
1）如果一个结点有右孩子而没有左孩子，那么这棵树一定不是完全二叉树。
2）如果一个结点有左孩子，而没有右孩子，那么按照层序遍历的结果，这个结点之后的所有结点都是叶子结点这棵树才是完全二叉树。
3）如果一个结点是叶子结点，那么按照层序遍历的结果，这个结点之后的所有结点都必须是叶子结点这棵树才是完全二叉树。
求一棵二叉树的层序遍历，我们借助的是数据结构—-队列。如果一个结点不是叶子结点，我们将当前结点出队，将其孩子入队；如果一个结点是叶子结点，我们直接将其出队即可。这是之前求一棵树层序遍历的结果的思路，我们可以借助这个思路，来完成此题。
根据上边分析的2）和3），我们知道，如果一个结点没有左右孩子或者仅有左孩子，它之后的结点必须全部是叶子结点，这棵树才可能是完全二叉树。所以，我们必须定义一个bool变量，来记录是否到了满足2）或者3）的结点，如果满足，我们只需要判断它之后的结点是否是叶子结点即可。
下边给出实现代码：

#pragma once
#include<iostream>
using namespace std;
#include<queue>
template<typename T>
struct TreeNode
{
    T _data;
    TreeNode* _left;
    TreeNode* _right;
    TreeNode(const T& x = T())
        :_data(x)
        ,_left(NULL)
        ,_right(NULL)
    {}
};

template<typename T>
class BinaryTree
{
    typedef TreeNode<T> Node;
public:
    BinaryTree()
        :_root(NULL)
    {}
    BinaryTree(T* a,size_t size,const T& invalid)
    {
        size_t index = 0;
        _root = _Create(a,size,index,invalid);
    }
protected:
    Node* _Create(T* a, size_t size,size_t& index,const T& invalid)
    {
        //assert(a);
        Node* root = NULL;
        while (index < size && a[index] != invalid)
        {
            root = new Node(a[index]);
            root->_left = _Create(a,size,++index,invalid);
            root->_right = _Create(a,size, ++index,invalid);
        }
        return root;
    }
public:
    Node* _root;
};

template<typename T>
class IsCompleteBinaryTree
{
    typedef TreeNode<T> Node;
public:
    IsCompleteBinaryTree(T* array,size_t size,const T& invalid)
        :_bt(array,size,invalid)
    {}
    bool _IsComplete()
    {
        if(_bt._root == NULL)
            return false;
        queue<Node*> q;
        q.push(_bt._root);
        bool result = true;
        bool IsNul = false;//出现一个叶子结点，后边的结点必须都是叶子结点
        while(!q.empty())
        {
            Node* pNode = q.front();
            q.pop();
            if(IsNul)
            {
                //只有pNode是叶子结点，这棵树才是完全二叉树；否则不是
                if(pNode->_left != NULL || pNode->_right != NULL)
                {
                    result = false;
                    break;
                }
            }
            else
            {
                if(pNode->_left != NULL && pNode->_right != NULL)
                {
                    q.push(pNode->_left);
                    q.push(pNode->_right);
                }
                else if(pNode->_left != NULL && pNode->_right == NULL)
                {
                    q.push(pNode->_left);
                    IsNul = true;
                }
                else if(pNode->_left == NULL && pNode->_right != NULL)
                {
                    result = false;//说明这棵树不是完全二叉树
                    break;
                }
                else
                {
                    IsNul = true;
                }
            }
        }
        return result;
    }
private:
    BinaryTree<T> _bt;
};


void TestIsCompleteBinaryTree()
{
    //int array[] = {3,4,6,'#','#',7,'#','#',5,8,'#','#'};
    int array[] = {5,6,9,'#','#','#',7,12,13};
    IsCompleteBinaryTree<int> bt(array,9,'#');
    cout<<bt._IsComplete()<<endl;
}

通过阅读代码和以上的文字说明，我想，大家对“如何判断一棵二叉树是否是完全二叉树”也就有了一定的了解~如果以上的解释有不合理的地方，一定记得告诉我~我会很感激你的~