如何就地初始化数组？

如何在不复制或移动构造临时元素的情况下初始化数组？当元素有明确的deleted 复制或移动构造函数，仅当元素具有默认构造函数或具有所有默认参数的构造函数时，我才能初始化数组，并且执行以下操作之一：(a) 明确声明数组，(b) 直接初始化和零初始化数组，或 (c) 复制初始化和零初始化数组。直接（但不是零）初始化和复制（但不是零）初始化都无法编译。

struct Foo
{
    Foo(int n = 5) : num(n) {}
    Foo(const Foo&) = delete;
    //Foo(Foo&&) = delete;  // <-- gives same effect
    int num;
};

int main()
{
    // Resultant arrays for 'a1', 'a2', and 'a3' are two
    // 'Foo' elements each with 'num' values of '5':

    Foo a1[2];          // plain declaration
    Foo a2[2] {};       // direct initialization and zero initialization
    Foo a3[2] = {};     // copy initialization and zero initialization
    Foo a4[2] {5, 5};   // direct initialization -> ERROR
    Foo a5[2] = {5, 5}; // copy initialization   -> ERROR
}

1. 这 3 种方式是only在不复制/移动临时元素的情况下初始化数组的方法？
2. Do a1, a2, and a3算作初始化吗？例如a1是一个声明，但它的元素获得初始值（尽管是默认值）。
3. 其中有错误吗？我用 C++14 标志做了这个 GCC 6.3.0。
4. 如果仍然属于以下范畴，为什么复制初始化与零初始化相结合会起作用？copy初始化？
5. 一般来说，有all带大括号的数组初始化只是临时元素的构造（除非在没有删除复制或移动构造函数时被省略（或者省略不适用于数组？）），然后是每个元素的复制、移动或复制和移动构造的混合？

代码声明Foo a2[2];声明一个数组。初始化数组的唯一方法是通过列表初始化（即用大括号括起来的零个或多个元素的列表），并且该行为由标题为“标准”的部分描述聚合初始化 http://en.cppreference.com/w/cpp/language/aggregate_initialization。 （期限总计的指的是数组和满足特定条件的类）。

在聚合初始化中，存在=没有什么区别。它的基本定义在C++14 [dcl.init.aggr]/2中：

当聚合由初始值设定项列表初始化时，如 8.5.4 中所指定，初始值设定项列表的元素将被视为聚合成员的初始值设定项，按递增的下标或成员顺序。每个成员都是从相应的初始化子句复制初始化的。

另外，/7：

如果列表中的初始化子句少于聚合中的成员，则每个未显式初始化的成员应从其大括号或等于初始化器初始化，或者如果没有大括号或等于初始化器，则应从其大括号或等于初始化器初始化。 初始化器，来自空初始化器列表（8.5.4）。

您可以从中看到，复制初始化始终用于每个提供的初始值设定项。因此，当初始值设定项是表达式时，该类必须存在可访问的复制/移动构造函数。

但是（按照 Anty 的建议）您可以将初始化器设置为另一个列表。使用列表的复制初始化称为复制列表初始化：

Foo a6[2] = {{6}, {6}};

当一个人Foo是列表初始化的，它不是聚合初始化（因为Foo不是一个集合）。因此，规则与上面讨论的规则不同。非聚合类的复制列表初始化属于列表初始化，在 [dcl.init.list]/3.4 中，它指定Foo使用重载解析将列表中的初始值设定项与构造函数参数进行匹配。在这个阶段Foo(int)将选择构造函数，这意味着不需要复制构造函数。

为了完整起见，我将提到核选择 https://stackoverflow.com/questions/28187732/placement-new-in-stdaligned-storage:

typename std::aligned_storage< sizeof(Foo), alignof(Foo) >::type buf[2];
::new ((void *)::std::addressof(buf[0])) Foo(5);
::new ((void *)::std::addressof(buf[1])) Foo(5);
Foo *a7 = reinterpret_cast<Foo *>(buf);

// ...
a7[0].~Foo();
a7[1].~Foo();

显然，当您无法通过任何其他方式实现目标时，这是最后的手段。

注1：以上适用于C++14。在 C++17 中，我相信所谓的“保证复制省略”会将复制初始化更改为实际上不需要复制/移动构造函数。一旦标准发布，我希望更新这个答案。草案中还对聚合初始化进行了一些修改。