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

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：警告：字符数组的初始化字符串太长

第7行会出现此错误，因为我正在尝试将5个字符("four" + \\0)填充到3个元素的数组中。 由于5元素数组足够大，因此第5行也不会出现错误。

但是，令我惊讶的是，第6行没有类似的错误。最终在toosmall4初始化的是一个未toosmall4的字符串，这可能会引起各种麻烦。

我的理解是，由于空终止符，C字符串文字"four"应为五个字符长。 实际上sizeof("four")是5。那么为什么编译器在这里没有给出错误？

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

Answer 1

这是C99标准草案第6.7.8节“ 初始化”第14段所述的6.7.8行的预期行为（ 强调我的 ）：

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

在C11标准草案中，措辞相似的相关部分为6.7.9第14段，正如C FAQ所述 ：

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

正如Keith Thompson指出的那样， C ++更加严格，C ++标准草案中的相关部分指出：

初始化器的数量不得超过数组元素的数量。 [示例：

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

格式错误，因为隐含的尾随'\\ 0'没有空格。 —结束示例]

Answer 2

合法， toosmall4不是字符串，而是有效的char数组（不包含终止null字符）。

参考： C FAQ 。