为什么用太长的初始化程序初始化的字符串会像这样

Question

#include<stdio.h>

void main()
{
    int i;
    char str[4] = "f4dfkjfj";
    char str2[3] = "987";
    char str3[2] = {'j','j','\0'};

    //printf("%c\n",str[1]);
    //printf("%c\n",1[str]);

    puts(str);
    puts(str2);
    puts(str3);           
}

输出观察：

• 打印str2 打印来自str2 和str 的内容。
• 打印str3 打印str3、str2 和str。

为什么在打印非 nul 结尾的字符串时会出现这种行为，该字符串与之前定义的字符串连接，直到 puts() 函数遇到 "\0" 字符（此函数打印直到遇到 nul ）？

（注意：我故意用太长的初始化字符串来初始化它们）

Answer 1

（注意：我故意用太长的初始化字符串来初始化它们）

那么你也应该注意副作用。

所有数组的问题是，它们不是以空值结尾的，所以它们是不是 字符串。

引用C11，第 7.1.1 章，术语定义，（强调我的）

字符串是一个连续的字符序列以第一个null结尾并包括 字符。 [...]

将它们与字符串处理函数（如puts()）一起使用会调用undefined behavior，因为这些函数在搜索空终止符时会超出范围（即，超出允许范围）内存区域）并导致无效的内存访问。

再次引用标准，第 7.21.7.9 章，

puts函数将s指向的字符串写入stdout指向的流， 并将换行符附加到输出。终止空字符不是 写的。

预期的参数是一个字符串，你的代码中没有一个参数是。

也就是说，FWIW，对于托管环境，main() 的推荐签名至少是 int main(void)。

Answer 2

初始化

  char str[4] = "f4dfkjfj";

还有

  char str2[3] = "987";

和

  char str3[2] = {'j','j','\0'};

不正确，因为表达式 char str[4] 为数据分配了 4 个字节，但数据 - "f4dfkjfj" 需要 9 个字节 - 8 个字节用于可见字符，另外一个字节用于'\0'。

更新：

让我们考虑以下示例

#include<stdio.h>

void main()
{
    int i;
    char str[4] = "f4dfkjfj";
    char str2[3] = "987";
    printf("Address of str2 = %p and size is %d bytes\n", str2, sizeof(str2));
    printf("Addres     |  Data in memory\n");
    char * ptr;
    for (ptr = str2 - 2; ptr <= str2 + 5; ptr++)
    {
        printf("%p   | %c\n", ptr, *ptr);
    }
}

在 Windows 7 下的 Visual Studio 2013 中，我看到以下内容：

但如果我将char str2[3] = "987"; 更改为char str2[4] = "987"; 结果将是

试试puts(str2) 换成char str2[4] = "987";，你会看到不同。

注意：每次内存地址（在堆栈中的局部变量）都（可以）不同，但分配的内存周围的数据（更改与否）更重要。

Answer 3

这些行是违反约束的。编译器应该给出错误信息并且程序的行为是完全未定义的：

char str[4] = "f4dfkjfj";
char str3[2] = {'j','j','\0'};

违反的约束是数组的初始值设定项太多。 (C11 6.7.9/2)

不过char str2[3] = "987"; 是正确的，有一种特殊情况，当数组从字符串字面量初始化时，如果数组中没有空间，则允许忽略空终止符。 (C11 6.7.9/14)

继续将str2 传递给期望以空字符结尾的字符串的函数会导致未定义的行为。