C90标准下如何使用非const值在栈上初始化聚合类型

可行解决方案 #

• 方案1：栈上声明结构体后逐成员赋值
  C90仅限制结构体初始化时的右值必须是编译时常量，并未限制运行时对成员的赋值，直接写即可：

struct vec3 coordinates;
coordinates.x = rand_pos();
coordinates.y = rand_pos();
coordinates.z = rand_pos();

不需要任何堆内存操作，没有内存管理负担，完全符合C90语法要求。

• 方案2：封装返回结构体值的初始化函数
  C90支持函数返回结构体值类型，你可以把初始化逻辑封装成工具函数，全程使用栈内存，完全不需要涉及malloc/free：

struct vec3 generate_random_vec3(void) {
    struct vec3 res;
    res.x = rand_pos();
    res.y = rand_pos();
    res.z = rand_pos();
    return res;
}

// 调用侧直接使用即可
struct vec3 coordinates = generate_random_vec3();

这个方案完全满足你「不返回指针」的业务要求，返回的是结构体值拷贝，不存在堆内存分配，自然不需要额外free操作，完全符合API设计规范。

原有思路的缺陷说明 #

你之前考虑的malloc后返回解引用的方案本身存在内存泄漏缺陷：malloc分配的堆内存地址没有被任何指针持有，调用侧完全无法释放该内存，会造成持续的内存泄露，本身就是不可用的实现。

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