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

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

Program:

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.

Since

char str1[4]="1234";

相当于

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

我们不应该得到同样的警告吗str1 also?

这是 gcc 的缺陷吗？

编译命令：

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

gcc版本是4.8.4。

Update

刚刚了解到

char str1[4]="1234";

is not相当于

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

Update 2

char str1[4]="1234";

在 C++11 中格式错误（第 8.5.2/2 节）。我不认为 C99 和 C++11 会区别对待它们。

C 标准第 6.7.9 节内容如下：

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

...

32. 实施例8

    声明

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

    定义“普通”字符数组对象 s 和 t，其元素用字符串文字初始化。该声明与

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

（强调我的）。

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