静态函数和变量在共享库中导出

Question

到目前为止，我假设 C 中具有静态链接的对象（即静态函数和静态变量）不会与其他编译单元（即.c文件）中的其他对象（静态或外部链接）发生冲突，因此我使用了“short”内部辅助函数的名称，而不是用库名称作为所有内容的前缀。最近，我的库的一个用户由于与另一个共享库的导出函数发生名称冲突而发生崩溃。经过调查发现，我的几个静态函数是共享库符号表的一部分。由于它发生在几个 GCC 主要版本中，我认为我遗漏了一些东西（这样的主要错误会被注意到并修复）。

我设法将其简化为以下最小示例：

#include <stdbool.h>
#include <stdlib.h>

bool ext_func_a(void *param_a, char const *param_b, void *param_c);
bool ext_func_b(void *param_a);

static bool bool_a, bool_b;

static void parse_bool_var(char *doc, char const *var_name, bool *var)
{
    char *var_obj = NULL;

    if (!ext_func_a(doc, var_name, &var_obj)) {
       return;
    }
    *var = ext_func_b(var_obj);
}

static void parse_config(void)
{
    char *root_obj = getenv("FOO");
    parse_bool_var(root_obj, "bool_a", &bool_a);
    parse_bool_var(root_obj, "bool_b", &bool_b);
}

void libexample_init(void)
{
    parse_config();
}

静态变量bool_a和静态函数parse_bool_var在目标文件和共享库的符号表中都是可见的：

$ gcc -Wall -Wextra -std=c11 -O2 -fPIC -c -o example.o example.c
$ objdump -t example.o|egrep 'parse_bool|bool_a'
0000000000000000 l     O .bss   0000000000000001 bool_a
0000000000000000 l     F .text  0000000000000050 parse_bool_var
$ gcc -shared -Wl,-soname,libexample.so.1 -o libexample.so.1.1 x.o -fPIC 
$ nm libexample.so.1.1 |egrep 'parse_bool|bool_a'
0000000000200b79 b bool_a
0000000000000770 t parse_bool_var

我已经深入研究了 C11、Ulrich Drepper的“如何编写共享库”以及其他几个解释符号可见性的来源，但我仍然不知所措。bool_a即使声明了和 ，为什么parse_bool_var它们仍会出现在动态符号表中static？

Answer 1

输出第二列中的小写字母nm意味着它们是本地的（如果它们是大写字母，那就是不同的故事了）。这些符号不会与同名的其他符号冲突，据我所知，基本上仅用于调试目的。本地符号也不会进入动态符号表（可打印nm -D，但只能在共享库中），并且它们可以与非动态的strip导出符号（输出第二列中的大写字母）一起使用。nm

（正如您从 Drepper 的《如何编写共享库》中了解到的那样，您可以使用-fvisibility=(default|hidden)（不应使用 protected）和可见性属性来控制可见性。）