GNU Argp中argp_program_bug_address存在与否的行为差异及无冲突原理

问题描述 #

GNU Argp（属于glibc）会根据全局变量的非零值调整行为——比如argp_program_bug_address设为非零时，会被加入--help的输出内容。但这里存在一个看似矛盾的点：

• 如果用户未定义该变量，glibc需要提供一个零值的默认定义才能正常工作；
• 但如果glibc真的有这个定义，用户自行定义时就会出现双重定义，导致链接报错，可实际情况是既不会报错，未定义时也能正常运行，且源码里找不到弱符号的标记。

解答：利用COMMON符号机制实现兼容 #

glibc对这类全局变量的处理，靠的是COMMON符号（而非弱符号）：

• 未定义变量时：glibc中的argp_program_bug_address是不带初始化值的全局声明（比如const char *argp_program_bug_address;），这类变量会被编译器标记为COMMON符号。链接阶段，若用户没有提供该变量的定义，链接器会自动为COMMON符号分配零值的存储空间，相当于默认初始化为0，满足未定义时的需求。
• 用户定义变量时：用户代码中的显式定义属于强定义（比如const char *argp_program_bug_address = "bug@example.com";），链接器会优先选择强定义，忽略glibc中的COMMON符号，因此不会触发多重定义错误。

简单来说，不带初始化的全局变量是COMMON符号，它相当于一个“占位符”，用户可以用自己的强定义覆盖它，没覆盖时链接器自动补零。

内容的提问来源于stack exchange，提问作者Alan De Smet