结构体成员关联的复合字面量的生命周期问题咨询
结构体成员关联的复合字面量的生命周期问题咨询
嗨~我来帮你把这个复合字面量生命周期的问题理清楚,结合你给出的代码和两个理解点逐一确认:
先把你的示例代码贴出来方便对照:
#include <stdio.h> typedef struct { void *ctx; } A; int main(void) { A b; { A a = {&(int){3}}; printf("%p\n", a.ctx); b = a; } printf("%p\n", b.ctx); return 0; }
关于你的第一个理解
你的第一个理解完全正确!这里的复合字面量(int){3}出现在a的初始化器里,根据C标准的规则,这种情况下复合字面量的生命周期会和它所初始化的对象a绑定,两者生命周期完全一致。
所以在a的作用域(也就是内层的{}块内),你通过a.ctx访问这个匿名int对象是绝对安全的,不会有任何问题。
关于你的第二个理解
这个理解也没问题!当内层{}块结束,a离开它的局部作用域,和a绑定的复合字面量的生命周期也随之终止,这个匿名int对象占用的内存就变成了无效区域。
这时候b.ctx虽然存着原来那个匿名对象的地址,但这个地址已经指向了一块不再合法的内存空间。后续通过b.ctx去访问这块内存属于未定义行为——你可能偶尔会看到程序正常打印地址甚至读出3,但这只是运气好,本质上这种操作是非法的,随时可能导致程序崩溃、输出垃圾数据,或者出现其他不可预测的异常。
总的来说,你的两个理解都精准命中了问题的核心:初始化对象时用到的复合字面量,生命周期会和被初始化的对象绑定,对象失效,复合字面量也跟着失去效力。
内容来源于stack exchange
相关产品推荐
相关产品推荐

