wasm-ld的--export-all选项对静态库无效问题咨询

核心原因：静态库与普通目标文件的链接逻辑差异 #

链接器对静态库（.a）和普通目标文件（.o）的处理逻辑完全不同：

• 普通目标文件：链接时会无条件将所有内容纳入最终二进制，配合--no-gc-sections参数时，所有符号都会被保留，此时--export-all可以导出所有可见符号。
• 静态库：链接器采用按需提取策略——只有当库中的某个符号被已链接的代码（如主程序、已处理的目标文件）引用时，才会把包含该符号的.o文件从静态库中提取出来参与链接。你的场景中没有任何代码引用foo，链接器直接跳过了libtest.a里的test.o，foo符号根本没进入最终的WASM模块，--export-all自然无法导出它。

为什么--export=foo能生效？ #

当你指定--export=foo时，链接器会将foo标记为必须保留的符号，这相当于强制触发了静态库中对应.o文件的提取逻辑——为了导出这个符号，链接器必须先把包含它的test.o从静态库中拉进来，因此foo会被纳入最终模块并成功导出。

为什么__attribute__相关属性无效？ #

__attribute__((export_name("blah-blah")))、__attribute__((visibility("default")))这类属性仅控制符号的可见性，但前提是对应的.o文件被链接器选中并纳入模块。如果链接器根本没提取test.o，这些属性就没有生效的基础。

这是链接器的通用行为吗？ #

是的，这是链接器的通用行为，不仅限于WASM格式。不管是ELF、Mach-O还是其他二进制格式的静态库，链接器都会采用按需提取的策略，目的是减少最终二进制的体积，避免打包未使用的代码。

解决方案 #

• 精准控制（推荐）：使用--export=foo明确指定需要导出的符号，既保证需求满足，又不会引入冗余代码。
• 强制链接整个静态库：在链接命令中使用-Wl,--whole-archive libtest.a -Wl,--no-whole-archive，让链接器提取静态库中所有.o文件，之后--export-all就能生效（适合需要导出库中大量符号的场景）。
• 直接使用目标文件链接：跳过静态库打包步骤，直接用test.o参与链接，简单场景下更直接。

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