如何将函数返回值赋值给const全局变量？GCC编译报错求助

嘿，这个问题我太熟悉了——GCC对全局变量的初始化规则卡得很严，哪怕你声明的是const全局指针，也不能用函数调用这种运行时表达式来初始化它。原因很简单：全局变量属于静态存储区，在程序启动的静态初始化阶段就会被赋值，这时候还没进入任何函数的执行流程，alloc_page(1)这种动态内存分配操作根本没法在这个阶段执行。

下面给你几个实用的解决方案，你可以根据自己的代码场景选：

方案1：静态局部变量+懒加载初始化函数 #

这是最常用的方法，把初始化逻辑推迟到第一次调用函数的时候，而且只会执行一次：

#include <stdlib.h>

// 假设你的结构体定义是这样的
typedef struct {
    size_t page_size;
    // 其他字段...
} t_page_meta_data;

t_page_meta_data *alloc_page(size_t count) {
    return malloc(count * sizeof(t_page_meta_data));
}

t_page_meta_data *const get_begin_meta_data(void) {
    // 静态局部变量只会在第一次调用时初始化
    static t_page_meta_data *const begin_meta_data = NULL;
    if (begin_meta_data == NULL) {
        // 因为指针是const的，直接赋值会报错，这里用类型转换绕开const限制
        *(t_page_meta_data **)&begin_meta_data = alloc_page(1);
    }
    return begin_meta_data;
}

之后你需要用到这个全局指针的时候，直接调用get_begin_meta_data()就行，它会确保指针已经被正确初始化。

方案2：全局变量+构造函数初始化 #

如果你必须保留全局变量的直接访问方式，可以用GCC的constructor属性让初始化函数在main()之前自动执行：

t_page_meta_data *const begin_meta_data; // 只声明，不初始化

void init_begin_meta_data(void) {
    // 同样用类型转换修改const指针
    *(t_page_meta_data **)&begin_meta_data = alloc_page(1);
}

// 让这个函数在main()之前自动运行
__attribute__((constructor))
void global_init(void) {
    init_begin_meta_data();
}

这样程序一启动，begin_meta_data就会被初始化好，你可以直接在其他代码里使用它。注意这个属性是GCC特有的，如果要跨平台可能需要做适配。

方案3：放宽const限制（最简单的妥协） #

如果你的逻辑能保证初始化后绝不会修改这个指针，可以直接去掉指针的const修饰，改成普通全局变量：

t_page_meta_data *begin_meta_data = NULL;

void init_allocator(void) {
    if (begin_meta_data == NULL) {
        begin_meta_data = alloc_page(1);
    }
}

然后在程序启动时（比如main()开头）调用init_allocator()就行。这个方法最省心，唯一的缺点是失去了编译器对指针修改的检查，需要你自己保证代码不会意外修改它。

额外注意事项 #

• 不管用哪种方法，都要确保初始化逻辑只执行一次，避免重复调用alloc_page导致内存泄漏。
• 如果用方案1的懒加载，要考虑线程安全问题（如果是多线程程序，可能需要加互斥锁）。

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