如果我放入stdlib.h或stdio.h，我不需要链接它们，但我必须在编译时链接:

Stdlib.h, stdio.h是头文件。你把它们包括进来是为了方便。如果你链接到适当的库中，它们只预测哪些符号是可用的。实现在库文件中，这是函数真正存在的地方。

包含math.h只是获得对所有math函数的访问权的第一步。

此外，如果你不使用它的函数，你也不必链接到libm，即使你做了#include <math.h>，这只是一个关于符号的信息步骤，对于编译器来说。

Stdlib.h, stdio.h指的是libc中可用的函数，这些函数总是被链接在一起，这样用户就不必自己做了。

因为time()和其他一些函数是内置在C库(libc)中定义的，GCC总是链接到libc，除非你使用- ffrestanding compile选项。然而，数学函数存在于libm中，并不是由gcc隐式链接的。

在《GCC介绍-与外部库链接》中有关于链接到外部库的详细讨论。如果一个库是标准库(如stdio)的成员，则不需要指定编译器(实际上是链接器)来链接它们。

在阅读了一些其他的回答和评论后，我认为libc。参考文献和它链接到的libm参考文献都有很多关于为什么两者是分开的。

Note that many of the functions in 'libm.a' (the math library) are defined in 'math.h' but are not present in libc.a. Some are, which may get confusing, but the rule of thumb is this--the C library contains those functions that ANSI dictates must exist, so that you don't need the -lm if you only use ANSI functions. In contrast, `libm.a' contains more functions and supports additional functionality such as the matherr call-back and compliance to several alternative standards of behavior in case of FP errors. See section libm, for more details.

我猜，这是一种使根本不使用它的应用程序性能稍好一些的方法。以下是我的看法。

x86操作系统(我想还有其他操作系统)需要在上下文切换中存储FPU状态。然而，大多数操作系统只在应用程序第一次尝试使用FPU时才会保存/恢复这种状态。

除此之外，在数学库中可能还有一些基本代码，可以在加载库时将FPU设置为正常的基状态。

所以，如果你根本不链接任何数学代码，这一切都不会发生，因此操作系统根本不需要保存/恢复任何FPU状态，使上下文切换稍微更有效。

不过这只是猜测。

同样的基本前提仍然适用于非fpu情况(前提是，它是为了让没有使用libm的应用程序表现得更好)。

例如，如果有一个在c语言早期很可能出现的软fpu，那么将libm分开可以防止大量不必要的大代码(如果使用它的话会很慢)被链接。

此外，如果只有静态链接可用，则适用类似的论点，即它将保持可执行文件的大小和编译时间较短。

stdlib.h和stdio.h中的函数在libc中有实现。所以(或libc。A用于静态链接)，默认情况下链接到可执行文件中(就像指定了-lc一样)。可以指示GCC使用- nodlib或-nodefaultlibs选项避免这种自动链接。

math.h中的数学函数在libm中有实现。所以(或libm。A表示静态链接)，默认情况下不链接libm。libm/libc的分裂是有历史原因的，但没有一个令人信服。

有趣的是，c++运行时libstdc++需要libm，因此如果使用GCC (g++)编译c++程序，将自动链接到libm。

我认为这有点武断。您必须在某个地方划清界限(哪些库是默认的，哪些库需要指定)。

它让你有机会用一个具有相同功能的不同产品来替代它，但我不认为这样做很常见。

我认为GCC这样做是为了保持与原始cc可执行文件的向后兼容性。我猜cc为什么这样做是因为构建时间——cc是为比我们现在的功率小得多的机器编写的。许多程序没有任何浮点数学运算，它们可能会将所有不常用的库从默认值中删除。我猜Unix操作系统的构建时间和与之配套的工具是驱动因素。