会C/C++/Go/Rust的开发者，往往遇到过代码编译中需要选择使用动态还是静态链接的问题。
也知道C/C++开发中，静态编译不是推荐的做法；而Go语言改进了对静态编译的支持，对编译的文件做了优化，与 C 语言不同的是，Go 语言的标准库是默认静态链接的，而用户编写的代码可以选择使用动态链接库或静态链接库。
问题来了：如果C代码文件include的头文件包含很多库函数，但main() 函数只用到其中一个函数，那么生成静态链接的可执行文件的时候，linux gcc编译器会把库函数中未用到的库函数也包含到可执行文件里吗？
知识点：Linux的动态库静态库
在 Linux 系统中，动态库和静态库是两种不同类型的库文件，它们在程序的编译和运行过程中扮演着不同的角色。
- Linux下的动态库（Dynamic Library）是指在程序运行时动态加载和链接的库文件。动态库通常以.so（Shared Object）为后缀名，它们包含了可执行代码和数据，可以被多个程序共享。动态库的优点是可以减少程序的大小，提高内存利用率，并且可以在程序运行时动态加载和更新库文件。Linux下的静态库（Static Library）是指在程序编译时被静态链接到可执行文件中的库文件。静态库通常以.a（Archive）为后缀名，它们包含了可执行代码和数据，并且在程序编译时被直接嵌入到可执行文件中。静态库的优点是可以提高程序的运行速度，因为不需要在程序运行时动态加载库文件。
- 动态库和静态库通常存储在系统的标准库路径下，具体位置取决于操作系统和编译器的配置。在 Linux 系统中，动态库通常存储在/lib和/usr/lib目录下，而静态库通常存储在/lib和/usr/lib目录或/usr/lib64目录下的lib.a子目录中。
你可以在/etc/ld.so.conf系统配置文件中指定动态库的路径，然后使用sudo ldconfig命令来更新动态库的缓存，以确保程序能够正确地找到动态库。你还可以使用ldd命令来查看程序所依赖的动态库。
实际上/etc/ld.so.conf文件的内容是：
include /etc/ld.so.conf.d/*.conf所以当你需要告诉系统，去加载自己特定目录下的动态库所在目录的时候，就可以在/etc/ld.so.conf.d/目录下新建以.conf后缀的文本文件，然后sudo ldconfig，就可以更新linux的动态库缓存信息，系统就能知道你的路径下的动态库的存在。
最后回答本文开头提出的那个问题：
C代码文件在生成静态链接的可执行文件时，Linux GCC 编译器会将头文件中所有声明的函数都包含到可执行文件中，无论它们是否被 main()函数直接使用。
这是因为在静态链接中，编译器会将所有用到的库函数都直接嵌入到可执行文件中，以确保程序在运行时不需要依赖外部库文件。因此，即使 main()函数只使用了头文件中声明的一个函数，编译器仍然会将头文件中所有声明的函数都包含到可执行文件中。
这可能会导致可执行文件的大小增加，但可以确保程序在运行时不需要依赖外部库文件，从而提高了程序的独立性和可移植性。
如果希望减少可执行文件的大小，可以考虑使用动态链接库SO（Windows下是DLL，Mac下为dylib后缀的）来实现库函数的共享。对于操作系统来说，多个应用软件都依赖同一个动态库，那么动态库的文件只需要一份，这比起静态库，大大减少了磁盘占用，也提高了操作系统的内存资源管理效率。
