时间戳

首页 > 解决方案 > 为什么只有在 main 之外使用时才需要链接数学库？

c - 为什么只有在 main 之外使用时才需要链接数学库？

问题描述

使用gcc test.c，第一个代码示例编译，而第二个没有。为什么？

它们都使用数学库的显式链接（即gcc test.c -lm.

第一个样本：

#include <stdio.h>
#include <math.h>

int main () {
   printf("%lf\n", sqrt(4.0) );
   return 0;
}

第二个样本：

#include <math.h>
#include <stdio.h>

double sqrt2(double a) { return sqrt(a); }

int main() {
  printf("%lf\n", sqrt(4.0));
  printf("%lf\n", sqrt2(4.0));
  return 0;
}

第二个示例的链接器错误：

/tmp/ccuYdso7.o: In function `sqrt2':
test.c:(.text+0x13): undefined reference to `sqrt'
collect2: error: ld returned 1 exit status

gcc -v：

Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-linux-gnu/8.1.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /build/gcc/src/gcc/configure --prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/ --enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared --enable-threads=posix --enable-libmpx --with-system-zlib --with-isl --enable-__cxa_atexit --disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch --disable-libssp --enable-gnu-unique-object --enable-linker-build-id --enable-lto --enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu --enable-gnu-indirect-function --enable-mul
Thread model: posix
gcc version 8.1.0 (GCC)

sqrt在 main 函数中使用 of 没有链接器错误。有什么特别的原因吗？

我还检查了 clang，但没有编译（链接器错误）没有-lm.

标签： cgccld

解决方案

gcc 是一个特别聪明的编译器。

它将优化sqrt(4.0)为编译时可评估的常量表达式。它可以做到这一点，因为 的定义sqrt是由标准定义的，并且它的返回值只是其输入的函数。（进一步注意，在 IEEE754 下，sqrt必须返回最接近double最终结果的结果。这进一步支持了优化假设。）

在第二种情况下， 功能的存在（可以被其他翻译单元使用）破坏了这种优化。

推荐阅读