数据结构实践——初始化顺序表怎么就内存溢出了？

　　有学生调程序，是要建顺序表。
　　他的程序是这样的：

#include <stdio.h>
#include <malloc.h>

#define MaxSize 50    //Maxsize将用于后面定义存储空间的大小
typedef int ElemType;  //ElemType在不同场合可以根据问题的需要确定，在此取简单的int
typedef struct
{
    ElemType data[MaxSize];  //利用了前面MaxSize和ElemType的定义
    int length;
} SqList;

//声明自定义函数
SqList InitList(SqList *L);   //初始化顺序表
void ListInsert(SqList *L,int i,int b);  //插入函数
void DispList(SqList *L);    //输出函数
bool ListEmpty(SqList *L);//判定是否为空表ListEmpty(L)

int main()
{
    SqList *sq;
    InitList(sq);
    ListInsert(sq, 1, 5);
    ListInsert(sq, 2, 3);
    ListInsert(sq, 1, 4);
    DispList(sq);
    return 0;
}

//输出线性表DispList(L)
void DispList(SqList *L)
{
    int i;
    if (ListEmpty(L))
        return;
    for (i=0; i<L->length; i++)
        printf("%d ",L->data[i]);
    printf("
");
}

//判定是否为空表ListEmpty(L)
bool ListEmpty(SqList *L)
{
    return(L->length==0);
}

//初始化顺序表InitList(*L)
SqList InitList(SqList *L)
{
    L=(SqList *)malloc(sizeof(SqList));//这里申请了结点空间
    L->length=0;
    return *L;
}

void ListInsert(SqList *L,int i,int b)   //插入函数
{
    int j,k;

    if(i<1)
    {
        printf("插入位置非法/n");
    }
    for(j=L->length; j>i; j--)
    {
        L->data[j]=L->data[j-1];
    }
    L->data[i]=b;
    L->length++;
}

　　运行结果是这样的：

　　他找我帮忙。基本可以断定，内存使用不当，有溢出。
　　看一下编译提示的信息，有一个警告：
　　D:CBDSmain.cpp|21|warning: ‘sq’ is used uninitialized in this function [-Wuninitialized]|
　　说在21行，sq未经初始化就使用了。通俗的说法，野指针。
　　围绕着sq找。在main()函数中有：

    SqList *sq;
    InitList(sq);

　　这里在调用InitList时，实际参数sq就是野指针。但这还不是出问题的关键，看InitList函数的定义是：

//初始化顺序表InitList(*L)
SqList InitList(SqList *L)
{
    L=(SqList *)malloc(sizeof(SqList));//这里申请了结点空间
    L->length=0;
    return *L;
}

　　调用时，L得到的是野指针，但在函数里为其分配空间了。但调用完，这个地址并未返回到main函数中。调用完InitList，sq仍然还是野指针。这是关键！
　　沿这个思路，希望能将分配的空间地址能返回给main函数。return *L就不合适了，return L是返回地址。于是，函数定义改为：

//初始化顺序表InitList(*L)
SqList *InitList(SqList *L)
{
    L=(SqList *)malloc(sizeof(SqList));//这里申请了结点空间
    L->length=0;
    return L;
}

　　既然参数SqList *L调用时给的是个野指针，不要也罢。于是改选成无参函数：

//初始化顺序表InitList(*L)
SqList *InitList()
{
    SqList *L=(SqList *)malloc(sizeof(SqList));//这里申请了结点空间
    L->length=0;
    return L;
}

　　在调用时，main函数定义为：

int main()
{
    SqList *sq;
    sq = InitList();
    ListInsert(sq, 1, 5);
    ListInsert(sq, 2, 3);
    ListInsert(sq, 1, 4);
    DispList(sq);
    return 0;
}

　　为保证程序能够正确编译，函数声明等处的语法问题不一一列出。解决了这一环节的问题，程序能够运行了，但结果：
　　

　　断定问题出在ListInsert函数中。看调用，插入的位置用的是逻辑序（从１开始记数），但函数定义中，直接L->data[i]=b;没有考虑物理存储中，下标是从０开始的。
　　所以，在ListInsert中加入一个 i–，完成逻辑序号向物理序号的转换，Done。
　　正确的结果不贴图了，最后改过的程序是：

#include <stdio.h>
#include <malloc.h>

#define MaxSize 50    //Maxsize将用于后面定义存储空间的大小
typedef int ElemType;  //ElemType在不同场合可以根据问题的需要确定，在此取简单的int
typedef struct
{
    ElemType data[MaxSize];  //利用了前面MaxSize和ElemType的定义
    int length;
} SqList;

//声明自定义函数
SqList *InitList();   //初始化顺序表
void ListInsert(SqList *L,int i,int b);  //插入函数
void DispList(SqList *L);    //输出函数
bool ListEmpty(SqList *L);//判定是否为空表ListEmpty(L)

int main()
{
    SqList *sq;
    sq = InitList();
    ListInsert(sq, 1, 5);
    ListInsert(sq, 2, 3);
    ListInsert(sq, 1, 4);
    DispList(sq);
    return 0;
}

//输出线性表DispList(L)
void DispList(SqList *L)
{
    int i;
    if (ListEmpty(L))
        return;
    for (i=0; i<L->length; i++)
        printf("%d ",L->data[i]);
    printf("
");
}

//判定是否为空表ListEmpty(L)
bool ListEmpty(SqList *L)
{
    return(L->length==0);
}

//初始化顺序表InitList(*L)
SqList *InitList()
{
    SqList *L=(SqList *)malloc(sizeof(SqList));//这里申请了结点空间
    L->length=0;
    return L;
}

void ListInsert(SqList *L,int i,int b)   //插入函数
{
    int j;

    if(i<1)
    {
        printf("插入位置非法/n");
    }
    i--;
    for(j=L->length; j>i; j--)
    {
        L->data[j]=L->data[j-1];
    }
    L->data[i]=b;
    L->length++;
}