嵌入式C中结构体指针内存重叠问题及无动态内存分配解决方案

问题根源 #

你的func函数始终返回同一个静态全局结构体的地址（代码存在变量名笔误：int_struct.c中定义的是int_struct_app，但函数内写的是int_struct_st，本质是同一个静态变量）。无论调用多少次func，返回的都是这块固定内存的指针，后续赋值自然会覆盖之前的数据。

无动态内存分配的解决方案 #

方案1：直接返回结构体值（推荐）

修改函数返回类型为结构体本身，每次调用都会生成结构体副本，调用者可直接存储到自己的变量中，完全避免内存覆盖问题。

// int_struct.h
typedef struct {
    int a;
    int b;
} int_struct;

// 修改函数声明为返回结构体
int_struct func(int a);

// int_struct.c
int_struct func(int a ){
    int_struct temp;
    temp.a = a;
    temp.b = 15;
    return temp;
}

// int_app.c
// 直接定义结构体实例，或用指针指向它们
static int_struct int_struct_inst1;
static int_struct int_struct_inst2;
static int_struct* int_struct_pt1 = &int_struct_inst1;
static int_struct* int_struct_pt2 = &int_struct_inst2;

// 赋值到指针指向的内存
*int_struct_pt1 = func(10);
*int_struct_pt2 = func(16);

方案2：预分配多个静态实例

如果必须返回指针，可以在模块内预定义多个静态结构体变量，通过计数器返回不同实例的地址，确保每个指针指向独立内存。

// int_struct.c
static int_struct int_struct_inst1;
static int_struct int_struct_inst2;
static int instance_idx = 0;

int_struct * func(int a ){
    int_struct* ret = NULL;
    switch(instance_idx){
        case 0:
            ret = &int_struct_inst1;
            instance_idx++;
            break;
        case 1:
            ret = &int_struct_inst2;
            // 若需要循环使用可重置索引，否则限制调用次数
            instance_idx = 0;
            break;
        default:
            // 超出预分配数量时的错误处理，比如返回NULL或触发断言
            return NULL;
    }
    ret->a = a;
    ret->b = 15;
    return ret;
}

// int_app.c
static int_struct* int_struct_pt1 = func(10);
static int_struct* int_struct_pt2 = func(16);

方案3：调用者提供内存缓冲区（嵌入式场景首选）

由调用者提前分配好结构体内存（静态、全局或栈上，根据需求选择），将指针传入func函数，函数仅负责填充数据。这种方式完全由调用者掌控内存，无全局变量副作用，灵活性最高。

// int_struct.h
typedef struct {
    int a;
    int b;
} int_struct;

// 修改函数，接收调用者提供的结构体指针
void func(int a, int_struct* out_struct);

// int_struct.c
void func(int a, int_struct* out_struct){
    if(out_struct == NULL){
        // 空指针检查，嵌入式中可添加断言或硬件报错逻辑
        return;
    }
    out_struct->a = a;
    out_struct->b = 15;
}

// int_app.c
// 调用者自行分配内存
static int_struct int_struct_inst1;
static int_struct int_struct_inst2;
static int_struct* int_struct_pt1 = &int_struct_inst1;
static int_struct* int_struct_pt2 = &int_struct_inst2;

// 传入指针填充数据
func(10, int_struct_pt1);
func(16, int_struct_pt2);

方案选型建议 #

• 结构体体积较小时优先选方案1，代码简洁直观，拷贝开销可忽略。
• 必须返回指针且实例数量固定时选方案2，但需注意控制调用次数避免越界。
• 嵌入式场景优先选方案3，内存可控性强，无全局静态变量的潜在问题。

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