如何在函数内的static复合字面量中设置结构体的整数指针成员？

问题重现 #

先看代码示例，直观感受矛盾点：

#include <stdio.h>

typedef struct {
    int *ptr_mb;
} MyStruct;

// 编译报错：ptr不是常量
MyStruct init_struct(int *ptr) {
    static MyStruct s = (MyStruct){.ptr_mb = ptr};
    return s;
}

int main() {
    int val = 10;
    // 直接初始化完全正常
    static MyStruct s = (MyStruct){.ptr_mb = &val};
    printf("%d\n", *s.ptr_mb);
    return 0;
}

同样是用static复合字面量初始化结构体，main函数里能正常编译运行，放到自定义函数里用参数作为指针值就报错。

问题根源 #

C23确实允许使用static复合字面量，但static对象的初始化器必须是编译时常量表达式这条核心规则并没有改变：

• main里的&val是块作用域static对象的地址，编译器在编译阶段就能确定它的存储位置，属于合法的地址常量，因此可以用来初始化static结构体。
• 函数参数ptr是运行时才传入的变量值，不属于编译时常量，自然过不了编译器的常量检查。

可行解决方案 #

要在函数里实现类似main中的初始化效果，得绕开static初始化器必须是常量的限制，改用运行时赋值的方式：

方案1：每次调用都更新指针 #

如果每次调用函数都需要更新结构体的指针成员，直接这么写：

MyStruct init_struct(int *ptr) {
    static MyStruct s;
    s.ptr_mb = ptr;
    return s;
}

方案2：仅初始化一次（模拟static初始化的效果） #

如果只需要第一次调用时设置指针，之后保持不变，可以加个初始化标记：

MyStruct init_struct(int *ptr) {
    static int is_initialized = 0;
    static MyStruct s;
    if (!is_initialized) {
        s.ptr_mb = ptr;
        is_initialized = 1;
    }
    return s;
}

方案3：仅限指向编译时常量的场景（不适用你的需求） #

如果指针成员可以指向全局变量这类编译时常量，倒是能直接用static复合字面量，但显然不符合你要指向变量的需求，仅作参考：

int global_val;

MyStruct init_struct(void) {
    static MyStruct s = (MyStruct){.ptr_mb = &global_val};
    return s;
}

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