GCC下C语言如何让外部变量可选？解决自定义段空链接报错

1. 修正代码笔误 #

首先修复main函数里的变量名错误，否则会出现未定义符号问题：

int main() {
    for (void(**initfunc)() = &__start_my_init; initfunc < &__stop_my_init; ++initfunc)
        if (*initfunc) (*initfunc)(); // 将preinitfunc改为initfunc
    return 0;
}

2. 确保my_init段始终存在（核心解决思路） #

问题根源是当程序未添加任何make_init定义时，链接器可能丢弃库中my_init段的默认空指针，导致__start_my_init和__stop_my_init符号未生成。以下两种方法可解决：

方法A：用used属性强制保留段占位符

修改库中的默认空指针定义，将unused替换为used，确保链接器不会因未直接引用而丢弃my_init段：

// 替换原有的 make_init 0;
static void (*__my_init_default)() __attribute__((section("my_init"), used)) = NULL;

保持make_init宏不变，程序中添加的make_init foo;会自动将函数指针放入my_init段，与库中的默认空指针合并。

方法B：通过链接脚本强制生成起止符号

编写链接脚本文件（如my_init.ld），明确指定my_init段的起止符号并保留段内容：

SECTIONS {
  .my_init : {
    __start_my_init = .;
    KEEP(*(my_init))  // 强制保留my_init段所有内容
    __stop_my_init = .;
  }
} INSERT AFTER .text;

编译时添加链接脚本参数：

gcc -o your_program main.c your_library.a -T my_init.ld

此方法无需修改代码，直接通过链接器配置确保符号始终存在。

3. 效果验证 #

• 当程序未添加任何make_init定义时，库中的默认空指针会被保留，__start_my_init和__stop_my_init正常生成，循环遍历到空指针时会跳过判断，程序正常运行。
• 当程序添加make_init foo;时，foo的函数指针会被放入my_init段，与库中的空指针一起被遍历执行。

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