GreenHills链接器聚合数组特性，GCC/G++是否有类似实现？

GreenHills的这个特性核心是编译链接时自动收集分散在多个编译单元的静态变量，生成统一索引数组。GCC/G++本身没有直接对应这种前缀命名自动生成数组的特性，但可以通过自定义段（Section）+ 链接器脚本的组合实现完全等价的效果，无需手动代码生成脚本（除非你无法修改链接器配置）。

一、原生替代方案：自定义段 + 链接器脚本 #

这种方法完全在编译链接阶段完成，和GreenHills特性一致是静态构建，运行时无需额外初始化。

1. 标记要收集的静态变量 #

在每个提供条目的编译单元中，给静态变量添加__attribute__((section("段名")))属性，将它们归类到同一个自定义段：

provider_a.c：

#include "MyStruct.h"
// 把变量放到.my_command_entries段
MyStruct command_foo __attribute__((section(".my_command_entries"))) = {"foo", ...};
MyStruct command_bar __attribute__((section(".my_command_entries"))) = {"bar", ...};

provider_b.c：

#include "MyStruct.h"
MyStruct command_bat __attribute__((section(".my_command_entries"))) = {"bat", ...};

2. 编写链接器脚本片段 #

创建链接器脚本文件（比如command_entries.ld），定义自定义段的位置，并暴露段的起始、结束符号：

SECTIONS {
  .my_command_entries : {
    __command_entries_start = .;  // 段起始地址符号
    KEEP(*(.my_command_entries))  // 强制保留该段内容，避免被链接器优化丢弃
    __command_entries_end = .;    // 段结束地址符号
  }
}

3. 在代码中遍历条目 #

在user.c中，通过链接器暴露的符号遍历所有收集到的条目：

#include "MyStruct.h"

// 声明链接器脚本中定义的符号
extern MyStruct __command_entries_start[];
extern MyStruct __command_entries_end[];

int main() {
    // 遍历所有MyStruct实例
    for (MyStruct *entry = __command_entries_start; entry < __command_entries_end; ++entry) {
        // 处理条目，例如打印名称
        printf("Command: %s\n", entry->name);
    }
    return 0;
}

补充：生成指针数组（和GreenHills完全一致） #

如果需要和GreenHills一样生成指针数组+NULL终止符的形式，可调整如下：

• 每个条目改为指针，放入自定义段：
  provider_a.c：

#include "MyStruct.h"
MyStruct command_foo = {"foo", ...};
// 把指针放到段中
MyStruct *__command_entry_foo __attribute__((section(".my_command_ptr_entries"))) = &command_foo;

• 链接器脚本添加NULL终止符：

SECTIONS {
  .my_command_ptr_entries : {
    __command_ptr_start = .;
    KEEP(*(.my_command_ptr_entries))
    LONG(0);  // 插入NULL终止符
    __command_ptr_end = .;
  }
}

• user.c中遍历：

extern MyStruct *__command_ptr_start[];

for (int i = 0; __command_ptr_start[i] != NULL; ++i) {
    // 使用__command_ptr_start[i]
}

二、无链接器脚本的替代：手动代码生成 #

如果项目限制无法修改链接器脚本，可通过脚本（Python、Makefile等）实现：

1. 扫描所有源文件，找出符合特定命名规则的静态变量（比如command_*）
2. 自动生成C文件（比如command_table.c），包含所有变量的指针数组：

#include "MyStruct.h"
extern MyStruct command_foo;
extern MyStruct command_bar;
extern MyStruct command_bat;

MyStruct *__ghstable_command[] = {&command_foo, &command_bar, &command_bat, NULL};

3. 将生成的文件加入编译流程即可。

这种方法需要维护扫描脚本，不如链接器方案优雅，但适合无法修改链接器配置的场景。

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