weak symbol binding与unique symbol binding的差异及相关技术疑问

核心差异 #

• Weak Symbol Binding：这类符号允许被其他同名强符号覆盖。如果多个目标文件都定义了同一个weak符号，链接器会任选其一保留，其余直接忽略；要是没有任何定义，链接器也不会报错，会把符号解析为空值或0。常见于可选功能的兼容实现，比如平台特有的 fallback 函数。
• Unique Symbol Binding：这是GNU工具链特有的一种符号类型，要求整个程序里最多有一个逻辑实体，但允许多个编译单元存在完全一致的定义（比如C++17的inline变量）。链接器会自动合并所有同名且内容一致的unique符号；如果发现定义不一致，直接抛出多重定义错误。

关于Unique Symbol Binding的定义 #

Unique binding是GNU链接器为适配C++17标准引入的特性，Oracle链接器文档没提到是因为它不属于Oracle工具链的范畴：

• C++17规定inline变量可以在多个编译单元中定义，且这些定义必须对应同一个实体。
• GCC用unique符号实现这一要求：每个编译单元生成的inline变量都会被标记为unique符号，链接时会校验所有同名unique符号的内容，一致就合并成一个，不一致就报错，既满足多编译单元定义的需求，又保证了实体的唯一性。
• Clang则选择用weak符号实现：虽然也能兼容多编译单元定义，但如果不同编译单元的inline变量定义意外不一致，链接器只会任选其一，不会报错——这其实是违反C++标准的，但只要代码符合规范，这种情况不会出现。

实用小技巧 #

可以用objdump -t <目标文件名>命令查看符号的绑定类型：weak符号会被标记为W，unique符号在GNU工具链下标记为u。

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