c - 如何处理静态链接库之间的符号冲突？

Question

编写库时最重要的规则和最佳实践之一是将所有符号放在库到库特定的命名空间中。由于 namespace 关键字，C++ 使这一切变得容易。在C 通常的方法是在标识符前加上一些库特定的前缀。

C 标准的规则对这些设置了一些限制(为了安全编译):C 编译器可能只查看第一个标识符的 8 个字符，因此 foobar2k_eggs 和 foobar2k_spam 可能被解释为相同标识符有效 - 然而每个现代编译器都允许任意长标识符，所以在我们这个时代(21世纪)我们不应该为此烦恼。

但是，如果您遇到一些无法更改符号名称/标识符的库怎么办？也许你有只有静态二进制文件和 header 或不想或不允许自己调整和重新编译。

Answer 1

至少在静态库的情况下，您可以非常方便地解决它。

考虑库 foo 和 bar 的 header 。为了本教程的目的，我还将向您提供源文件

示例/ex01/foo.h

int spam(void);
double eggs(void);

examples/ex01/foo.c(这可能不透明/不可用)

int the_spams;
double the_eggs;

int spam()
{
    return the_spams++;
}

double eggs()
{
    return the_eggs--;
}

示例/ex01/bar.h

int spam(int new_spams);
double eggs(double new_eggs);

examples/ex01/bar.c(这可能不透明/不可用)

int the_spams;
double the_eggs;

int spam(int new_spams)
{
    int old_spams = the_spams;
    the_spams = new_spams;
    return old_spams;
}

double eggs(double new_eggs)
{
    double old_eggs = the_eggs;
    the_eggs = new_eggs;
    return old_eggs;
}

我们想在程序 foobar 中使用它们

示例/ex01/foobar.c

#include <stdio.h>

#include "foo.h"
#include "bar.h"

int main()
{
    const int    new_bar_spam = 3;
    const double new_bar_eggs = 5.0f;

    printf("foo: spam = %d, eggs = %f\n", spam(), eggs() );
    printf("bar: old spam = %d, new spam = %d ; old eggs = %f, new eggs = %f\n", 
            spam(new_bar_spam), new_bar_spam, 
            eggs(new_bar_eggs), new_bar_eggs );

    return 0;
}

一个问题立即变得显而易见:C 不知道重载。所以我们有两个乘以两个函数名称相同但签名不同。所以我们需要一些方法来区分它们。无论如何，让我们看看是什么编译器对此有话要说:

example/ex01/ $ make
cc    -c -o foobar.o foobar.c
In file included from foobar.c:4:
bar.h:1: error: conflicting types for ‘spam’
foo.h:1: note: previous declaration of ‘spam’ was here
bar.h:2: error: conflicting types for ‘eggs’
foo.h:2: note: previous declaration of ‘eggs’ was here
foobar.c: In function ‘main’:
foobar.c:11: error: too few arguments to function ‘spam’
foobar.c:11: error: too few arguments to function ‘eggs’
make: *** [foobar.o] Error 1

好吧，这并不奇怪，它只是告诉我们，我们已经知道，或者至少怀疑。

那么我们能否在不修改原始库的情况下解决标识符冲突？源代码还是标题？事实上我们可以。

首先让我们解决编译时间问题。为此，我们将 header 包含在一堆预处理器 #define 指令，为库导出的所有符号添加前缀。稍后我们用一些漂亮舒适的包装 header 来做到这一点，但只是为了演示正在发生的事情是在 foobar.c 源文件中逐字执行:

示例/ex02/foobar.c

#include <stdio.h>

#define spam foo_spam
#define eggs foo_eggs
#  include "foo.h"
#undef spam
#undef eggs

#define spam bar_spam
#define eggs bar_eggs
#  include "bar.h"
#undef spam
#undef eggs

