C语言函数返回结构体指针后直接访问成员的支持版本与实用性问询

一、标准与编译器支持情况 #

C89（1989年发布的ANSI C标准）不支持create_rectangle(20,10)->width这种写法。原因是C89规定->操作符的左操作数必须是可修改的左值——也就是能放在赋值语句左侧的表达式（比如变量名），而函数返回的指针是临时的右值，不符合这个要求。

你用GCC加-std=c89 -pedantic编译不报错，是因为GCC提供了非标准扩展：从GCC 2.95版本（1999年发布）开始，就允许将右值指针作为->的左操作数。注意，如果你加上-pedantic-errors（带-errors后缀），GCC就会严格遵循C89标准，抛出编译错误；默认-pedantic只会给出警告，不会阻止编译。

这种写法的标准化支持是从**C99标准（1999年发布）**开始的，C99放宽了对->操作数的限制，允许右值指针使用该操作符，后续的C11、C17、C23标准都延续了这一规则。

二、实际实用性与风险 #

1. 内存泄漏风险 #

写法本身不会导致泄漏，但风险完全取决于create_rectangle这类函数的内存分配方式：

• 如果函数通过malloc动态分配内存并返回指针，直接用create_rectangle(20,10)->width会丢失唯一的指针引用，后续无法调用free释放内存，必然造成内存泄漏。
• 如果函数返回的是静态内存（比如内部定义static Rectangle r; return &r;）或栈内存的指针，不会有泄漏问题，但栈内存指针存在悬垂风险（函数执行完毕后栈内存被回收，指针失效），静态内存指针则可能有线程安全问题。

2. 适用场景 #

这种写法在以下场景中是简洁且安全的：

• 访问全局/静态配置：比如工具函数返回全局配置结构体的指针，直接get_app_config()->max_conn可以省去临时变量，代码更紧凑。
• 临时单次查询：如果只是一次性获取某个值，且函数返回的内存无需手动释放（比如返回常量指针、静态内存指针），这种写法能减少冗余代码。
• 栈内短生命周期访问：在同一个函数调用栈内立即访问成员，不保存指针到后续逻辑（比如printf("%d", get_temp_rect()->width);），此时栈内存尚未回收，不会出现悬垂指针。

3. 代码权衡 #

这种写法的优势是减少临时变量，让代码更简洁。但缺点是可读性略有下降，且容易隐藏动态内存泄漏的风险。如果函数返回的是动态分配的内存，强烈建议先将指针存入变量，使用后手动释放：

// 安全写法，避免泄漏
Rectangle *r = create_rectangle(20, 10);
int width = r->width;
free(r);

对比直接访问的危险写法：

// 动态分配时会泄漏内存
int width = create_rectangle(20, 10)->width;

总结 #

• C89不支持该写法，GCC从2.95版本开始提供扩展支持，C99及后续标准正式纳入该语法。
• 实用性取决于返回指针的内存来源：动态分配内存时直接访问极易泄漏，静态/栈内存或临时查询场景可谨慎使用以简化代码。

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