二叉树的顺序存储结构的一个小问题

顺序存储是根据数组来完成的

/* 按层序次序输入二叉树中结点的值(字符型或整型), 构造顺序存储的二叉树T */
Status CreateBiTree(SqBiTree T)
{ 
    int i=0;
    printf("请按层序输入结点的值(整型)，0表示空结点，输999结束。结点数≤%d:\n",MAX_TREE_SIZE);
    while(i<10)
    {
        T[i]=i+1;

        if(i!=0&&T[(i+1)/2-1]==Nil&&T[i]!=Nil) /* 此结点(不空)无双亲且不是根 */
        {
            printf("出现无双亲的非根结点%d\n",T[i]);
            exit(ERROR);
        }
        i++;
    }
    while(i<MAX_TREE_SIZE)
    {
        T[i]=Nil; /* 将空赋值给T的后面的结点 */
        i++;
    }

    return OK;
}

里面这个if判断，明明是不可能出现这种错误的，我觉得有必要判断吗？
if(i!=0&&T[(i+1)/2-1]==Nil&&T[i]!=Nil) /* 此结点(不空)无双亲且不是根 */
{
printf("出现无双亲的非根结点%d\n",T[i]);
exit(ERROR);
}
有大佬可以解释一下吗？？感激不尽...

这段代码似乎在检查T是否符合二叉树数组
构造一个数组，很明显不符合二叉树
1
2 2
3 3 3 null
4 4 4 4 4 4 4 4
null那个元素为空，最后两个4很明显不符合条件