弱符号是链接器允许同一符号多次定义且自动选择最强定义的机制；它用于可插拔模块设计，通过__attribute__((weak))标记实现零开销替换，默认空实现可被插件覆盖。
什么是弱符号：链接器眼里的“可被覆盖的定义”
弱符号是链接器在合并目标文件时的一种特殊标记，它允许同一个符号（比如函数或变量）在多个目标文件中出现多次定义，而不会报 multiple definition 错误。链接器会从中挑一个“最强”的定义用——通常是强符号（普通定义）优先；如果没有强符号，才选任意一个弱符号。
这和 C++ 默认行为完全不同：正常情况下，int foo = 42; 在两个 .cpp 文件里各写一次，链接就失败。但加了弱标记后，它就能“让步”。
常见错误现象：ld: duplicate symbol _my_init in a.o and b.o —— 如果你本意是让模块可插拔，却忘了标弱，就会卡在这里。
使用场景集中在可扩展库设计中：比如基础库提供一个默认的 log_init() 实现，插件模块想用自己的版本替换它，又不想改基础库源码、也不希望用户手动删旧实现。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 用
__attribute__((weak))标记函数或变量（GCC/Clang），例如：void __attribute__((weak)) log_init() { /* 默认空实现 */ } - 全局变量也支持：
int __attribute__((weak)) default_buffer_size = 8192;
- 注意：C++ 类成员函数、模板实例化、内联函数不能直接标 weak；得提出来做非内联的 wrapper 函数
- Windows MSVC 用
#pragma weak或__declspec(selectany)，语义略有差异，跨平台项目要条件编译
为什么不用宏或虚函数？弱符号解决了什么真问题
宏替换只能在编译前起作用，无法解决“运行时加载不同插件，自动切换实现”的需求；虚函数需要对象实例和继承关系，而很多初始化函数（如 init_plugin()）是裸函数，没有上下文对象。
弱符号的优势在于：零侵入、无运行时开销、不依赖 ABI 兼容性——只要符号名一致，链接时就自动生效。
性能影响几乎为零：弱标记只影响链接阶段决策，生成的最终代码和手写强定义完全一样。
兼容性要注意：<strong>attribute</strong>((weak)) 在较老的 GCC（extern "C" + 弱符号组合规避 C++ name mangling 问题。
典型陷阱：
- 弱函数内部调用了非弱的全局变量，而该变量在别的模块里没定义 → 链接失败，不是弱的问题，是依赖没满足
- 把
static函数标 weak —— 无效，static已限制了链接可见性，weak 失去意义 - C++ 中重载函数无法单独标 weak，因为 mangled 名不同；必须用 extern "C" 包一层 C 风格接口
如何验证弱符号是否生效：从 objdump 到实际替换
光写 <strong>attribute</strong>((weak)) 不代表它真被当弱符号处理了。得看目标文件里有没有打上对应标记。
使用 objdump -t your.o | grep your_symbol，如果输出里有 <em>UND</em> 或带 w 标志（如 0000000000000000 w F .text 0000000000000010 my_init），说明标记成功。
更直接的测试方式：写两个 .cpp，都定义同名函数，一个强一个弱，然后一起链接。如果没报错，且运行时执行的是强版本，说明弱符号让位成功。
关键细节：
- 弱符号不能是
constexpr或constinit变量，它们要求编译期确定，和弱的“链接期裁决”冲突 - 在动态库（.so）中使用 weak 符号要小心：dlopen 加载顺序会影响哪个定义胜出，尤其多个 dso 同时导出同一弱符号时
- 调试时用
nm -C your_binary | grep your_symbol看最终二进制里保留的是哪个定义
可扩展库设计中的真实约束：弱符号不是万能胶
它只解决“定义冲突”这一环，不解决调用时机、初始化顺序、资源竞争等问题。比如多个插件都提供 <strong>attribute</strong>((weak)) init_network()，但没人保证它们不会同时初始化网卡。
真正的可扩展性还需要配合其他机制：
- 注册表模式：用弱符号提供默认注册入口，但主逻辑走
std::vector或哈希表管理插件句柄 - 初始化段控制：GNU 扩展的
__attribute__((constructor))可以确保弱函数在 main 前执行，但多个 constructor 的顺序不可靠 - 构建系统配合：用 CMake 的
target_link_libraries(... INTERFACE)控制链接顺序，避免弱符号被意外屏蔽
最常被忽略的一点：弱符号对调试不友好。GDB 里断点打在弱函数名上，可能命中默认实现而非你期望的插件实现，得结合 info functions 和 disassemble 确认实际地址。
