31

我的问题可以总结如下：

bar.c：

#include <stdio.h>

void bar() {
    printf("bar\n");
}

主.c：

#include <stdio.h>

void __attribute__((weak)) bar() {
    printf("foo\n");
}

int main() {
    bar();
    return 0;
}

生成文件：

all:
    gcc -c bar.c
    ar -rc libbar.a bar.o
    gcc main.c -L. -lbar

输出：

$ ./a.out
foo

因此 main.c 中的弱符号 bar 不会被 bar.c 中的强符号覆盖，因为 bar.c 链接到静态库 libbar.a 中的 main.c。

如何告诉 gcc 使 libbar.a 中的强符号覆盖 main.c 中的弱符号？

4

2 回答 2

53

我对 max.haredoom 给出的答案感到困惑（并且它被接受了）。答案涉及共享库和动态链接，而问题显然是关于使用静态库进行静态链接的行为。我相信这是误导。

链接静态库时，默认情况下不ld关心弱/强符号：它只是将未定义的符号解析为第一次遇到的符号（因此命令行中静态库的顺序很重要）。

但是，可以使用该--whole-archive选项更改此默认行为。如果您将 Makefile 中的最后一步重写如下：

gcc main.c -L. -Wl,--whole-archive -lbar -Wl,--no-whole-archive

然后你会看到：

$ ./a.out
bar

简而言之，--whole-archive强制链接器扫描其所有符号（包括已解析的符号）。如果有一个强符号已经被弱符号解析（如我们的例子），那么强符号将推翻弱符号。

另请参阅 Eli Bendersky 的一篇关于静态库及其链接过程的精彩帖子“静态链接中的库顺序”和这个 SO question。

于 2016-05-12T15:49:58.003 回答
9

一般来说：如果您不将弱实现放入您main的 . 但是，如果您在 中实现它，则在链接此静态时main.c，您将只能使用强绑定 () 覆盖它。bar.c

请阅读http://www.bottomupcs.com/libraries_and_the_linker.html - 它包含很多关于这个主题的有趣内容。

我自己做了一个测试：

酒吧.c

#include <stdio.h>

void bar()
{
        puts("bar.c: i'm the strong bar()");
}

巴兹

#include <stdio.h>

void __attribute__((weak)) bar() 
{
        puts("baz.c: i'm the weak bar()");
}

主程序

#include <stdio.h>

#ifdef V2
        void __attribute__((weak)) bar()
        {
                puts("main: i'm the build in weak bar()");
        }
#else
        void __attribute__((weak)) bar();
#endif

int main()
{
    bar();
    return 0;
}

我的制作文件：

all:
    gcc -c -o bar.o bar.c
    gcc -shared -fPIC -o libbar.so bar.o
    gcc -c -o baz.o baz.c
    gcc -shared -fPIC -o libbaz.so baz.o
    gcc -o main1 main.c -L. -lbar -lbaz
    gcc -o main2 main.c -L. -lbaz -lbar
    LD_LIBRARY_PATH=. ./main1                                   # => bar.c
    LD_LIBRARY_PATH=. ./main2                                   # => baz.c
    LD_LIBRARY_PATH=. LD_PRELOAD=libbaz.so ./main1              # => baz.c (!!)
    LD_LIBRARY_PATH=. LD_PRELOAD=libbaz.so ./main2              # => baz.c
    gcc -o main3 main.c bar.o baz.o
    gcc -o main4 main.c baz.o bar.o
    ./main3                                                     # => bar.c
    ./main4                                                     # => bar.c
    gcc -DV2 -o main5 main.c -L. -lbar -lbaz
    gcc -DV2 -o main6 main.c -L. -lbaz -lbar
    LD_LIBRARY_PATH=. ./main5                                   # => main's implementation
    LD_LIBRARY_PATH=. ./main6                                   # => main's implementation
    gcc -DV2 -o main7 main.c -L. -lbar -lbaz
    gcc -DV2 -o main8 main.c -L. -lbaz -lbar
    LD_LIBRARY_PATH=. LD_PRELOAD=libbaz.so ./main7              # => main's implementation
    LD_LIBRARY_PATH=. LD_PRELOAD=libbaz.so ./main8              # => main's implementation
    gcc -DV2 -o main9  main.c -L. -lbar -lbaz
    gcc -DV2 -o main10 main.c -L. -lbaz -lbar
    LD_LIBRARY_PATH=. LD_PRELOAD=libbar.so ./main9              # => main's implementation
    LD_LIBRARY_PATH=. LD_PRELOAD=libbar.so ./main10             # => main's implementation
    gcc -c bar.c
    gcc -c baz.c
    gcc -o main11 main.c bar.o baz.o
    gcc -o main12 main.c baz.o bar.o
    ./main11                                                    # => bar.c
    ./main12                                                    # => bar.c
    gcc -o main13 -DV2 main.c bar.o baz.o
    gcc -o main14 -DV2 main.c baz.o bar.o
    ./main13                                                    # => bar.c
    ./main14                                                    # => bar.c

看看 main1 && main2 main.c... lib 定义了bar().

于 2012-10-27T13:06:41.800 回答