链接静态库时如何将目标代码复制到可执行文件中？

Question

我正在阅读 O'Reilly 的书 21st Century C，其中作者指出在链接静态库时：

编译器[有效地]将库的相关内容复制到最终的可执行文件中。

我试图通过创建我自己的包含此模块的静态库来测试这一点：

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;
}

为了测试，我创建了两个 C 文件，其中一个调用 single_func()，另一个调用 func0() 和 func1()。

在这两种情况下，生成的可执行文件都是 751290B。如果我直接从模块中调用strcpy 和strcat，则两个可执行文件最终都是7215B。

这和上面的说法不冲突，还是我遗漏了一些关于链接的细节？

一个相关的问题是静态库是1600B，那么这个大小的增加是从哪里来的呢？

---

补充：

两个主文件都只包含调用函数并打印结果，如下所示：

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;
}

文件是这样编译的：

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

平台是linux，编译器是gcc v4.6.3。

Answer 1

对于静态库，复制的单位是库中的目标文件。由于您的两个程序都从目标文件中调用一个函数，因此两个程序都以可执行文件中的所有目标文件结束，因此大小相同（给定或取调用 main() 程序的大小）。

可执行文件中的额外信息可能来自多个地方。其中一些将是控制和调试信息。如果您也静态链接它，其中一些可能来自 C 库。我们可能需要查看主程序和链接线，并了解平台以提出其他通货膨胀的原因。