为什么我的动态字符串数组的实现会泄漏？

Question

我需要一个字符串数组，当添加更多项目时，它会动态调整大小。我的基本代码可以工作，但 valgrind 报告内存泄漏。

应该使用静态和动态分配的字符串的实现如下所示：

typedef struct {
    char **items;
    int num;
} StringArray;

StringArray* string_array_init() {
    StringArray *arr = malloc(sizeof(StringArray));
    arr->items = NULL;
    arr->num = 0;
    return arr;
}

void string_array_add(StringArray *arr, char *str, int str_len) {
    void *new_items = realloc(arr->items, (arr->num + 1) * sizeof(char *));

    arr->items = (char**)new_items;
    arr->items[arr->num] = strndup(str, str_len);
    arr->num++;
}

void string_array_cleanup(StringArray *arr) {
    int i;

    for (i = 0; i < arr->num ; i++) {
        free(arr->items[i]);
    }

    free(arr);
}




int main() {
    StringArray *arr = string_array_init();

    string_array_add(arr, "item 1", strlen("item 1"));
    string_array_add(arr, "item 2", strlen("item 2"));
    string_array_add(arr, "item 3", strlen("item 3"));

    string_array_cleanup(arr);

    return 0;
}

Valgrind 报告：

==31443== HEAP SUMMARY:
==31443==     in use at exit: 12 bytes in 1 blocks
==31443==   total heap usage: 7 allocs, 6 frees, 53 bytes allocated
==31443== 
==31443== 12 bytes in 1 blocks are definitely lost in loss record 1 of 1
==31443==    at 0x4025CCD: realloc (vg_replace_malloc.c:525)
==31443==    by 0x80484A6: string_array_add (in ...)
==31443==    by 0x8048593: main (in ...)
==31443== 
==31443== LEAK SUMMARY:
==31443==    definitely lost: 12 bytes in 1 blocks
==31443==    indirectly lost: 0 bytes in 0 blocks
==31443==      possibly lost: 0 bytes in 0 blocks
==31443==    still reachable: 0 bytes in 0 blocks
==31443==         suppressed: 0 bytes in 0 blocks
==31443== 

为什么 realloc 泄漏以及如何修复它？我认为单独释放每个字符串然后释放结构就足够了，但我错过了一些东西。

Answer 1

您释放了 arr->items 中包含的字符串，但没有释放 arr->items 本身。 （您在string_array_add中分配了它）。

Answer 2

问题出在这一行：

arr->items = (char**)new_items;

您覆盖了旧指针。您需要重新分配此指针而不是 new_items。