这些带有char数组的新表达式中，哪一个格式正确？

如何解决这些带有char数组的新表达式中，哪一个格式正确？

对于以下program：

int main() 
{
    new char[4] {"text"};  // #1
    new char[5] {"text"};  // #2
    new char[] {"text"};   // #3
}

clang给出了#1的错误消息，内容为：

error: initializer-string for char array is too long

并接受#2和#3。

gcc对所有语句给出以下错误：

error: invalid conversion from 'const char*' to 'char' [-fpermissive]

，此外，对于#3，它还会显示错误：

error: expected primary-expression before ']' token

那么，对于该代码是否格式正确，该语言怎么说？

我想知道当前的规则，但是我也想知道在以前的语言版本中这是否有所改变。

解决方法

好的，这很容易跟踪。 {}的存在意味着正在执行列表初始化，因此我们可以访问规范中我们最喜欢的部分：[dcl.init.list]/3。

在情况1中正在初始化的对象是char[4]。 braced-init-list不是指定的初始化程序，因此将忽略3.1。 char[4]不是一个类，因此3.2被忽略。 brings us to 3.3：

否则，如果T是一个字符数组，并且初始化器列表具有单个元素，该元素是适当类型的字符串-字面量（[dcl.init.string]），则按照该小节中的描述进行初始化

好吧，char[4]绝对是一个字符数组，并且初始化列表肯定包含一个元素，并且该元素实际上与字符数组的类型匹配。因此，我们出发去[dcl.init.string]。

这（在流行之后）告诉我们：

字符串字面量值的连续字符将初始化数组的元素。

但是下一段警告：

初始化器的数量不得超过数组元素的数量。

好吧，这使＃1的格式不正确。

因此，我们重做char[5]的过程。而且这不会触发，因为5足够大。

最后，我们来到char[]。就初始化而言，这与使用数字没有什么不同。 char[]是一个字符数组，因此它遵循上述规则。 C ++ 17会在char[]表达式中使用new，但是C++20 is fine with it会阻塞。

如果type-id或new-type-id表示未知界限的数组类型（[dcl.array]），则不应省略new-initializer；分配的对象是一个包含n个元素的数组，其中n是由new-initializer中提供的初始元素数（[dcl.init.aggr]，[dcl.init.string]）确定的。

这意味着＃2和＃3应该合法。因此，GCC使它们格式错误是错误的。并导致＃1格式错误。

,

C语是正确的，因为＃1格式错误，＃2可以。

正如Ted Lyngmo在评论中指出的那样，＃3根据C ++语法规则是无效的，直到论文P1009R2进行更改以允许它。 new-expression 根本不允许类型为空的[]，因为在没有语法来初始化 new-expression ，因此编译器无法确定实际大小。论文的更改已在C ++ 20中接受（但是编译器作者有时会选择在以前的-std=模式下追溯支持“修复程序”）。

对于＃1和＃2之间的区别，在[expr.new]中指定了数组对象的初始化，以遵循[dcl.init]的直接初始化规则。最初，[dcl.init]中的初始化一般规则说，如果初始化程序是 braced-init_list ，则它是列表初始化。 [dcl.init.list]中的规则如下：

类型为T的对象或引用的列表初始化定义如下：

• [仅适用于C ++ 20：]如果 braised-init-list 包含 designated-initializer-list ，则...

• 如果T是一个聚合类，并且...

• 否则，如果T是一个字符数组，并且初始化列表中有一个元素，则该元素是类型正确的 string-literal （[dcl.init.string] ），则按照该小节中的说明进行初始化。

• ...

因此[dcl.init.string]（C++17，latest）给出了适用于此代码的实际初始化规则：

由{C ++ 17：窄字符类型} {C ++ 20：普通字符类型（[basic.fundamental]）}}，char8_­t数组，char16_­t数组，{{ 1}}数组或char32_­t数组可以通过{C ++ 17：窄} {C ++ 20：普通}字符串文字，UTF-8字符串文字，UTF-16字符串文字，UTF进行初始化分别为-32字符串文字或宽字符串文字，或由用大括号括起来的适当类型的字符串-字面量（[lex.string]）。字符串字面量值的连续字符将初始化数组的元素。

初始化器的数量不得超过数组元素的数量。 [示例：

wchar_­t

格式错误，因为隐含的尾随char cv[4] = "asdf"; // error 没有空格。 — 示例]

如果初始化程序少于数组元素，则每个未显式初始化的元素都应进行零初始化（[dcl.init]）。

就像普通变量定义一样，当 new-expression 的字符数组类型具有指定的界限时，它必须足够大以用于初始化字符串的所有字符，包括尾随空字符。

（这是C和C ++之间的旧区别：C确实允许'\0'并且忽略了空字符。）