`T array[N]{}` 是值初始化还是聚合初始化？

Question

考虑一些类型T （为简单起见，您可以假设为int ）和一些整数常量N ，我们用它来定义这样的数组：

T array[N]{}; // Note the empty braces here!

根据cppreference ，值初始化定义如下：

这是在使用空初始化器构造 object 时执行的初始化。

但再往下写：

在所有情况下，如果使用空括号 {} 并且 T 是聚合类型，则执行聚合初始化而不是值初始化。

但是再往下一点，出现如下语句：

3. 如果 T 是数组类型，则数组的每个元素都被值初始化；

据我了解，第一个和第三个引用的陈述与第二个引用的陈述相矛盾。

所以我的两个问题是：

• 上面的代码片段是值初始化还是聚合初始化？
• 引用的三个陈述真的相互矛盾还是我遗漏了什么？

注意：我在这里看到过类似的问题，但它们在细节上都有所不同。

Answer 1

T array[N]{}是值初始化还是聚合初始化？

它是列表初始化，并且此初始化过程的一部分涉及根据dcl.init.list进行聚合初始化。 此外，它也是下面引用的直接列表初始化。

1 )列表初始化是 object 的初始化或来自花括号初始化列表的引用。 这样的初始化器称为初始化器列表，初始化器列表的逗号分隔的初始化器子句或指定初始化器列表的指定初始化器子句称为初始化器列表的元素。 初始化列表可能为空。 列表初始化可以发生在直接初始化或复制初始化上下文中； 直接初始化上下文中的列表初始化称为直接列表初始化，而复制初始化上下文中的列表初始化称为复制列表初始化。

[注1：可以使用List-initialization

(1.1)作为变量定义中的初始值设定项 ([dcl.init])

...

——尾注]

以上意味着T array[N]{}是列表初始化。

---

现在让我们继续讨论数组的元素是如何初始化的，这在dcl.init.list#3中给出：

3) object 或类型 T 的引用的列表初始化定义如下：

3.4)否则，如果T是聚合，则执行聚合初始化。

并且由于在我们的例子中T array[N]是一个聚合，上面暗示在我们的例子中数组T array[N]的整个初始化过程都涉及聚合初始化。

---

最后，从下面给出的聚合初始化中，我们会注意到每个元素都是从一个空的初始化列表中复制初始化的：

3)当聚合由[dcl.init.list]中指定的初始化列表初始化时，初始化列表的元素被视为聚合元素的初始化。 聚合的显式初始化元素确定如下：

3.3)否则，初始化列表必须是{}，并且没有显式初始化的元素。

---

以上意味着我们的示例中没有显式初始化的元素，因此我们转到dcl.init.aggr#5 ：

5)对于非联合聚合，每个不是显式初始化元素的元素初始化如下：

5.2)否则，如果元素不是引用，则从空的初始化列表复制初始化元素。

（强调我的）

本质上，这意味着数组中每个类型为T的元素都将从一个空的初始化列表中初始化。

---

请注意，这也解释了为什么以下人为设计的示例在 C++20 中失败：

struct T
{
    T() = delete;
};
int main() 
{
    T array[5]{}; //this fails as a consequence of above explanation
}