当我在Linux上使用STL编译C程序时，STL库是如何链接的？

Question

当我使用g编译一个使用STL的程序时，库是如何链接到我的程序的？动态还是静态？

对我来说，静态听起来很奇怪，因为这意味着每一个使用STL的C程序都必须在内部包含它。另一方面，动态链接对我来说也很奇怪，因为对于所有OOP的东西，我不知道如何动态链接库并支持不同类型的对象。。。

那么这里到底发生了什么？

Answer 1

部分动态，部分静态：

• 静态链接所有模板实例（显式或隐式）
• 其他事物动态地联系在一起

下面是一个简单的例子：

#include <vector>

int main()
{
    std::vector<int> v;
}

编译像

 g++  xxx.cpp -g  -Wall -Wextra

生成一个链接下一个库的文件：

$ ldd a.out 
        linux-vdso.so.1 =>  (0x00007fffa7767000)
        libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007f353bee7000)
        libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007f353bcd1000)
        libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f353b908000)
        libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f353b604000)
        /lib64/ld-linux-x86-64.so.2 (0x00007f353c20c000)

它有矢量符号：

$ nm a.out | grep vector
000000000040073e W _ZNSt6vectorIiSaIiEEC1Ev
000000000040073e W _ZNSt6vectorIiSaIiEEC2Ev
0000000000400758 W _ZNSt6vectorIiSaIiEED1Ev
0000000000400758 W _ZNSt6vectorIiSaIiEED2Ev

Answer 2

模板总是根据需要实例化，它们的实例根据它们使用的对象进行定制，是生成的二进制文件的一部分。

其他不基于模板的STL可以静态或动态链接，具体取决于编译器设置。

Answer 3

答案就在你的问题中：STL代表“标准模板库”。由于模板位于头文件中，并且仅在需要（例如使用）时才会实例化，因此可以包含每个STL头（如果需要），如果不使用任何一个，则二进制文件不会变大。

STL不是一个简单的工具。lib或。必须链接的文件。它是头文件的集合。