如何让GCC在所有构造函数后、main()前调用指定函数？

背景 #

我开发了一个共享库，需要在加载时自动初始化功能，退出时自动清理资源。目前通过带__attribute__ ((constructor))属性的函数实现加载逻辑，这些函数会和全局静态变量交互，部分函数还会注册atexit()处理程序负责清理。但遇到了一个问题：退出时，atexit处理程序需要访问某些静态变量，而这些变量（包括函数内部的静态变量）的析构函数会先于atexit处理程序执行，导致出现“使用已释放资源”的错误。

示例代码的执行结果也验证了这个问题：exit处理程序中的a.doit()调用发生在A类的析构函数之后。

已尝试的方案 #

• 尝试使用init_priority属性时触发编译错误
• 改用__attribute__ ((constructor(65535)))设置最高优先级构造函数，但发现它仍然在全局静态变量的构造函数之前执行
• 后续找到一组可行的属性组合，但需要为所有静态变量显式指定init_priority，希望找到无需逐个设置的方法

解决方案 #

1. 实现main()前的延迟调用 #

要让指定函数在所有构造函数（包括__attribute__((constructor))函数和全局/局部静态变量构造函数）执行完成后、main()启动前调用，可以利用GCC构造函数的优先级规则结合静态变量的初始化特性：

• GCC中__attribute__((constructor(priority)))的优先级数值越大，执行越晚（范围0-65535）；而全局静态变量的init_priority数值越小，构造越早（范围0-65535）。
• 如果不想逐个设置静态变量的init_priority，可以通过链接脚本全局控制初始化顺序：在链接脚本中定义两个初始化段，将所有静态变量的初始化函数放入优先级更高的段，目标延迟执行的构造函数放入优先级更低的段，确保后者在所有静态变量构造后执行。这种方法仅适用于GCC+GNU ld环境。
• 另一种简化方案是将目标逻辑封装在一个全局静态对象的构造函数中，通过调整工程的链接顺序，让这个对象的编译单元最后被链接，从而保证它的构造函数在所有其他静态变量之后执行（多文件工程中需注意链接顺序的稳定性）。

2. 解决退出时的资源访问问题 #

针对atexit处理程序在静态变量析构后执行的问题，更可靠的替代方案是：

• 将清理逻辑封装在一个全局静态对象的析构函数中
• 给该对象设置__attribute__((init_priority(1)))，让它最早完成构造（析构顺序与构造顺序相反，最早构造的对象最晚析构）
• 这样就能保证清理逻辑在所有静态变量析构之前执行，彻底避免访问已释放资源的问题

总结 #

如果要规避为所有静态变量显式设置init_priority的限制，链接脚本全局控制初始化顺序是最直接的方法；而针对退出时的资源清理问题，用全局静态对象的析构函数替代atexit，并通过init_priority控制构造顺序，是更稳定的解决方案。

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