静态库弱符号函数无实现无链接错误，运行段错误是否合理？

静态库中声明了带__attribute__((weak))的函数，后续应用程序未提供该函数实现，但静态链接此库时，GCC 11.4和Clang 16均未产生链接错误；运行生成的可执行文件会触发段错误。另外，GCC 9.4下用nm命令查看库符号时显示u weak_func。请问这一现象是否合理？这种静默故障是否符合规则？

示例代码 #

lib_file.h #

__attribute__((weak)) int weak_func(int x, int y);

void func();

lib_file.c #

#include "lib_file.h"

void func()
{
    weak_func(6, 7);  // 期望调用应用中实现的函数
}

app.c #

#include "./lib_file.h"

int main() 
{
    func();
    return 0;
}

编译链接命令 #

gcc -c -o libfunc.o lib_file.c
ar rcs libfunc.a libfunc.o
gcc app.c -lfunc -L./

现象分析与结论 #

这一现象完全符合链接器对弱符号的处理规则，并非编译器/链接器的故障：

1. 弱符号的核心特性

   • 弱符号与强符号的关键区别在于：当链接器无法找到弱符号的定义时，不会触发链接错误，而是将该符号的引用解析为NULL（0地址）。
   • GCC 9.4中nm显示的u weak_func，表示该符号是未定义的弱符号；高版本GCC/Clang的链接逻辑并未改变，只是延续了弱符号的处理规则，因此允许链接完成。

2. 静默故障的原因

   • 弱符号的设计目标就是支持“可选实现”：如果应用层提供了强符号实现，链接器会优先使用；如果没有提供，链接器默认将其置为NULL，这属于合法场景，因此不会报错。
   • 运行时触发段错误，是因为代码尝试调用地址为NULL的函数，这是未定义行为的典型表现，而非链接阶段的错误。

3. 规避静默故障的方法

   • 提供默认实现：在静态库中为弱符号编写一个默认实现，避免空指针调用。例如：

     __attribute__((weak)) int weak_func(int x, int y) {
         // 默认逻辑，比如返回错误码或空操作
         return -1;
     }
     

   • 启用编译警告：可以尝试使用GCC的-Werror=undef选项，将未定义符号的警告转为错误（注意该选项对弱符号的处理可能因版本不同存在差异，需自行测试验证）。

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