字符数组初始化超出长度1时无警告，此现象是否合理？

这是完全符合C标准规定的有意设计，原因如下：

字符串字面量的本质 #

字符串字面量"1234"实际是包含'1'、'2'、'3'、'4'和终止符'\0'的字符序列，共5个字节；"12345"则是5个字符加'\0'，共6个字节。

C标准的初始化规则 #

• 对于char a[4] = "1234"：数组大小为4，C标准允许用长度（不含终止符）等于数组大小的字符串字面量初始化数组——此时编译器会直接把字面量的前4个字符（'1'到'4'）复制到数组中，自动丢弃终止符'\0'。这种行为是标准明确许可的合法操作，所以编译器不会发出警告。
• 对于char b[4] = "12345"：字符串字面量的字符数（不含终止符）是5，已经超过了数组的大小4。此时初始化需要截断字面量，但这种截断不仅会丢掉终止符，还会舍弃字面量中的第5个字符'5'，属于初始化元素数量超出数组容纳能力的违规情况，违反了C标准中初始化列表元素不能多于数组元素的约束，因此编译器会触发"initializer-string for char array is too long"类警告。

GCC和Clang的表现完全遵循了C标准的要求，前者是合法初始化（注意此时数组a不会以'\0'结尾，不能当作C风格字符串使用），后者是存在潜在风险的越界操作，所以会给出警告提示。

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