Почему attribute ((конструктор)) работает в статической библиотеке?

В следующем примере программа должна напечатать "foo called":

// foo.c
#include <stdio.h>

__attribute__((constructor)) void foo()
{
    printf("foo called\n");
}

// main.c
int main()
{
    return 0;
}

Если программа скомпилирована так, она работает:

gcc -o test main.c foo.c

Однако, если foo.c скомпилирован в статическую библиотеку, программа ничего не печатает.

gcc -c main.c
gcc -c foo.c
as rcs foo.a foo.o
gcc -o test foo.a main.o

Почему это происходит?

Ответ 1

Компонент не включает код в foo.a в финальной программе, потому что ничего в main.o не ссылается на него. Если main.c переписывается следующим образом, программа будет работать:

//main.c

void foo();

int main()
{
    void (*f)() = foo;
    return 0;
}

Кроме того, при компиляции со статической библиотекой порядок аргументов gcc (или компоновщика) значителен: библиотека должна появиться после объектов, которые ссылаются на нее.

gcc -o test main.o foo.a

Ответ 2

Как было сказано, символы без ссылок из архива не попадают в выходной двоичный файл, потому что компоновщик отбрасывает их по умолчанию.

Чтобы переопределить это поведение при связывании со статической библиотекой, можно использовать опции --whole-archive/--no-whole-archive для компоновщика, например:

gcc -c main.c
gcc -c foo.c
ar rcs foo.a foo.o
gcc -o test -Wl,--whole-archive foo.a -Wl,--no-whole-archive main.o

Это может привести к раздутым двоичным файлам, потому что все символы из foo.a будут включены компоновщиком в вывод, но иногда это оправдано.