C (std=c99) 指向结构内存分配的指针

Question

所以，这工作正常...这意味着，没有编译器错误，似乎没有内存泄漏，它正在做我希望它做的事情。也就是说它应该起作用吗？当我去books_init时，我发送一个局部变量到集合，这是否意味着当我回到 main 时它不应该工作？(或未定义的行为？另外，如果你说我必须将其恶意化，我必须释放它吗？(评论清理(

/* pseudo struct Collection{
    size_t size, capacity;
    Volume *volumes;
} */
void collection_init(Collection *col, size_t capacity){
    col->size = 0;
    col->capacity = capacity;
    col->volumes = malloc(sizeof(Volume) * capacity);
}
void collection_resize(Collection *col, size_t capacity){
    Volume *v = realloc(col->volumes, capacity * sizeof(Volume));
    if(!v) return;
    col->capacity = capacity;
    col->volumes = v;
}
void collection_add(Collection *col, Volume *volume){
    if(col->size >= col->capacity)
        collection_resize(col, col->capacity * 2);
    col->volumes[col->size++] = *volume;
}
void collection_clean(Collection *col){
    //for(vol : col->vol) free(vol);
    //should I free every element or just volumes?
    free(col->volumes);
}
void books_init(Collection *col){
    for(int i = 0; i < 25; ++i){
        Volume v = {.swag = i};
        collection_add(col, &v);
    }
}    

int main(){
    Collection col;
    collection_init(&col, 10); 
    books_init(&col);
    for(int i = 0; i < col.size; ++i){
        printf("tVol[%d].id = %dn", i, col.volumes[i].swag);
    }
    collection_clean(&col);
    return 0;
}

感谢您抽出宝贵时间

Answer 1

这行books_init

Volume v = {.swag = i};

创建一个名为 v 的局部变量，其中成员swag初始化为 i 。然后将该变量的地址传递给 collection_add 。这是允许的，因为v仍在范围内。

这行在collection_add

col->volumes[col->size++] = *volume;

创建Volume结构内容的副本，并将该副本存储在 collection_init 中分配的内存中。

collection_add 返回后，books_init 中的变量v超出范围，但这没关系，因为v的内容被复制并保存在col->volumes指向的内存中。

当程序结束时，collection_clean只需要

free(col->volumes);

从内存中删除所有Volume副本。

我在您的程序中看到的唯一缺陷发生在realloc失败的情况下。在这种情况下，您仍会写入Volume数组。这将导致缓冲区溢出和内存损坏。为避免这种情况，collection_add函数应在执行复制之前验证collection_resize函数是否成功。例如，您可以在执行复制之前再次检查该col->capacity > col->size。

只要realloc总是成功，您的代码就可以了。