¿Cómo se copia el código de objeto en ejecutable cuando se enlaza con la biblioteca estática?

Question

Estoy leyendo el libro de O'Reilly 21st Century C en el que el autor afirma que al vincular con una biblioteca estática "el compilador [efectivamente] está copiando los contenidos relevantes de la biblioteca en el ejecutable final".

me han tratado de probar esto mediante la creación de mi propia biblioteca estática que consiste en este módulo:

static char szStr[64]; 

char* single_func() { 
    strcpy(szStr, "Hello string!\r\n"); 
    return szStr; 
} 

void func0() { 
    strcpy(szStr, "Hello"); 
} 

char* func1() { 
    strcat(szStr, " string!\r\n"); 
    return szStr; 
} 

Para probar una creados para archivos de C, donde uno está llamando single_func() y la func0 otras llamadas() y func1().

Los ejecutables resultantes son 751290B en ambos casos. Si llamo strcpy y strcat directamente desde los módulos, ambos ejecutables terminan siendo 7215B.

¿Esto no está en conflicto con la declaración anterior o me falta algún detalle sobre la vinculación?

Una pregunta relacionada es que la biblioteca estática es 1600B, entonces ¿de dónde viene este aumento de tamaño?

---

adicional:

Ambos archivos principales consisten en nada más que llamar a las funciones y la impresión de los resultados, así:

main0:

#include <stdio.h> 
#include "sharedlib.h" 
int main() { 
    char* szStr = single_func(); 
    printf("%s", szStr); 
    return 0; 
} 

main1:

#include <stdio.h> 
#include "sharedlib.h" 
int main() { 
    char* szStr; 
    func0(); 
    szStr = func1(); 
    printf("%s", szStr); 
    return 0; 
} 

archivos fueron compilados como esto:

gcc -static main0.c -L. -lsharedlib -o main0 

plataforma es Linux y el compilador gcc es v4.6.3.

Answer 1

Con bibliotecas estáticas, la unidad de copia es el archivo objeto de la biblioteca. Como ambos programas llaman a una función desde el archivo objeto, ambos programas terminan con todo el archivo objeto en el ejecutable, por lo tanto, el mismo resultado de tamaño (dar o tomar el tamaño del programa main() que realiza la llamada).

La información adicional en el archivo ejecutable podría provenir de varios lugares. Parte de esto será información de control y depuración. Parte de esto podría ser de la biblioteca C si también lo vinculaste estáticamente. Probablemente necesitemos ver el programa principal y las líneas de enlace, y conocer la plataforma para encontrar otras razones para la inflación.