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

Question

我正在使用 gcc 4.9.1/Mingw 并使用以下代码编译代码：

gcc test.c -otest.exe -std=c11 -pedantic-errors -Wall -Wextra

此代码给出诊断：

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

错误：数组初始值设定项 char a[5] 中的元素过多

但是，此代码不会产生警告：

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

我认为这两种形式是 100% 等效的。 C标准等中是否有任何理由或微妙之处，为什么后者不应该发出警告？

或者这是一个编译器错误？我知道与 C++ 不同，C 标准允许过多的初始化程序，所以正式地说，我不相信 gcc 是 需要 来进行诊断的。但我希望编译器能始终如一地发出警告。

Answer 1

在

char b[5] = "hello";  

\0 未附加到字符串，因为数组 b 的大小为 5。这是有效的。编译器认为它是

char b[5] = {'h','e','l','l','o'};

这里b 是chars 的数组。但是，它不能用于假定字符串文字的地方。例如，您不能在 printf 中将 b 与 %s 说明符或 str 系列函数一起使用。

Answer 2

同时：

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

无效。

(C11, 6.7.9p2) “任何初始化器都不应尝试为未包含在正在初始化的实体中的对象提供值。”

这个：

char b[5] = "hello";

C 明确允许（强调我的）：

(C11, 6.7.9p14) "一个字符类型的数组可以由一个字符串字面量或 UTF-8 字串字面量来初始化，可选用大括号括起来。字符串字面量的连续字节（包括终止的 null字符（如果有空间或如果数组大小未知）初始化数组的元素。”

但是

 char b[5] = "hello!";

无效。

Answer 3

这是 C 标准中的一个奇怪的怪癖。过去，人们偶尔会使用固定长度、非空终止的字符串。 （一个例子是 V7 Unix 中的 14 个字符的文件名。）因此，为了让那些旧程序继续编译，使用字符串常量初始化显式大小的 char 数组是合法的，该字符串常量最终会刮掉 '\0' ，正如您刚刚观察到的那样。

我同意 {'h','e','l','l','o','\0'} 初始化程序发出警告而 "hello" 没有发出警告是令人惊讶的。但这是两种截然不同的形式，事实证明它们的规则是不同的。当您为数组指定大小并使用{} 表单时，必须为所有初始化程序留出空间。但是，当您给出尺寸并使用 "" 表单时，这种情况有一个特殊的例外，并且仅适用于那种情况。

（这两种形式在 C++ 中也是不合法的。）