在递归中使用 realloc

Question

我可以用 C 语言做这个吗？ Valgrind 抱怨 realloc 产生无效的 free？

int main(){
    void* mem;
    // Do stuff
    recurfunc(123, mem);
    // Do stuff
    if(mem)
        free(mem);
    return 0;
}

void recurfunc(int x, void* mem){
     .....
     // Do stuff
     mem = realloc(mem, newsize);
     // Do stuff
     recurfunc(x, mem);
     .....
}

Answer 1

是的，它确实会抱怨，因为您作为 mem 传入的 void * 是指针的副本。对函数内指针的更改将不会反映回main。

如果您想更改函数中的mem并使其反射回来，则需要将指针传递给指针。

以下代码说明了这一点：

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

static void fn (void *p1, void **p2) {
    p1 = realloc(p1, 200);
    *p2 = realloc (*p2, 200);
    printf ("    In call: %p %p\n", p1, *p2);
}

int main (void) {
    void *x1 = malloc (100);
    void *x2 = malloc (100);
    printf ("Before call: %p %p\n", x1, x2);
    fn (x1, &x2);
    printf (" After call: %p %p\n", x1, x2);
    return 0;
}

which 输出：

Before call: 0x896f008 0x896f070
    In call: 0x896f0d8 0x896f1a8
 After call: 0x896f008 0x896f1a8
                    ^
                    +--- Note this bit.

并且您可以看到第一个值在 main 中保留，尽管它在函数内发生了更改。

Answer 2

任何使用的代码

x = realloc(x, size);

都可能泄漏，除非其他一些变量也保存 x 的当前值。

原因是，如果重新分配失败，返回值为 NULL，因此当前“未调整大小”的内存块将丢失。

此外，在您的代码中，您将

1. 未初始化的指针传递给函数，
2. 函数中完成的任何计算都不会更改 main 看到的变量，
3. 一旦递归函数返回，就会释放该未初始化的指针

，所以无论您的代码中发生了什么代码是“未定义的行为”。