结构体传值内部malloc指针的安全性及参考资料咨询

我们在C语言项目中需要传递可变长字节序列，受堆内存限制要减少malloc调用。定义了包含char* ptr的my_struct结构体，my_func动态分配ptr后按值返回该结构体，another_func按值接收结构体。现咨询两个问题：

1. 若在原结构体或其副本某处调用my_struct_destroy释放ptr，是否可避免内存泄漏？尤其another_func返回后，inst.ptr是否会被改写或悬空？
2. 有没有讨论该行为的权威参考资料？

代码示例 #

typedef struct {
    char * ptr;
} my_struct;

// 为结构体中的指针分配n字节内存并初始化
my_struct my_func(size_t n) {
    my_struct out = {(char *) malloc(n)};
    /* 初始化 out.ptr */

    return out;
}

void another_func(my_struct inst) {
    /* 
    使用按值传递的inst做一些操作
    这里或函数返回后，inst.ptr会有问题吗？
    */
}

void my_struct_destroy(my_struct * ms_ptr) {
    free(ms_ptr->ptr);
    ms_ptr->ptr = NULL;
}

int main() {
    my_struct inst = my_func(20);
    
    another_func(inst);
    
    my_struct_destroy(&inst);
}

问题1解答 #

• 内存泄漏避免：可以避免内存泄漏，但必须保证仅调用一次my_struct_destroy。结构体按值传递时，副本的ptr和原结构体的ptr指向同一块堆内存地址——不管是在原结构体（比如main里的inst）还是副本（比如another_func里的inst）上调用销毁函数，只要只执行一次，就能正确释放堆内存，不会产生泄漏。
• inst.ptr的状态：another_func接收的是main中inst的栈上副本，副本的ptr与原inst.ptr指向同一块内存，但两者是独立的结构体实例：
  • 若在another_func中仅读取或修改ptr指向的内存内容，不会改变原inst.ptr的指向，函数返回后原inst.ptr依然有效，直到调用my_struct_destroy释放它。
  • 若在another_func中修改副本的ptr本身（比如给它赋值新地址），只会改变副本的指针值，原inst.ptr不会被改写。
  • 但如果在another_func中调用了my_struct_destroy(&inst)，原inst.ptr会变成悬空指针（堆内存已被释放），后续main中再调用销毁函数会触发重复free的未定义行为。你的代码中是在main里调用销毁函数，不存在这个问题。

问题2解答 #

权威参考资料包括：

• ISO/IEC 9899:2011（C11标准）：
  • 6.2.5章节：定义结构体类型，明确结构体值传递时会逐成员复制，包括指针成员（复制的是指针地址，而非指向的内存）。
  • 6.5.2.2章节：说明函数参数按值传递的行为，结构体作为参数时执行逐成员复制。
  • 7.22.3章节：规范malloc、free等内存分配函数的行为，明确free仅能用于malloc系列函数分配的内存，且不可重复释放。
• 《C程序设计语言》（K&R第二版）：
  • 第6章“结构体”：讲解结构体的定义、值传递与复制行为。
  • 第8章“UNIX系统接口”：介绍动态内存分配的使用规则，以及指针与内存管理的注意事项。

内容的提问来源于stack exchange，提问作者Jeffrey Bonde