数组中的内存释放

Question

我已经完成了一个程序，它可以打开文件（读取二进制文件），并将所有单词（在文件中）保存在一个 char 数组中（根据单词的长度动态分配）。
这是代码：

char **leggi_stringhe(const char *filename, size_t *size) {
    FILE *f = fopen(filename, "rb");
    if (f == NULL) {
        *size = 0;
        return NULL;
    }

    int x;

    if (fread(&x, 1, 4, f) != 4) {
        *size = 0;
        return NULL;
    }

    char **stringhe = malloc((x) * sizeof(char));

    for (int i = 0; i < x; i++) {
        int z = 0;
        if (fread(&z, 1, 4, f) != 4) {
            *size = 0;
            return NULL;
        }

        stringhe[i] = malloc((z)* sizeof(char));
        if (fread(stringhe[i], 1, z, f) != z) {
            *size = 0;
            return NULL;
        }
        stringhe[i][z] = 0;
    }
    *size = x;
    fclose(f);
    return stringhe;
}

int main(void) {
    size_t t;
    char **a = leggi_stringhe("file1.bin", &t);

    for (int i = 0; i < t; i++)
        free(a[i]);
    free(a);;
}

该程序有效，但我在内存释放方面遇到了问题。 调用leggi_stringhe函数后，变量a包含：

a[0] = "first"
a[1] = "second"
a[2] = "third"

但是当我尝试释放整个 a 变量时，调试器会停止并发出警告。
我受到这个问题的启发，编写了我的代码Using Dynamic Memory allocation for arrays，但不明白为什么在尝试解除分配时会出现此错误。

Answer 1

您对malloc 的初次调用是错误的。您为x 字符 分配空间，而不是为指向char 的指针。

您在循环中的第二次调用是错误的，因为您没有为终止符分配空间。

最后，与您提出的问题无关，但如果循环内的 fread 调用失败，您将出现内存泄漏。

Answer 2

您的代码存在一些问题：

• 这一行：

  char **stringhe = malloc((x) * sizeof(char));
  

  需要：

  char **stringhe = malloc((x) * sizeof(char*)); /* or sizeof *stringhe */
  

  因为您需要为stringhe 分配x char* 指针。

• 在您的第一个 for 循环中，您没有添加 +1 作为空终止符。它需要改为：

  stringhe[i] = malloc(z+1); /* sizeof(char) = 1 */
  

• 您需要检查malloc() 的返回。如果不成功，它可以返回NULL。您可以通过简单地检查if (ptr == NULL) 来完成此操作，然后退出程序。允许失败的malloc() 在程序中继续是不安全的。

• for (int i = 0; i < t; i++) 将int 与size_t 进行比较。这应该是for (size_t i = 0; i < t; i++)。