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

Question

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

我设法将其归结为以下最小示例：

#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输出的第二列中的小写字母表示它们是本地的（如果它们是大写的，那么它将是一个不同的故事）。 这些符号不会与同名的其他符号和AFAIK冲突，基本上只用于调试目的。 局部符号不会进入动态符号表（可以使用nm -D打印，但只能在共享库中打印）并且它们是strip pable以及非动态的导出符号（ nm输出的第二列中的大写字母） 。

（正如您将从Drepper的如何编写共享库中学到的，您可以使用-fvisibility=(default|hidden) （不应使用受保护）和可见性属性来控制可见性。）