如何使用已删除的复制构造函数初始化类数组（C++11）

Question

Why can't I initialise an array of objects if they have private copy constructors? 上的现有问题专门针对 C++03。我从那个问题中知道我正在尝试做的事情在 C++03 中是不允许的，但我认为在 C++11 中应该是可能的

我有一个不可移动的类（称为子类），我需要在另一个类的构造函数中初始化一个子类数组（称为父类）。 “不可移动”是指子对象的地址在该对象的生命周期内必须保持不变。这样做的正确方法是什么？

使用 C++11，我尝试了以下方法：

class Child
{
public:
    Child (int x) {}
    ~Child () {}

    Child (const Child &) = delete;
};

class Parent
{
public:
    Parent () : children {{5}, {7}} {}

private:
    Child children[2];
};

这段代码在 Clang 3.5.0 中编译得很好，但是 GCC 4.9.1 抱怨我正在尝试使用已删除的复制构造函数：

test.cc: In constructor ‘Parent::Parent()’:
test.cc:13:35: error: use of deleted function ‘Child::Child(const Child&)’
     Parent () : children {{5}, {7}} {}
                                   ^
test.cc:7:5: note: declared here
     Child (const Child &) = delete;
     ^

我已经了解了复制初始化和直接初始化之间的区别（例如here 和here），并且我想避免使用直接初始化来调用复制构造函数。我的语法错了吗？这是 GCC 中的错误吗？还是我试图做的事情是不可能的？

Answer 1

我同意 cmets 的观点，这似乎是一个 GCC 错误（报告为 63707）。

只有当数组中的类型有用户定义的析构函数时才会编译失败，这对我来说没有意义。

Answer 2

我遇到了类似的问题，即这段代码

#include <iostream>

class Widget {
public:
    Widget(int i) { std::cout << "Ctor " << i << std::endl; }

    Widget(const Widget&); // = delete;
};

int main() {
    Widget w = 123;
}

已编译并给出了预期的结果，但在取消注释 = delete 后，它无法使用 gcc-4.9 进行编译。

阅读标准后，我相信答案在于8.5/16 中缩进量最高的第二项，如下所示。

基本上似乎发生的是，编译器在概念上想要创建一个 Widget 类型的临时对象，并直接初始化实际对象 w 从该临时对象通过复制构造函数。由于复制构造函数被删除，编译停止。如果复制构造函数没有被删除，编译器稍后会意识到它可能会删除副本，但它并没有走到那一步。

以下是相关部分：

[...] 用于 [...] 复制初始化案例 [...] 可以从源类型转换为目标类型的用户定义转换序列 [...] 被枚举，如中所述13.3.1.4，通过重载决议（13.3）选择最好的一个。 [...] 使用初始化表达式作为参数调用所选函数；如果函数是构造函数，则调用初始化目标类型的 cv 非限定版本的临时版本。 [...]然后根据上述规则，调用的结果（这是构造函数案例的临时结果）用于直接初始化作为复制初始化目标的对象。在某些情况下，允许实现通过构造 中间结果直接放入正在初始化的对象中；见 12.2、12.8。

但我可能错了，因为[...] 部分中有很多我不明白的地方。