什么是印刷NULL用的printf的％s的说明符的行为？(What is the behavior

偶然发现了一个有趣的面试问题：

test 1:
printf("test %s\n", NULL);
printf("test %s\n", NULL);

prints:
test (null)
test (null)

test 2:
printf("%s\n", NULL);
printf("%s\n", NULL);
prints
Segmentation fault (core dumped)

虽然这可能在某些系统上运行良好，至少我的是扔分割故障。什么是这种行为的最好解释？上面的代码是C.

以下是我的gcc的信息：

deep@deep:~$ gcc --version
gcc (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3

Answer 1:

首先第一件事情： printf期待一个有效的（即非NULL）指针的％S参数，所以它传递一个NULL正式定义。它可以打印“（空）”，或者它可能会删除硬盘上的所有文件 - 无论是正确的行为就ANSI而言（至少，这就是哈比森和斯蒂尔告诉我。）

话虽这么说，是啊，这真是奇怪的行为。事实证明，这是怎么回事，就是当你做一个简单printf像这样：

printf("%s\n", NULL);

GCC是（啊哈）足够聪明，解构到一个呼叫该puts 。第一个printf ，这样的：

printf("test %s\n", NULL);

够复杂的是GCC反而会发出真正的调用printf 。

（请注意，GCC发出有关警告无效printf在编译时的说法，这是因为它早已发展到解析能力*printf格式字符串。）

您可以通过编制看到这个自己-save-temps选项，然后翻翻导致.s文件。

当我编译第一个例子中，我得到：

movl    $.LC0, %eax
movl    $0, %esi
movq    %rax, %rdi
movl    $0, %eax
call    printf      ; <-- Actually calls printf!

（评论是由我所加）

但第二个产生的这样的代码：

movl    $0, %edi    ; Stores NULL in the puts argument list
call    puts        ; Calls puts

该奇怪的是，它不打印以下换行符。就好像它是想通了，这会导致一个segfault所以它不打扰。（它有 - 它提醒我，当我编译它。）

Answer 2:

至于C语言来讲，其原因是，你调用未定义行为，任何事情都有可能发生。

至于为什么发生这种情况，现代GCC优化机制printf("%s\n", x)来puts(x)和puts没有傻代码打印(null)时，看到一个空指针，而普遍的实现printf有这种特殊情况。由于GCC不能优化（一般）不平凡的格式字符串这样， printf实际被调用时，格式字符串具有其他文字存在于它。