c - 符号可见性未按预期工作

Question

我有一个这样的示例程序:

#include <stdio.h>

#if 1
#define FOR_EXPORT __attribute__ ((visibility("hidden")))
#else
#define FOR_EXPORT
#endif

FOR_EXPORT void mylocalfunction1(void)
{
    printf("function1\n");
}

void mylocalfunction2(void)
{
    printf("function2\n");
}

void mylocalfunction3(void)
{
    printf("function3\n");
}

void printMessage(void)
{
    printf("Running the function exported from the shared library\n");
}

并使用它编译

gcc -shared -fPIC -fvisibility=hidden -o libdefaultvisibility.so defaultvisibility.c

现在在编译之后我做:

$ nm libdefaultvisibility.so
nm libdefaultvisibility.so 
0000000000000eb0 t _mylocalfunction1
0000000000000ed0 t _mylocalfunction2
0000000000000ef0 t _mylocalfunction3
0000000000000f10 t _printMessage
                 U _printf
                 U dyld_stub_binder

这意味着据我所知，尽管 -fvisibility=hidden 所有符号都被导出。我正在关注的书声称只有标有 FOR_EXPORT 的函数应该被导出。

我查看了其他几个资源，但对于我正在做的简单测试，-fvisibility=hidden 应该足够了。

我的 clang 版本:

$ clang -v
clang -v
Apple LLVM version 7.3.0 (clang-703.0.31)
Target: x86_64-apple-darwin15.0.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

Answer 1

您误解了 nm 的输出。滚动 man nm 然后你会读到 t 标志意味着该符号是一个本地(静态)符号text 部分。链接器看不到它。如果它是全局的(外部的)标志将是 T。所以您的所有四个功能都是本地的。

对比度:

$ clang -shared -fPIC -fvisibility=hidden -o libdefaultvisibility.so defaultvisibility.c
$ nm libdefaultvisibility.so | grep ' t '
0000000000000570 t deregister_tm_clones
0000000000000600 t __do_global_dtors_aux
0000000000200e08 t __do_global_dtors_aux_fini_array_entry
0000000000000640 t frame_dummy
0000000000200e00 t __frame_dummy_init_array_entry
0000000000000670 t mylocalfunction1
0000000000000690 t mylocalfunction2
00000000000006b0 t mylocalfunction3
00000000000006d0 t printMessage
00000000000005b0 t register_tm_clones   

删除-fvisibility=hidden:

$ clang -shared -fPIC -o libdefaultvisibility.so defaultvisibility.c
$ nm libdefaultvisibility.so | grep ' t '
0000000000000600 t deregister_tm_clones
0000000000000690 t __do_global_dtors_aux
0000000000200e08 t __do_global_dtors_aux_fini_array_entry
00000000000006d0 t frame_dummy
0000000000200e00 t __frame_dummy_init_array_entry
0000000000000700 t mylocalfunction1
0000000000000640 t register_tm_clones
$ nm libdefaultvisibility.so | grep ' T '
0000000000000780 T _fini
00000000000005b0 T _init
0000000000000720 T mylocalfunction2
0000000000000740 T mylocalfunction3
0000000000000760 T printMessage

然后只有显式隐藏的 mylocalfunction1 保留在本地，并且其他三个现在是全局性的。

你不应该期望用 __attribute__ ((visibility("hidden"))) 标记的符号在任何情况下都将由共享库导出。该属性的意思恰恰是它不会是，无论它是否显式应用于符号，如在这种情况下，或在存在链接器选项 -fvisibility=hidden 时默认获取。

如果您只想通过 visibility 属性导出示例中的那个函数你会:

#define FOR_EXPORT __attribute__ ((visibility("default")))

然后:

$ clang -shared -fPIC -fvisibility=hidden -o libdefaultvisibility.so defaultvisibility.c
$ nm libdefaultvisibility.so | grep ' T '
0000000000000720 T _fini
0000000000000550 T _init
00000000000006a0 T mylocalfunction1

它是全局的，因为显式属性覆盖了命令行选项，你所有的其他功能都是本地的。可能令人困惑的是，default 可见性始终公开。

并且您可以在不借助可见性属性的情况下完成此操作 - 这是不可移植 - 只需将您不想导出为static 的所有函数声明即可。然后是编译器不会首先将它们暴露给链接器:

foo.c

#include <stdio.h>

void mylocalfunction1(void)
{
    printf("function1\n");
}

static void mylocalfunction2(void)
{
    printf("function2\n");
}

static void mylocalfunction3(void)
{
    printf("function3\n");
}

static void printMessage(void)
{
    printf("Running the function exported from the shared library\n");
}

你又得到了:-

$ clang -shared -fPIC -o libfoo.so foo.c
$ nm libfoo.so | grep ' T '
00000000000006c0 T _fini
0000000000000550 T _init
00000000000006a0 T mylocalfunction1

尽管在您的示例中并未体现出这种区别，但您应该理解，虽然链接器看不到本地/静态符号并且(因此)对于动态链接不可用，但全局/外部符号可能会也可能不会 可用于动态链接。 可见性仅控制动态 链接的全局符号的可用性。