Question

是否可以在指向结构的第一个成员的指针上调用free（并且结构是与malloc有关的结构）？我原则上知道指针指向正确的东西......

struct s {int x;};
//in main
struct s* test;
test = (struct s*) malloc(sizeof(*test));
int* test2;
test2 = &(test->x);
free(test2); //is this okay??

此外，如果int x被结构替换，答案是否会改变？

更新：为什么我要编写这样的代码？

struct s {int x;};
struct sx1 {struct s test; int y;}; //extending struct s
struct sx2 {struct s test; int z;}; //another
// ** some functions to keep track of the number of references to each variable of type struct s 
int release(struct s* ptr){
  //if the number of references to *ptr is 0 call free on ptr
}
int main(){
    struct sx1* test1;
    struct sx2* test2;
    test1 = (sx1*) malloc(sizeof(*sx1));
    test2 = (sx2*) malloc(sizeof(*sx2));
    //code that changes the number of references to test1 and test2, calling functions defined in **
    release(test1);
    release(test2);
}

Answer 1

是的，这没关系。

6.7.2.1


在结构对象内，非位字段成员和位域中的单位   驻留的地址按声明的顺序增加。 指向a的指针   结构对象，适当转换，指向其初始成员（或者如果该成员是a   位字段，然后到它所在的单元，反之亦然。可能有未命名的   在结构对象中填充，但不在其开头。

这意味着这是定义的：

struct s {int x;};
struct s* test;
test = (struct s*) malloc(sizeof(*test));
int* p = &(test->x);
free(p);

Answer 2

根据C11标准，章节§6.7.2.1

[...]可能有未命名的在结构对象中填充，但不在其开头。

这意味着在结构的开头不能有任何填充。因此，第一个成员将具有与结构变量相同的地址。

free()需要一个先前由malloc()或其家人返回的指针。

在您的情况下，您传递的是malloc()返回的相同地址。所以，你很高兴。

是否可以使用指向第一个成员的指针自由调用？

2 个答案: