字符串初始化的不一致gcc诊断

Question

int main (void)
{
  char a[5] = {'h','e','l','l','o','\0'};
}

int main (void)
{
  char b[5] = "hello";
}

我以为这两种形式是百分之百相等的。C标准等中是否有什么理由或微妙之处，为什么后者不应该发出警告？

或者这是编译器bug？我知道与C++不同，C标准允许过多的初始化器，所以从形式上来说，我不认为需要gcc来提供诊断。但我希望编译器始终如一地给出警告。

Answer 1

同时：

 char a[5] = {'h','e','l','l','o','\0'};

是无效的。

(C11,6.7.9p2)“任何初始化程序都不得试图为未包含在被初始化实体中的对象提供值。”

char b[5] = "hello";

(C11,6.7.9p14)“字符类型的数组可以由字符串文本或UTF-8字符串文本初始化，可选地用大括号括起来。字符串文本的连续字节（如果有空间或数组大小未知，则包括结束的空字符）初始化数组的元素。”

但是

 char b[5] = "hello!";

是无效的。