在 C 中释放 function 的典型原型是什么？

Question

查看 StackOverflow 上的示例代码，我注意到 object 释放有两个不同的原型：

struct foo *foo_create(int);
void foo_free_v1(struct foo *);
void foo_free_v2(struct foo **);

void bar() {

    struct *foo = foo_create(7);

    // ...

    // Version 1
    foo_free_v1(foo);

    // Version 2
    foo_free_v2(&foo);
}

标准库 function free使用第一种形式。

第二种形式在 C 中是惯用的吗？ 如果是，目的是什么？

Answer 1

那些采用指向指针的指针之所以这样做，是因为它们具有自动为您清空变量的便利性。

它们可能看起来像：

void foo_free_v1(struct foo *f) {
    if (f == NULL) return; // This has been freed before, don't do it again!

    free(f->a);
    free(f->b);
    free(f->c);
    free(f);
}

void foo_free_v2(struct foo **f) {
    if (*f == NULL) return; // This has been freed before, don't do it again!

    free((*f)->a);
    free((*f)->b);
    free((*f)->c);
    free(*f);

    *f = NULL; // Null out the variable so it can't be freed again.
}

这试图防止 double-free 错误。 这是一个多么好的想法，值得商bat。 请参阅下面的评论线程。

Answer 2

中头function

void foo_free_v1(struct foo *);

用作参数表达式的原始指针按值传递给 function。 这意味着 function 处理传递给 function 的指针值的副本。

更改副本不会影响用作参数表达式的原始指针。

例如考虑 function 定义

void foo_free_v1(struct foo *p)
{
    free( p );
    p = NULL;
}

本声明内function

p = NULL;

不会将原始指针更改为NULL 。 它将 function 局部变量p设置为NULL 。 因此，调用 function 后用作参数表达式的指针将具有无效值。 这是一个不指向现有 object 的值。

在第二个 function 中这样声明

void foo_free_v2(struct foo **);

用作参数表达式的原始指针通过指向它的指针通过引用接受。 因此，取消引用指针可以直接访问用作参数表达式的原始指针。

考虑一个可能的 function 定义

void foo_free_v2(struct foo **p)
{
    free( *p );
    *p = NULL;
}

在这种情况下，在声明中

*p = NULL;

它是设置为NULL的原始指针。 因此，原始指针没有无效值。

例如，考虑一个单链表

struct SinglyLinkedList
{
    int data;
     SinglyLinkedList *next;
};

在 main 中，您可以像这样声明列表

struct SinglyLinkedList *head = NULL;

然后您可以将新节点添加到列表中。 当指针head被初始化时，添加新节点的 function 将正常工作。

之后你可以销毁列表。

如果您将调用第一个 function 声明为

void foo_free_v1(struct SinglyLinkedList *head );

然后在调用 function 后，在 main 中声明的指针head将具有无效值。 那就是会有不一致。 该列表没有已经存在的元素，但它指向头 ode 的指针不等于NULL 。

是你打电话给function申报的吗

void foo_free_v1(struct SinglyLinkedList **head );

那么确实指向 main 中头节点的指针将等于 NULL，这确实意味着列表为空。 如果您有一个 function 检查列表是否为空，您可以将指针传递给 function 而不会产生未定义的行为。

Answer 3

在 C 中释放 function 的典型原型是什么？

传递指针。 如果非void则不返回或很少使用任何内容。

void foo_free_v1(foo_type *);

第二种形式（ foo_free_v2(&foo); ）在 C 中是惯用的吗？

不。

经典foo_free(foo_type *)示例：

foo *f = malloc(sizeof *f);
...
free(f);

FILE *istream = fopen(...);         
int count = fscanf(istream, ...);
long offset = ftell(istream, ...);
fclose(istream);

---

何时使用foo_free_v2(&foo); ？

当foo不是指针类型时使用foo_free_v2(&foo) 。

例子：

typedef struct {
  int object1;
  int *object2;
  int *object3;
  ... 
} foo_type;

foo_type foo = { 0 }; 

foo_get_resources(&foo, ...);
foo_do_this(&foo, ...);
foo_do_that(&foo, ...);
foo_free(&foo);