int main()
{
    const int    new_bar_spam = 3;
    const double new_bar_eggs = 5.0f;

    printf("foo: spam = %d, eggs = %f\n", foo_spam(), foo_eggs() );
    printf("bar: old spam = %d, new spam = %d ; old eggs = %f, new eggs = %f\n", 
           bar_spam(new_bar_spam), new_bar_spam, 
           bar_eggs(new_bar_eggs), new_bar_eggs );

    return 0;
}

现在如果我们编译这个...

example/ex02/ $ make
cc    -c -o foobar.o foobar.c
cc   foobar.o foo.o bar.o   -o foobar
bar.o: In function `spam':
bar.c:(.text+0x0): multiple definition of `spam'
foo.o:foo.c:(.text+0x0): first defined here
bar.o: In function `eggs':
bar.c:(.text+0x1e): multiple definition of `eggs'
foo.o:foo.c:(.text+0x19): first defined here
foobar.o: In function `main':
foobar.c:(.text+0x1e): undefined reference to `foo_eggs'
foobar.c:(.text+0x28): undefined reference to `foo_spam'
foobar.c:(.text+0x4d): undefined reference to `bar_eggs'
foobar.c:(.text+0x5c): undefined reference to `bar_spam'
collect2: ld returned 1 exit status
make: *** [foobar] Error 1

...首先看起来事情变得更糟了。但仔细一看:其实是编译阶段一切顺利。只是链接器现在提示有符号冲突它告诉我们发生这种情况的位置(源文件和行)。正如我们所看到的这些符号没有前缀。

让我们用 nm 实用程序看一下符号表:

example/ex02/ $ nm foo.o
0000000000000019 T eggs
0000000000000000 T spam
0000000000000008 C the_eggs
0000000000000004 C the_spams

example/ex02/ $ nm bar.o
0000000000000019 T eggs
0000000000000000 T spam
0000000000000008 C the_eggs
0000000000000004 C the_spams

所以现在我们面临的挑战是在一些不透明的二进制文件中为这些符号添加前缀。是的，我知道在这个例子的过程中，我们有源并且可以在那里改变它。但现在，假设你只有那些.o文件，或者一个.a(实际上只是一堆.o)。

objcopy来救援

有一个工具对我们来说特别有趣:objcopy

objcopy 适用于临时文件，因此我们可以像就地操作一样使用它。有一个名为 --prefix-symbols 的选项/操作，您有 3 个猜测它的作用。

所以让我们把这个家伙扔进我们顽固的图书馆:

example/ex03/ $ objcopy --prefix-symbols=foo_ foo.o
example/ex03/ $ objcopy --prefix-symbols=bar_ bar.o

nm 向我们表明这似乎有效:

example/ex03/ $ nm foo.o
0000000000000019 T foo_eggs
0000000000000000 T foo_spam
0000000000000008 C foo_the_eggs
0000000000000004 C foo_the_spams

example/ex03/ $ nm bar.o
000000000000001e T bar_eggs
0000000000000000 T bar_spam
0000000000000008 C bar_the_eggs
0000000000000004 C bar_the_spams

让我们尝试链接整个事情:

example/ex03/ $ make
cc   foobar.o foo.o bar.o   -o foobar

事实上，它有效:

example/ex03/ $ ./foobar 
foo: spam = 0, eggs = 0.000000
bar: old spam = 0, new spam = 3 ; old eggs = 0.000000, new eggs = 5.000000

现在我把它作为练习留给读者来实现一个自动提取的工具/脚本使用nm的库符号，写入结构的包装头文件

/* wrapper header wrapper_foo.h for foo.h */
#define spam foo_spam
#define eggs foo_eggs
/* ... */
#include <foo.h>
#undef spam
#undef eggs
/* ... */

并使用objcopy将符号前缀应用于静态库的目标文件。

共享库怎么样？

原则上，共享库也可以做到这一点。然而共享库，顾名思义，在多个程序之间共享，因此以这种方式弄乱共享库并不是一个好主意。

你无法绕过编写一个蹦床包装器。更糟糕的是你无法链接到共享库在目标文件级别，但被迫进行动态加载。但这值得单独写一篇文章。

敬请关注，祝您编码愉快。