C/C++中静态分配的struct对象如何传递？返回局部struct是否合法？

#include <stdio.h>

struct arrWrap {
    int arr[100];
};

struct arrWrap fun()
{
    struct arrWrap x;

    x.arr[0] = 10;
    x.arr[1] = 20;

    return x;
}

int main()
{
    struct arrWrap x = fun();
    printf("%d %d", x.arr[0], x.arr[1]);
    return 0;
}

问题1：静态分配的结构体对象传递方式 #

如果结构体对象是函数内用static修饰的静态分配变量，有两种传递方式：

• 直接返回结构体值，和示例代码写法一致，静态变量的内容会被完整拷贝到调用方的接收变量中，不存在生命周期问题
• 返回静态结构体的指针，这种方式不需要拷贝完整结构体，性能更高，但要注意所有调用方共享同一份静态变量的内存，多次调用或者多线程场景下会出现内容互相覆盖的问题，需要自行做好数据隔离。

问题2：fun函数内变量x的属性和生命周期 #

• 示例代码中fun函数内的x没有加static修饰，属于栈上分配的自动变量，不是静态变量。
• 它的生命周期确实仅到fun函数块执行结束，栈空间会被系统回收，你这部分的理解完全正确。你可能疑惑为什么返回它不会触发非法访问：C/C++语法中返回结构体值时会自动做全量值拷贝，在函数返回前，栈上x的完整内容会被拷贝到调用方栈帧的临时空间或者接收变量中，拷贝完成后原栈上x的销毁不会影响已经拷贝好的内容，所以示例代码可以正常运行。

问题3：结构体包装数组返回写法的合法性与合理性 #

这种写法完全符合C和C++的语法标准，是合法的。合理性需要结合使用场景判断：

• 如果是无STL可用的C语言环境，这种写法是非常常用的返回固定大小数组的方案，比手动malloc动态分配内存再返回指针的方案更安全，不需要调用方手动释放内存，不会出现内存泄漏问题。
• 如果是C环境：仅当你明确数组大小固定、不需要动态扩容的场景下可以使用，否则优先选择std::vector。std::vector支持动态扩容、支持边界检查（at()方法）、适配所有STL算法，灵活性和安全性都更高。另外C11之后标准库提供了std::array，本质就是官方封装的固定大小数组包装类，底层实现和你自定义的结构体包装逻辑一致，还额外提供了size()、迭代器等工具接口，比自定义结构体更规范，更推荐使用。

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