Question

试图理解valgrind为什么告诉我我超出了char * array的范围时，我遇到了一个问题。

每当我尝试从nul字节之前开始向后迭代数组时，它引发了我正在访问不应该访问的内存的错误。

这是我的第一个功能：

char *ReadLineFile(FILE *infile) {
    int initSize = 16;
    char *string = NULL;
    string = malloc(sizeof(char) * initSize);
    if(string == NULL){
        exit(-1);
    }

    char val;
    int valSize = 0;
    while((val = fgetc(infile)) != EOF){
        if(val == '\n'){
            break;
        }

        if(valSize == initSize){
            initSize *= 2;
            string = realloc(string, initSize * sizeof(char));
        }

        string[valSize++] = val;
    }

    if(valSize == initSize){
        initSize++;
        string = realloc(string, initSize * sizeof(char));
    }

    string[valSize++] = '\0';

    return trimString(string);
}

这是我的第二个功能：

char *trimString(char *string) {
    int start = 0;
    int end = strlen(string);

    while(string[start] == ' '){start++;}
    while(string[end-2] == ' '){end--;}  // the [end-2] causes the error in valgrind

    int trimLen = end - start;
    char *trimmedStr = malloc(sizeof(char) * (trimLen + 1));
    if(trimmedStr == NULL){
        exit(-1);
    }

    int i = 0;
    while(start != end){
        trimmedStr[i] = string[start];
        i++; start++;
    }

    trimmedStr[i] = '\0';
    free(string);

    return trimmedStr;
}

Valgrind错误：

==3809== Invalid read of size 1
==3809==    at 0x1090D5: trimString (myio.c:129)               
==3809==    by 0x109080: ReadLineFile(myio.c:120)
==3809==    by 0x108C54: main (driver2.c:29)
==3809==  Address 0x522e03e is 2 bytes before a block of size 16 alloc'd
==3809==    at 0x4C2FB0F: malloc (in /usr/lib/valgrind/vgpreload/memcheck-amd64-linux.so)
==3809==    by 0x108F91: ReadLineFile(myio.c:90)
==3809==    by 0x108C54: main (driver2.c:29)

我期望valgrind不会出错，因为我在字符串中分配了足够的内存，但是却告诉我，当我尝试向后迭代数组时，我不应该访问该内存。我想了解是什么原因造成的，因为我花了多个小时试图找出此错误。谢谢！

Answer 1

如果该行只是空格或空行怎么办？

在这种情况下，while(string[end-2] == ' '){end--;}可能会到达该行的开头并继续向后走。

请考虑测试行/字符串的限制。另外，为什么-2呢？为什么不-1？即：

while(end > start && string[end - 1] == ' ') --end;

这种方法将保护您免受“走”得太远。

旁注：

EOF标记不是有效的字节（不在0-255的值范围内）。如果是这样，它可能是文件中间的有效值。

因此，EOF不能包含在char中，您不能测试char是否包含EOF。使用int val代替char val。

valgrind-地址是在分配大小为16的块之前的2个字节

1 个答案: