如何在标准C或GNU扩展C中指定全局变量的相邻内存布局？

标准C的限制 #

标准C没有任何语法或机制能强制两个独立全局变量（比如int a;和int b;）在内存中相邻。编译器完全有权根据优化策略、内存对齐要求、段划分（比如-fdata-sections）调整它们的位置，你的初始认知是正确的。

GNU扩展C的解决方案 #

GCC提供了直接控制变量布局的扩展属性，针对你的需求，最优雅的方式是结构体+全局别名：

1. 把需要连续排列的函数指针放进结构体，用__attribute__((packed))消除内部填充字节，保证成员严格相邻；
2. 用__attribute__((alias))给结构体成员定义全局别名，让用户可以直接调用函数名，无需额外宏。

示例代码：

// 结构体强制所有函数指针连续排列，packed消除内部填充
struct GlFuncs {
    void (*glActiveShaderProgram)(GLuint, GLuint);
    void (*glActiveTexture)(GLenum);
    // ... 其他OpenGL函数指针
} __attribute__((packed)) gl_funcs;

// 给结构体成员定义全局别名，用户可直接使用原函数名
void (*glActiveShaderProgram)(GLuint, GLuint) __attribute__((alias("gl_funcs.glActiveShaderProgram")));
void (*glActiveTexture)(GLenum) __attribute__((alias("gl_funcs.glActiveTexture")));
// ... 对应其他函数的别名定义

适配你的加载逻辑 #

结合你的循环加载需求，可以直接把结构体地址转成函数指针数组来遍历，既保证体积优化，又保留便捷调用：

struct GlFuncs {
    void (*glActiveShaderProgram)(GLuint, GLuint);
    void (*glActiveTexture)(GLenum);
    // ... 其他函数指针
} __attribute__((packed)) gl_funcs;

// 全局别名定义
void (*glActiveShaderProgram)(GLuint, GLuint) __attribute__((alias("gl_funcs.glActiveShaderProgram")));
void (*glActiveTexture)(GLenum) __attribute__((alias("gl_funcs.glActiveTexture")));
// ... 其他别名

// 自动计算函数数量，避免手动维护COUNT
#define COUNT (sizeof(struct GlFuncs) / sizeof(void (*)()))

void load_gl(void (*(*loader)(char *))()) {
    char names[] = "glActiveShaderProgram glActiveTexture ...";
    char *p = names, *pp;
    void (**table)() = (void (**)())&gl_funcs;

    for (int i = 0; i < COUNT; ++i) {
        pp = strchr(p, ' ');
        if (pp) *pp = '\0';
        table[i] = loader(p);
        p = pp ? pp + 1 : p + strlen(p);
    }
}

注意事项 #

• __attribute__((packed))仅消除结构体内部的多余填充，不会破坏函数指针本身的对齐要求（比如64位系统的8字节对齐），避免未对齐访问的性能问题；
• __attribute__((alias))要求别名与原成员的类型完全匹配，定义时需仔细核对函数签名；
• 该方案仅兼容GCC/clang，若需适配MSVC，可替换为__declspec(alias)，语法逻辑一致。

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