使用八进制常量初始化 char 数组

Question

我看到一条评论说用 char 数组初始化"\001"会将 nul 作为第一个字符。我已经看到在哪里\0设置了一个nul。

未经编辑的评论：

字符输入[大小] = ""; 是足够的初始化。如果您已初始化 input[SIZE] = "\001"; while ( '\001' == input[0]) 不会执行您认为它正在执行的操作；（这会创建一个空字符串，其中第一个字符为 nul 字符。）

这个节目

#include <stdio.h>
#define SIZE 8
int main ( void) {
    char input[SIZE] = "\001";

    if ( '\001' == input[0]) {//also tried 1 == input[0]
        printf ( "octal 1\n\n");
    }
    else {
        printf ( "empty string\n");
    }
    return 0;
}

在 Linux 上运行，使用 , 编译gcc，输出：

octal 1

所以第一个字符是1而不是'\0'。
这是标准行为还是只是 Linux 和 的行为gcc？为什么不设置nul？

Answer 1

这是标准行为还是只是 Linux 和 gcc 的行为？为什么不设置nul？

您提供的代码的行为符合标准的要求。在字符串文字和整型字符常量中，八进制转义符可以包含一位、两位或三位数字，并且 C 标准指定：

每个八进制[...]转义序列是可以构成转义序列的最长字符序列。

（C2011，6.4.4.4/7）

在这种情况下，另外相关的\0是八进制转义序列，而不是空字符的特殊、独立代码。上述引文的更广泛背景将使这一点变得清楚。

在字符串文字中"\001"，反斜杠后跟三个八进制数字，八进制转义符可以有三个数字，因此转义序列由反斜杠和所有三个数字组成。结果字符串的第一个字符是整数值 1 的字符。

如果出于某种原因您想要一个由空字符后跟十进制数字 0 和 1 组成的字符串文字，那么您可以使用完整的三位数转义来表示空值，

"\00001"

或者像这样分割它：

"\0" "01"

C 将连接相邻的字符串文字以产生所需的结果。