C++数组中空字符与未初始化内存对输出的影响

问题场景 #

使用cin将字符串输入到char数组后，输入内容末尾会自动添加空字符'\0'，cout输出时遇到该字符就会停止。但手动修改数组（将原索引3的'\0'替换为'd'，并在索引4赋值'e'）后，程序输出dogde后会跟随随机字符直至数组末尾；而老师的运行结果显示，索引5、6出现随机字符后，索引7恰好有一个'\0'。

核心问题 #

1. 为什么字符'e'（索引4）之后不会自动添加'\0'，输出会包含直至数组末尾的随机字符？
2. 其他类型数组未占满全部大小时，会自动被赋值空值吗？听说其他数据类型会被设为0，为什么char数组有所不同？

问题解答 #

问题1：输出随机字符的原因 #

• cin仅会在你输入的字符串末尾自动添加'\0'作为结束标志，但你手动将原有的'\0'（索引3）替换成了'd'，之后只在索引4赋值了'e'，没有手动添加新的'\0'。
• cout输出char数组时，会从数组起始位置持续读取字节，直到遇到'\0'才停止。如果数组内没有这个结束标志，它会继续读取数组后续的内存区域（这些区域的内容是未初始化的垃圾值），直到碰巧读到'\0'或者触发内存越界问题。
• 你老师的结果里索引7出现'\0'只是巧合——那块内存区域恰好存在值为'\0'的字节，并非系统自动添加的结束标志。

问题2：数组初始化规则 #

数组的初始化行为只和存储位置有关，和数据类型无关：

• 如果是全局数组或静态数组，不管是int、float还是char类型，未初始化的元素都会被自动初始化为0（对应char类型就是'\0'）。
• 如果是局部数组（比如你代码中main函数里的char array[10]），所有未初始化的元素都是未定义的垃圾值——不存在“其他类型会被设为0”的情况，这是错误认知。
• 你代码中的char数组是局部数组，除了cin输入覆盖的部分（包括自动添加的'\0'），其余位置都是随机垃圾值。当原有的'\0'被覆盖后，数组内没有新的结束标志，cout就会输出这些垃圾值。

示例代码 #

#include <iostream>
using namespace std;

int main()
{
    char array[10];
    cin >> array;
    cout << "Ket qua la " << array;
    int i = 0;
    while (array[i] != '\0' && i < 10)
    {
        i++;
    }
    if (i < 9)
    {
        cout << endl << i;
    }
    cout << endl << "Sau do" << endl;
    array[i] = 'd';
    array[i + 1] = 'e';
    cout << array;
}

内容的提问来源于stack exchange，提问作者AdleyLe