初始化固定大小的char数组时没有编译器错误,没有足够的空间用于null终止符

Question

假设我有以下c char数组:

char okaysize4[5] = "four";   // line 5
char toosmall4[4] = "four";   // line 6
char toosmall3[3] = "four";   // line 7

当我使用gcc 4.4.7编译时,我收到以下错误:

array.c:7:警告:chars数组的初始化字符串太长

第7行预计会出现此错误,因为我试图将5个字符填充("four" + \0)到3个元素数组中.第5行也没有错误,因为5元素数组足够大.

然而,我很惊讶第6行没有类似的错误.最终初始化的toosmall4是未终止的字符串,这可能会导致各种麻烦.

我的理解是"four",由于null终止符,c字符串文字应该是五个字符长.实际上sizeof("four")是5.那么为什么编译器不会在这里给出错误？

有没有什么方法可以改变我的声明/定义/初始化,以便在这种情况下标记错误？

Answer 1

这是第6行的预期行为,从草案C99标准部分6.7.8 初始化第14段说(强调我的):

字符类型数组可以由字符串文字初始化,可选地用大括号括起来.字符串文字的连续字符(如果有空间或数组大小未知,则包括终止空字符)初始化数组的元素.

在C11标准草案中,具有相似措辞的相关部分是6.7.9第14段,而C常见问题解答说:

因此,该数组不是真正的C字符串,不能与strcpy,printf的%s格式等一起使用.

正如Keith Thompson所说,C++更严格,C++标准草案中的相关部分说明如下:

没有比数组元素更多的初始化器.[例如:

char cv[4] = "asdf"; // error

由于隐含的尾随'\ 0'没有空格,因此格式错误. - 末端的例子]

Answer 2

它是合法的，toosmall4不是字符串，而是有效的字符数组（没有终止空字符）。

参考：C常见问题解答。