对含未初始化指针的结构体执行free操作：成员指针是否释放？是否内存泄漏？

让我逐个拆解你的疑问，结合C语言的内存管理逻辑来解释：

1. 结构体中的char指针是否会被一同释放？ #

不会。这里要明确两个层级的内存：

• 你用malloc(sizeof(struct a))分配的是结构体实例本身的内存，它包含int b（通常4字节）和char* c（通常8字节，取决于系统位数）这两个成员的存储空间。
• char* c只是一个指针变量，它存储的是另一段内存的地址（只有后续你用d->c = malloc(...)给它分配了内存时，这个地址才有意义）。

当你执行free(d)时，只会释放结构体实例本身占用的内存（也就是包含b和c的那块内存），但不会自动释放c指向的外部内存。如果c之前指向了一块你手动分配的内存，那这块内存会成为“孤儿”，无法被访问也无法被释放。

2. 上述代码是否存在内存泄漏？ #

要看具体情况：

• 在你给出的代码里，char* c只是一个未初始化的指针，你并没有给它分配额外的堆内存（比如d->c = malloc(100);这种操作）。这种情况下，malloc(sizeof(struct a))分配的内存被free(d)完全释放了，不存在内存泄漏。
• 但如果后续你给c分配了堆内存，却在free(d)之前没有先free(d->c)，那c指向的那块内存就会泄漏——因为结构体被释放后，你再也无法通过d->c访问到那块内存了。

另外提一句，你的代码有个语法错误：应该写成struct a *d = malloc(sizeof(struct a));，不然编译器会报错。

3. 对含未初始化指针的结构体执行free操作会有什么问题？ #

直接free(d)本身是安全的，因为free只关心d这个指针是否是由malloc/calloc/realloc返回的有效地址——只要d是合法的堆指针，不管结构体内部的成员是什么状态，释放结构体本身的内存都不会触发未定义行为。

真正的风险在于：如果后续你错误地尝试free(d->c)（因为c未初始化，它的值是随机的），这会导致未定义行为——可能程序崩溃，可能破坏堆结构，可能看起来“正常运行”但留下隐藏bug。但单纯free(d)这个操作，和结构体里有没有未初始化指针无关，是完全合法的。

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