这段代码在 Windows 上给了我未定义的行为，但在 Linux 上工作正常

Question

我正在尝试用 C 语言编写一个小型双向链表程序，但由于某种原因，它给了我第一个元素的未定义行为。我希望它在开头有一个空单元格，用于链接第一个和最后一个元素。所以是这样的：... <-> Second Last <-> Last <-> Empty Cell <-> First <-> Second <->...

第一个元素是随机值，但下一个元素有效。例如，如果我的输入文件是 1 2 3 4 5，则输出将为 <undefined>2 3 4 5，其中 undefined 可以是 C 希望给我的任何数字。

奇怪的是它在调试模式下也能完美运行（使用 MinGW Developer Studio，因为我从学校习惯了它）。它在 Linux 下也很好用（使用 gcc 进行编译）。

这是代码：

#include <stdio.h>
#include <stdlib.h>

typedef struct Nod {
struct Nod *next, *ant;
int x;
} Nod_t, *List_t, **AList_t;

void PrintList (List_t sant){
List_t lista = sant->next;
while(lista != sant){
    printf("%i ", lista->x);
    lista = lista->next;
}
}

List_t PopulateList(char* fis){

List_t lista, sant;
int nr;
FILE *f = fopen(fis, "rt");

sant = (List_t)malloc(sizeof(List_t));
sant->next = sant->ant = NULL;
lista = sant;
//First node

while(!feof(f)){
    fscanf(f, "%i", &nr);
    lista->next = (List_t)malloc(sizeof(List_t));
    lista->next->x = nr;
    lista->next->ant = lista;
    lista = lista->next;
}

sant->ant = lista;
lista->next = sant;

return sant;

}

int main (){

List_t lista1;
lista1 = PopulateList("1.txt");
PrintList(lista1);
return 0;
}

这里的缩进更好：http://pastebin.com/NVQqaYHK

Answer 1

尝试从

更改您的 malloc

sant = (List_t)malloc(sizeof(List_t));

到

sant = malloc(sizeof(Nod_t));

sant = malloc(sizeof(List_t)); 返回一个指针大小的区域。

sant = malloc(sizeof(Nod_t)); 返回一个指向 Nod_t 大小的区域的指针。

顺便说一句，这是样式问题，但是您的类型别名令人困惑，并且可能导致您在 malloc 中的拼写错误。我建议只使用 Nod_t 类型并摆脱 List_t 和 AList_t。考虑以下声明：

List_t foo; // is this a pointer or a struct? Can't tell from the decl, need to know the typedef.
Nod_t *foo; // obviously a pointer

另请参阅 Zack 的建议，尤其是关于 feof() 问题。

Answer 2

错误就在这里：

sant = (List_t)malloc(sizeof(List_t));
sant->next = sant->ant = NULL;
lista = sant;

您没有初始化sant->x，因此您在列表中有一个条目（在包含文件中真实数据的所有条目之前），带有一个未初始化的x。

当您稍后为列表中的所有项打印出x 时，会触发未定义的行为（在 Linux 和 Windows 上，要清楚；未定义的行为包括打印的值的可能性永远为零）。

您应该在显示的代码之后立即重新构建循环，以便在您读取文件中的第一行之前不会分配列表中的第一个条目，并且您没有这个初始列表条目具有未初始化的值。

您还需要 Charlie Burns 提到的错误修复。