从函数返回复合字面量指针是否安全？是否应使用malloc？

核心结论 #

返回复合字面量的指针绝对不安全，属于C标准定义的未定义行为——你看到的编译无警告、运行输出正确只是巧合，不能当成可依赖的特性。

为什么局部变量返回会触发警告，复合字面量不会？ #

• 对于普通局部变量（比如第二个例子里的int i），编译器能清晰识别它是栈帧内的自动存储变量，返回其地址会直接触发-Wreturn-stack-address警告，这是gcc对明确危险操作的检测。
• 复合字面量((struct test) { .item = 20, .next = NULL })的语法形式比较特殊，gcc的警告机制没有覆盖到这种场景，但它本质上仍是函数内的自动存储对象：函数返回时，包含这个复合字面量的栈帧被销毁，对应的内存会被标记为可用，后续任何操作都可能覆盖这块内存，此时再通过返回的指针访问就是未定义行为。

代码示例的“正常输出”是假象 #

你第一个例子里输出20只是因为栈内存还没被后续操作覆盖，属于未定义行为的“侥幸”情况。如果在main函数里增加更多函数调用、局部变量，大概率会出现输出错误或者程序崩溃的情况。

关于free的误区 #

复合字面量不是通过malloc/calloc/realloc等动态分配函数在堆上申请的内存，绝对不能用free释放。free只能用于释放动态分配的堆内存，对复合字面量调用free会触发新的未定义行为，可能导致程序崩溃或内存损坏。

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