预计会看到“字符串数组的初始化字符串太长”警告

我期望在下面的程序中使用gcc看到“charmer数组的初始化字符串太长”警告两个变量。

程序：

int main() { char str1[4]="1234"; char str2[3]="1234"; (void)str1; // Remove unused variable warning. (void)str2; // Remove unused variable warning. return 0; } 

但是，我只收到str2的警告。

以来

 char str1[4]="1234"; 

相当于

 char str1[4]= {'1', '2', '3', '4', '\0'}; 

我们不应该同样对str1发出警告吗？

这是gcc的缺陷吗？

编译命令：

gcc -Wall -std = c99 soc.c -o soc

gcc版本是4.8.4。

更新

刚才了解到

 char str1[4]="1234"; 

不等于

 char str1[4]= {'1', '2', '3', '4', '\0'}; 

更新2

 char str1[4]="1234"; 

在C ++ 11中是不正确的（第8.5.2 / 2节）。 我不认为C99和C ++ 11会以不同的方式对待它们。

Answer 1

C标准第6.7.9节的内容如下：

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

…

32. 例8

    声明

     char s[] = "abc", t[3] = "abc"; 

    定义”plain”char数组对象s和t，其元素用字符串文字初始化。 该声明与之相同

     char s[] = { 'a', 'b', 'c', '\0' }, t[] = { 'a', 'b', 'c' }; 

（强调我的）。

也就是说，如果它不适合固定的已知大小数组，则不会添加终止空字符。