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

Question

我期望在下面的程序中使用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' };
    

(强调我的).

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