使用初始化列表声明动态分配数组的数组大小

Question

我正在尝试使用初始化列表初始化动态声明的数组，但我注意到我必须使用 GCC 提供数组大小，否则会出错。如果忽略数组大小，使用 MSVC 尝试相同的操作不会导致任何错误。使用带有动态数组的初始化列表时是否必须提供数组大小？这是实现定义的东西，这就是为什么两个编译器都不同的原因吗？

int *array { new int [3] {0, 1, 2} }; // Works with both MSVC and GCC.
int *array { new int [] {0, 1, 2} }; // Works only with MSVC, not GCC.

Answer 1

这是P1009R2：new-expressions 中的数组大小扣除，这是为 C++20 实现的。

Bjarne Stroustrup 指出了 C++ 语言中的以下不一致：

double a[]{1,2,3}; // this declaration is OK, ...
double* p = new double[]{1,2,3}; // ...but this one is ill-formed!

Jens Maurer 解释了为什么它不起作用：对于新表达式，表达式 根据 C++ 语法，方括号内目前是强制性的。统一时 为 C++11 引入了初始化，关于从 初始化器的数量从未扩展到新表达式的情况。大概这只是 被忽视了。我们无法完成这项工作没有根本原因 [...]

提议的措辞

报告的问题旨在作为缺陷报告，建议的解决方案如下。效果 的措辞更改应该应用于所有以前版本的 C++ 的实现，其中 它们适用。 [...]

从GCC's C++ Standards Support pages，我们可能会注意到 GCC 将 P1009R2 列为从 GCC 11 开始实现的，我们可以验证 GCC 11 已经向后移植了实现以接受 OP 的示例，并且早在 C++ 11.

DEMO (GCC 11 / -std=c++11)。