为什么 printf 函数会忽略后者 \0？ [复制]

Question

我对 \0 的一些功能感到困惑。

我知道 \0 是一个空字符，它是一个表示形式是字符串的术语。

int j;

j = printf("abcdef\0abcdefg\0");

printf("%d", j);

return 0;

当我尝试打印 "abcdef\0abcdefg\0" 时，C 只会打印字符串 'abcdef' 和 '6' 而不是 'abcdef' 和 'abcdefg' 的总和为 13。为什么会发生这种情况?

Answer 1

"abcdef\0abcdefg\0"，字符串文字，实际上是 static、const（出于所有目的）char 数组，因此它具有编译器维护的关联大小：

#include <stdio.h>
#define S "abcdef\0abcdefg\0" 
//^string literals implicitly add a(nother) hidden \0 at the end
int main()
{
    printf("%zu\n", sizeof(S)); //prints 16
}

但数组在 C 中被特殊对待，并将它们作为参数传递给函数或几乎任何运算符将它们转换为指向其第一个元素的指针。

指针没有关联的大小。

当您将char const* 传递给函数（例如printf）时，该函数只接收一个数字——第一个元素的地址。

printf 和 C 中的大多数字符串函数获取大小的方式是计算字符直到第一个 '\0'。

如果您将指针传递给char 数组的第一个元素，该数组中包含显式嵌入的零，那么对于计数到第一个'\0' 的函数，该字符串实际上在第一个'\0' 处结束。

Answer 2

C 中的字符串是一个字符序列，后跟一个 NUL 字符，即'\0'。没有单独的“长度”字段。

当字符串以文字形式出现时，例如"hello"，实际存储在内存中的是：

'h', 'e', 'l', 'l', 'o', '\0'

所以您可以看到，如果您的字符串本身包含'\0'，就任何 C 标准库函数而言，这就是字符串的结尾。

一旦printf 在您的字符串中看到第一个'\0'，它就会停止打印并返回，因为这是格式字符串的结尾。 printf 无法知道'\0' 之后还有另一个字符串。也许有——或者在那之后内存中可能只是随机的其他程序数据。它无法区分。

如果你想实际打印'\0' 字符，那么你需要有一些其他的方法来跟踪字符串的“真实”长度，并使用一个接受该长度作为参数的函数。或者，您可以在格式化过程中添加 '\0' 字符，方法是在格式字符串中指定 %c 并将 0 作为字符值传递。

Answer 3

这里

j = printf("abcdef\0abcdefg\0"); /* printf stops printing once \0 encounters hence it prints abcdef */

printf() 从字符串文字"abcdef\0abcdefg\0" 的基地址开始打印，即从a 开始，直到遇到第一个\0 字符。所以它打印abcdef。

 -----------------------------------------------------------------
| a | b | c | d | e | f | \0 | a | b | c | d | e | f | f | g | \0 |
 -----------------------------------------------------------------
0x100 0x101 ...............|                                0x100 - assume this as base address of the string literal      
  |                        |
starts printing      when printf sees
from 0x100 memory    first \0
location             it stops the printing & returns.

然后printf() 返回可打印字符数，即6。

printf("%d", j); /* prints 6 */

来自printf的手册页

返回值

成功返回后，这些函数返回数量 打印的字符（不包括用于结束输出的空字节 到 字符串）。