LD_PRELOAD函数插桩：为何采用带判断的静态变量初始化写法？

我希望通过LD_PRELOAD对第三方库函数进行Function interposition（函数插桩），发现大量示例采用如下代码模式：

void interposed_func()
{
    static void(*real_func)() = NULL;

    if (real_func == NULL)
       real_func = (void(*)())dlsym(RTLD_NEXT, "interposed_func");

    real_func();
}

我注意到该写法每次调用函数都会执行if判断，想了解直接采用如下初始化静态变量的写法有何问题：

void interposed_func()
{
    static void(*real_func)() = (void(*)())dlsym(RTLD_NEXT, "interposed_func");
    real_func();
}

由于static函数局部变量仅会初始化一次，我不理解为何所有示例都使用看似多余的if判断，是否存在我未考虑到的因素？

问题解答 #

核心差异在于线程安全、初始化时机限制、错误处理灵活性这三个关键点：

• 线程安全隐患
  C11标准之前，静态局部变量的初始化过程并非线程安全。如果多个线程同时首次调用interposed_func，会触发多次dlsym调用，甚至出现竞态条件导致real_func赋值错误。带if判断的写法可以通过手动加锁（比如pthread_mutex_t）来控制初始化逻辑，灵活性远高于直接初始化的方式。

• dlsym的调用时机限制
  dlsym不能在动态链接器的初始化阶段调用。如果你的插桩函数在程序启动时就被动态链接器触发（比如被全局构造函数依赖），静态变量初始化时调用dlsym会直接崩溃——此时动态链接器自身还未完成初始化，dlsym依赖的内部结构尚未就绪。而带if判断的写法，dlsym是在函数运行时执行，此时程序初始化已完成，dlsym可以正常工作。

• 错误处理能力不足
  若dlsym调用失败（比如找不到目标函数），静态变量初始化的写法无法做任何错误处理，会直接导致程序崩溃。而带if判断的写法可以在分支内加入错误处理逻辑，比如打印错误日志、触发程序优雅退出等。

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