为什么 fabs() 在使用 GCC 编译时不需要 -lm 选项

Question

我编写了一个简单的程序fabs.c来显示浮点数的绝对值。

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

int main(void)
{
    float f;

    printf("Enter a floating-point number: ");
    scanf("%f", &f);

    printf("Its absolute value is %f.\n", fabs(f));
    return 0;
}

fabs() 函数需要包含math.h头文件，但我在没有-lm选项的情况下编译成功。

  gcc fabs.c -o fabs

甚至man fabs说link with -lm。但我不知道为什么我可以在没有-lm.

Answer 1

因为gcc会优化你的一些代码。与 一样printf，gcc 可以替代fabs调用。可以肯定的是，您可以使用编译源代码来-fno-builtin禁止 gcc 这样做：

yoones@laptop:/tmp/toto$ gcc -fno-builtin main.c 
/tmp/cc5fWozq.o: In function `main':
main.c:(.text+0x37): undefined reference to `fabs'
collect2: error: ld returned 1 exit status

您还可以使用nm列出可执行符号：

yoones@laptop:/tmp/toto$ nm ./a.out 
0000000000600a18 B __bss_start
0000000000600a18 b completed.6661
0000000000600a08 D __data_start
0000000000600a08 W data_start
00000000004004b0 t deregister_tm_clones
0000000000400530 t __do_global_dtors_aux
00000000006007e8 t __do_global_dtors_aux_fini_array_entry
0000000000600a10 D __dso_handle
00000000006007f8 d _DYNAMIC
0000000000600a18 D _edata
0000000000600a20 B _end
0000000000400644 T _fini
0000000000400550 t frame_dummy
00000000006007e0 t __frame_dummy_init_array_entry
00000000004007d8 r __FRAME_END__
00000000006009d0 d _GLOBAL_OFFSET_TABLE_
                 w __gmon_start__
0000000000400408 T _init
00000000006007e8 t __init_array_end
00000000006007e0 t __init_array_start
0000000000400650 R _IO_stdin_used
                 U __isoc99_scanf@@GLIBC_2.7
                 w _ITM_deregisterTMCloneTable
                 w _ITM_registerTMCloneTable
00000000006007f0 d __JCR_END__
00000000006007f0 d __JCR_LIST__
                 w _Jv_RegisterClasses
0000000000400640 T __libc_csu_fini
00000000004005d0 T __libc_csu_init
                 U __libc_start_main@@GLIBC_2.2.5
0000000000400576 T main
                 U printf@@GLIBC_2.2.5
00000000004004f0 t register_tm_clones
0000000000400480 T _start
0000000000600a18 D __TMC_END__