C ++ 20从带括号的值列表初始化聚合，不支持内部数组

问题描述

C ++ 20采用了-允许从带括号的值列表中初始化聚合。

C++20 adopted p0960 - allowing initialization of aggregates from a parenthesized list of values.

确切的用词（）说：

The exact wording ([dcl.init] 17.6.2.2) says:

让e ，...，e 成为合计（[dcl.init.aggr]）中的元素
。

Let e , …, e be the elements of the aggregate ([dcl.init.aggr]).

让x ，…，x 成为表达式列表的元素。

Let x, …, x be the elements of the expression-list.

如果k大于n，则程序格式错误。

If k is greater than n, the program is ill-formed.

元素e 使用以下命令进行复制初始化： x 等于1
≤i≤k。其余元素使用其默认的
成员初始化程序进行初始化[...]

The element e is copy-initialized with x for 1 ≤ i ≤ k . The remaining elements are initialized with their default member initializers [...]

这不允许内部变量的初始化带有括号的值列表的数组：

This doesn't allow initialization of inner array with parenthesized list of values:

struct Foo {
    int i, j;
};

struct Moo {
    int arr[2];
};

int main() {
    // before C++20:
    Foo foo1{1, 2};
    // with C++20:
    Foo foo2(1, 2); // p0960! we are good

    // before C++20:
    Moo moo1{1, 2};
    // C++20 - oops p0960 doesn't help here:
    Moo moo2(1, 2); // error: too many initializers

    // before C++20:
    std::array<int, 2> arr1{1, 2};   // OK
    std::array<int, 2> arr2({1, 2}); // OK
    std::array<int, 2> arr3{{1, 2}}; // OK
    // C++20 - oops p0960 doesn't help here:
    std::array<int, 2> arr4(1, 2); // error: too many initializers
}

std :: array 不能用圆括号初始化，从而阻止其参与从以下列表中创建未知类型 T 的对象的通用代码中值（例如，使用 make_shared ， make_unique ， make_from_tuple 等。）

The fact that std::array cannot be initialized with rounded brackets prevents it from participating in a generic code that creates an object of unknown type T from a list of values (e.g. an algorithm that uses make_shared, make_unique, make_from_tuple etc.).

例如，像这样：




推荐答案

p0960在r1和r2之间更改：

p0960 changed between r1 and r2:

r2：此修订将心理模型从原始的将文字重写为括号列表更改为 ，就像调用了带有适当的mem-initializers的综合显式构造函数一样。 。即使在相应的括号列表语法中禁止缩小转换的情况下，也具有允许在括号列表中缩小转换的效果。它还阐明了不延长引用临时对象的临时寿命，不存在大括号省略和不存在对参数进行明确定义的求值顺序。

进行此更改的原因可以在已更改的p0960设计原理中找到：

The reason why this change was made can be found in the changed design principles for p0960:

r2：
括号化的初始化和支撑初始化应尽可能相似，但必须与众不同，以与现有的一致括号列表和括号列表的心理模型。
（强调我的）

为什么p0960没有采用更简单的方法（）初始化，更像{}？：

当决定与现有心理模型保持一致时已被采用，不允许括号删除似乎是 only 方法。

When the decision to go for conformance with the existing mental models had been taken, not allowing brace elision seems like the only approach.

这篇关于C ++ 20从带括号的值列表初始化聚合，不支持内部数组的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！