修改结构体副本时如何避免返回局部变量地址？安全实现咨询

问题背景 #

定义如下结构体：

struct mystruct {
    int a;
};

当创建以该结构体为参数的函数，直接返回其地址时：

struct mystruct *
modifystruct1(struct mystruct s)
{
    s.a = 5;
    return &s;
}

使用c99 -Wall -Wextra -pedantic编译会触发警告：warning: function returns address of local variable [-Wreturn-local-addr]，已知该做法存在风险。

但如果将地址保存到另一个变量后再返回，警告会消失：

struct mystruct *
modifystruct2(struct mystruct s)
{
    struct mystruct *sptr = &s;
    sptr->a = 5;
    return sptr;
}

疑问：

• 这种做法是否可行？是否和第一种情况存在同样问题？
• 若存在同样问题，为何不再触发警告？
• 如果这种做法不安全，如何在函数内修改结构体副本，并安全返回其指针，最好不使用malloc？

解答 #

1. 做法完全不可行，和第一种情况风险一致 #

函数参数s是栈上的局部变量，函数执行完毕后，对应的栈帧会被销毁，该内存会被系统回收或重新分配。不管是直接返回&s，还是通过中间指针sptr返回，本质都是返回了已失效的栈内存地址。后续访问这个指针会触发未定义行为，可能出现内存数据错乱、程序崩溃等问题，和第一种情况的风险完全相同。

2. 编译器未触发警告的原因 #

编译器的警告是基于静态分析的启发式规则，只能覆盖典型的违规场景。第一种情况是直接返回局部变量地址，属于最容易识别的模式；第二种情况多了一层指针赋值的中间步骤，暂时绕过了当前编译器的检测逻辑，但这并不代表代码合法安全。

3. 不使用malloc的安全实现方案 #

有两种无需动态内存分配的安全方式：

• 调用者传入结构体指针：直接修改调用者提供的结构体实例，无需返回指针

  void modifystruct(struct mystruct *sptr)
  {
      sptr->a = 5;
  }
  

  调用示例：

  struct mystruct s;
  modifystruct(&s); // 直接修改s的内容
  

• 返回结构体本身：利用结构体的值语义，直接返回修改后的副本，调用者接收该值即可

  struct mystruct modifystruct(struct mystruct s)
  {
      s.a = 5;
      return s;
  }
  

  调用示例：

  struct mystruct s = {0};
  s = modifystruct(s); // 接收修改后的副本
  

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