Status ListInsert_Sq(SqList &sqlist, int i, ElemType e)
{
    int *newbase;
    if(!(sqlist)||i<0||i>sqlist.length+1) return ERROR;
    if(sqlist.length>=sqlist.listsize)
    {
        newbase=(ElemType*)realloc(sqlist.elem,(sqlist.listsize+LISTINCREMENT)*sizeof(ElemType));
        if(!newbase)
            exit(OVERFLOW);
        sqlist.elem=newbase;
        sqlist.listsize+=LISTINCREMENT;
    }//if
    for(int j=sqlist.elem[sqlist.length-1]; j>=sqlist.elem[i-1]; j--)
        sqlist.elem[j+1]=sqlist.elem[j];
   
    sqlist.elem[j]=e;
    sqlist.length+=1;
    return OK;
}//ListInsert_Sq

补充：
typedef int Status;
typedef int ElemType;
typedef struct
{
    ElemType *elem;
    int length, listsize;
}SqList;
#define LIST_INIT_SIZE 100
#define LISTINCREMENT 10
#define OK 1
#define OVERFLOW -2

这是教材上的算法转化成的C语言编码，我只是想不明白为什么要有第二个if判断。
理由如下：
    sqlist的成员中,listsize恒>=length,其中length初始化为0,只有在添加数据或插入数据时会增大。而添加或插入数据等操作是在listsize满足条件时才进行的，这些操作完成后length才会增大（或减小），即length必定不会大于listsize。

我想问：有没有情况使得length>listsize？

这个操作ListInsert_Sq() 一直进行下去 里面的sqlist.length+=1;动作  最终会使得length>listsize成立如果不进行第二个if的判断  

就会造成越界   非法访问

第一个if是判断插入位置的合法性  和第二个if没多大关系

谢谢前辈，我知道为什么加第二个if了。先前一直认为输入数据元素会大幅度地增大sqlist.length，而忽略了自加运算及多次调用对它的影响。

学习了  不过我有个问题  就是插入元素前  为啥将指针放在 j=sqlist.elem[sqlist.length-1]; 这样的话最后一个元素不是就会被倒数第二个元素覆盖了么？我觉得这里应该是 j=sqlist.elem[sqlist.length];   书上写的和你的一样疼不过我不明白  求解

看到您的疑问，我重新看了一下代码，突然发现了问题！

先回答您的疑问：
    将指针指向sqlist.elem[sqlist.length-1]，是因为目的在于将顺序表最后一个元素到待插入元素依次实现后移，这主要取决于循环体中的写法。我的写法是：sqlist.elem[j+1]=sqlist.elem[j];是将该位置覆盖它的下一个位置，正是后移呀。若是写成sqlist.elem[j]=sqlist.elem[j-1];则最后一个元素会被倒数第二个元素覆盖！

    我的错误在于我将j定义为了int型而不是指针类型。我的原意是用j当做数组的下标来使用，结果后面又跟指针混为一谈了！好危险！

更改如下：
Status ListInsert_Sq(SqList &sqlist, int i, ElemType e)
{
    ……
    for(int j=sqlist.length-1; j>=i-1; j--)
        sqlist.elem[j+1]=sqlist.elem[j];

    sqlist.elem[j+1]=e; //e赋值于sqlist.elem[j+1]：上述for条件判断结束后仍执行了j--
    sqlist.length+=1;
    return OK;
}//ListInsert_Sq
若用指针访问则可作以下更改：
Status ListInsert_Sq(SqList &sqlist, int i, ElemType e)
{
    ……
    for(ElemType *p=&sqlist.elem[sqlist.length-1]; p>=&(sqlist.elem[i-1]); p--)
        *(p+1)=*p;
 
    *(p+1)=e; //同理
    sqlist.length+=1;
    return OK;
}//ListInsert_Sq