复合字面量中字符串字面量的生命周期有效性咨询

核心结论 #

你的猜想完全正确，全局变量gs中存储的name指针可以安全使用，字符串字面量"foo"并不绑定复合字面量的生命周期，而是具有静态存储期。

详细分析 #

• 复合字面量的生命周期：你代码中的(struct S){.name="foo",.size=20}是块作用域的复合字面量，它的生命周期确实仅限于定义它的内层代码块。代码块结束后，这个复合字面量本身占用的栈内存会被回收，但这里的name只是一个指针，它指向的并非复合字面量的内存区域。
• 字符串字面量的存储特性：根据C标准，字符串字面量属于静态存储类型，从程序启动到终止全程存在，编译器通常会将其放在.rodata只读数据段中。无论它出现在代码的哪个位置，其内存地址始终有效。
• 代码执行逻辑：调用func时，复合字面量的地址被传入函数，随后gs = *s将复合字面量中的name指针（指向"foo"的静态内存地址）和size值（20）拷贝到全局变量gs中。当复合字面量的生命周期结束后，gs中存储的只是指针值，这个指针依然指向静态存储的"foo"，因此后续访问gs.name是完全安全的，测试中能正常输出结果也符合这一逻辑。

注意事项 #

如果复合字面量中存储的是指向栈内存的指针（比如指向复合字面量内部的数组、局部变量等），那么当复合字面量生命周期结束后，该指针会成为野指针，访问它会导致未定义行为。但字符串字面量属于静态存储，不存在这类问题。

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