alcune domande sull'ordine di ricerca del linker GCC

Question

Ho alcune domande sull'ordine di gcc link. GCC man dice che i simboli di ricerca del linker vanno da sinistra a destra senza ripetere la ricerca di default. Qui è la mia prova:

main.c

#include <stdio.h> 
#include <stdlib.h> 

int main() 
{ 
     printf("HELLO WROLD\n"); 
     return 0; 
} 

printf.c

#include <stdio.h> 
#include <stdlib.h> 

int printf(const char *fmt, ...) 
{ 
     write(1, "AAA\n", 4); 
} 

[root@lenovo testcode]# gcc -c -fno-builtin-printf *.c 
[root@lenovo testcode]# gcc -o test main.o printf.o 
[root@lenovo testcode]# ./test 
AAA 
[root@lenovo testcode]# gcc -o test printf.o main.o 
[root@lenovo testcode]# ./test 
AAA 


[root@lenovo testcode]# ar rcs libprintf.a printf.o 
[root@lenovo testcode]# gcc -o test libprintf.a main.o 
[root@lenovo testcode]# ./test 
HELLO WROLD 
[root@lenovo testcode]# gcc -o test main.o libprintf.a 
[root@lenovo testcode]# ./test 
AAA 


[root@lenovo testcode]# gcc -shared -o libprintf.so printf.o 
[root@lenovo testcode]# gcc -o test libprintf.so main.o 
[root@lenovo testcode]# export LD_LIBRARY_PATH=. 
[root@lenovo testcode]# ./test 
AAA 
[root@lenovo testcode]# gcc -o test main.o libprintf.so 
[root@lenovo testcode]# ./test 
AAA 

Dal risultato, possiamo vedere l'ordine di .o e .o, .o e .so non fa differenza, solo l'ordine di .o e .a ha l'effetto. Ma questo è incoerente con la pagina man di gcc. Allora perché?

Answer 1

gcc elabora effettivamente i file oggetto da sinistra a destra. Quando si dispone di

gcc -o test libprintf.a main.o 

Il primo gcc file oggetto vede è libprintf.a. Non ci sono simboli non risolti per l'oggetto di output a questo punto, quindi nulla viene utilizzato/necessario da libprintf.a. Successivamente, viene elaborato main.o, il linker prende nota del fatto che printf non è risolto e quindi procede all'elaborazione delle librerie implicite in cui è in grado di risolvere il simbolo printf non risolto in main.o.

Allo stesso modo, quando si dispone di:

gcc -o test main.o libprintf.a 

Il primo file oggetto da lavorare main.o, in cui si nota il simbolo non risolto printf, il prossimo da lavorare libprintf.a da cui il linker è in grado di risolvere printf. Quando viene elaborato il numero libc, printf è già stato risolto, quindi non viene utilizzata l'istanza di printf in libc.

Quando si collega con i file .o:

gcc -o test main.o printf.o 

La biblioteca libc è ancora trattato come se è stato specificato alla fine della riga di comando, in modo che il simbolo printf viene risolto dal primo (da sinistra a -right) file oggetto che lo definisce.

Per entrambi i casi libprintf.so, la libreria libc viene nuovamente trattata come se fosse stata specificata alla fine della riga di comando. Ciò che è diverso dal caso di libreria statica è che l'ordinamento da sinistra a destra delle librerie *.so determina l'ordine di ricerca dei simboli dinamici di runtime. Poiché questo ordine ha libprintf.so prima dell'implicito libc.so, viene utilizzata la versione di printf in libprintf.so.

gcc -o test libprintf.so main.o 
gcc -o test main.o libprintf.so 

Come un ulteriore esperimento, si potrebbe provare:

gcc -o test main.o -lc libprintf.so 

Questo dovrebbe mostrare la versione di printf essere utilizzato da libc.so invece di libprintf.so perché -lc viene prima di libprintf.so in ordine da sinistra a destra.