C++ char 数组是否保证为空终止

发布于09月13日

#include <stdio.h>

int main() {
    char a = 5;
    char b[2] = "hi"; // No explicit room for `\0`.
    char c = 6;

    return 0;
}

每当我们写一个用双引号括起来的字符串时，C会自动为我们创建一个字符数组，其中包含该字符串，以\0字符结尾

在上面的示例中，b只能容纳2个字符，因此空终止字符没有位置可放置，而编译器正在重新组织内存存储指令，以便a和c在内存中存储在b之前，为数组末尾的\0腾出空间.

这是意料之中的还是我的行为没有定义？

推荐答案

如果数组的大小至少足以容纳字符串besides中的所有字符(即空终止符)，则允许使用字符串初始化chararray.

这一点在C standard页的第6.7.9p14节中有详细说明:

字符类型的数组可以由字符串初始化文本或utf−8字符串文本，可以 Select 用大括号括起来. 字符串文字的连续字节(包括终止NULL 字符，如果有空间或数组大小未知) 初始化数组的元素.

但是，这也意味着不能将数组视为字符串，因为它不是以null结尾的.如前所述，由于not在b上执行任何字符串操作，所以代码很好.

你要做的是用一个太长的字符串初始化，即:

char b[2] = "hello";

因为这给出的初始值设定项比数组中可以容纳的初始值设定项多，并且违反了约束.第6.7.9p2节规定如下:

初始化者不得试图为实体中不包含的对象提供值

如果要像这样声明和初始化数组:

char b[] = "hi";

那么b将是一个大小为3的数组，其大小足以容纳字符串常量中的两个字符加上终止空字节，从而使b成为字符串.

总结一下:

如果数组具有固定大小:

如果数组没有显式大小，则数组的大小将调整为保持字符串常量加上终止空字节.

实用课程推荐