Valgrind Memory 泄漏，无效的免费（）

Question

typedef struct {
   int **a;
   int **b;
   int **c;
   int i;
} test_t;

test_t *create(int i) {
    test_t *test = malloc(i * sizeof(test_t));

    test->i = i;

    test->c = malloc(i * sizeof(int *));
    for (int j = 0; j < i; ++j) {
        test->c[j] = malloc(sizeof(int *));
    }

    test->a = malloc(sizeof(int *));
    test->a = &(test->c[0]);
    test->b = malloc(sizeof(int *));
    test->b = &(test->c[0]);
    return test;
}

void delete(test_t *test) {
    free(test->a);
    free(test->b);
    for (int i = 0; i < test->i; ++i)
        free(test->c[i]);
    free(test->c);
    free(test);
}

int main() {
    test_t *test;

    test = create(3);

    delete(test);

    return 0;
}

这段代码有什么问题？

当我运行 Valgrind 时，我得到 5 个错误和一些 memory 泄漏。

我没有看到任何 memory 泄漏，是吗？

我收到如下错误：

Invalid free() / delete / delete[] / realloc()
Address 0x4a380e0 is 0 bytes inside a block of size 24 free'd
Block was alloc'd at
Invalid read of size 8

请问有人可以帮我吗？

PS 代码工作正常，但它有 memory 泄漏，所以它没有。

Answer 1

目不转睛...

    test->a = malloc(sizeof(int *));
    test->a = &(test->c[0]);
    test->b = malloc(sizeof(int *));
    test->b = &(test->c[0]);

由于test->a和test->b立即重新分配，因此 malloc 没有任何作用，除了泄漏 memory。 以上应该很简单...

    test->a = &(test->c[0]);
    test->b = &(test->c[0]);

有了这个经验法则，mallocs 的数量应该等于 frees 的数量。 三个 malloc，一个循环。 三个释放，一个循环。

void delete(test_t *test) {
    for (int i = 0; i < test->i; i++) {
        free(test->c[i]);
    }
    free(test->c);
    free(test);
    test->a = NULL;
    test->b = NULL;
}

test->a和test->b不应被释放，因为它们正在借用test->c[0]的 memory。 我们也需要避免两次释放它。 既然借来的memory是无效的，不能再用了，我们把它设置为NULL万一。