这两天做课设时遇到了一个闹心的bug:

代码在这:

https://github.com/Gaarahan/just4fun.git
bug在 main.c / dataInit() 函数中

bug

dataInit() 函数的作用是从数据文件中读入数据来建图

在建图过程中,需要通过城市名获取对应的城市ID,来确定该路线在邻接矩阵中的位置(即 locate() 函数的调用):

i=locate(G,s->stratCity);
j=locate(G,s->endCity);
//在图G中查找城市s->startCity及s->endCity

当执行这一句时函数报错: 图片.png

调试

前后进行了3次数据的调试:

Adj* dataInit(char ch){
    FILE *fp1,*fp2,*fp3;
    fp1=fopen("transform.txt","rt"); 
    fp2=fopen("shell.txt","rt");
    fp3=fopen("count.txt","rt");
    
    if(fp1==NULL || fp2==NULL ||fp3==NULL){
        printf("打开文件失败");
        return ; 
    }
    int i,j;
    Adj *G=malloc(sizeof(Adj)); 
    shell *s=malloc(sizeof(shell));
    
    fscanf(fp3,"%d%d\n",&G->vexnum,&G->arcnum);
    //读入城市及ID 
    for(i=1;i<=G->vexnum;i++)
        fscanf(fp1,"%d%s\n",&G->vex[i].ID,G->vex[i].name);
    
    //ts1
    printf("ts:\n");
    for(i=1;i<=G->vexnum;i++){
        printf("%s\n",G->vex[i].name);
    } 
    //ts2
     printf("%d",locate(G,"A"));
    
    //初始化整个矩阵 
    for(i=1;i<=MaxCityNum;i++){
        for(j=1;j<=MaxCityNum;j++){
            G->arcs[i][j] = INFINITY;   
        }
    }
    
    while(!feof(fp2)){
        fscanf(fp2,"%s%s%s%s%s%d%d\n",s->trian,s->startTime,s->endTime,s->stratCity,s->endCity,&s->length,&s->money);
        //ts3
        if(!strcmp("A",s->stratCity)){
            printf("yes");
        }
        
        i=locate(G,s->stratCity);
        j=locate(G,s->endCity);
        ... 
        ...

1 . 输出图G中存储的城市信息,显示里面存储了这些城市:

图片.png
2 . 在图G中查找城市A
locate(G,"A");
结果查找成功
3 . 比较字符串"A" 与s->startCity:
*strcmp(s->startCity,"A");
显示这两字符串相等

问题

和原有的bug结合,问题成了这样:

• G中有A,B,C,D,E,F ;
• locate函数可以在G中找到字符串"A" ;
• strcmp显示"A"和s->startCity相等 ;
• 为啥locate在G里找不到s->startCity?

=================缓解尴尬的分割线============================

解决

在函数的末尾,我尝试输出了G->vexnum与G->arcnum:

printf("\n\n%d\t\n%d\n\n\n",G->vexnum,G->arcnum);

图片.png

问题找到了,然而,值为什么会错?
在这个函数的开始,我成功的从文件中读到了这两个值,进行了多次输出比对后,我发现在执行下面语句前后,两者发生了改变

//初始化整个矩阵 
    for(i=1;i<=MaxCityNum;i++){
        for(j=1;j<=MaxCityNum;j++){
            G->arcs[i][j] = INFINITY;   
        }
    }

读函数,发现该语句并没有进行任何对G->vexnum及G->arcnum的操作,但是却影响了两者的值?

仔细读程序,终于发现了问题: 数组越界 ! ! !

我在建立图时,邻接矩阵为 :
int arcs[MaxCityNum][MaxCityNum];
矩阵下标应该为0到MaxCityNum-1,但初始化时访问并初始化到了MaxCityNum,改变了G->vexnum的值,而locate中的循环是由G->vexnum决定的,未进入循环,因此查找失败