gcc编译器使用puts切换printf调用

Question

我已经在我的ubuntu下编译了一个简单的C程序：

#include<stdio.h>

int main()
{
        printf("hello world\n");
        return 0;
}

然后我使用gdb检查了可执行文件的反汇编，然后看到了以下代码：

   0x000000000000063a <+0>:     push   %rbp
   0x000000000000063b <+1>:     mov    %rsp,%rbp
   0x000000000000063e <+4>:     lea    0x9f(%rip),%rdi        # 0x6e4
   0x0000000000000645 <+11>:    callq  0x510 <puts@plt>
   0x000000000000064a <+16>:    mov    $0x0,%eax
   0x000000000000064f <+21>:    pop    %rbp
   0x0000000000000650 <+22>:    retq

在这里，编译器只是将printf调用与puts调用交换了。 当我使用printf尝试此操作时，使用没有附加新行的字符串对其进行调用，该调用在反汇编中仍然是对printf的调用。

我的问题是启用这种功能的编译器的机制是什么？ 他是否读取要发送给printf的字符串，并且由于printf是libc函数，因此编译器可以确定此优化，因为他知道libc？

Answer 1

是。 GCC读取并验证格式字符串，以发出有关格式字符串说明符错误的编译警告（例如，如果您使用%d但参数是unsigned int ，则会打印警告。）由于它在编译时会分析字符串，它还可以知道是否可以用puts()调用替换printf() ，这是一种优化（ puts()更快，因为它不必解析字符串。）

Answer 2

某些功能被编译器“更好地了解”，因为它们是最常用的功能。 printf是此类功能之一。 编译器甚至会分析格式字符串，并在参数类型错误时发出警告。 当编写类似的函数时，也可以通过让编译器（使用适当的属性）让函数使用printf样式格式字符串来使用此功能。 并且由于知道此函数的工作原理，因此可以优化对其的调用。 像这样还有许多其他功能。 例如memcpy家庭，许多数学等