Question

到目前为止，我假设C中具有静态链接（即静态函数和静态变量）的对象不会与其他编译单元中的其他对象（静态或外部链接）发生冲突（即.c文件）所以我使用了＆＃34;短＆＃34;内部帮助函数的名称，而不是使用库名称前缀所有内容。最近，由于名称与另一个共享库中的导出函数发生冲突，我的库的用户遇到了崩溃。经过调查，我发现我的几个静态函数是共享库的符号表的一部分。由于它发生在几个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＆＃34;如何编写共享库＆＃34;以及其他几个解释符号可见性的来源，但我仍然处于亏损状态。为什么bool_a和parse_bool_var最终会出现在动态符号表中，即使它们已被声明为static？

Answer 1

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

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

静态函数和变量在共享库

1 个答案: