c++11列表初始化的不同行为

Question

请考虑以下代码：

class A {
private:
  std::string s;
public:
  A() = delete;
  A(const A&) = delete;
  A(A&&) = delete;
  A(const std::string &a) : s(a) {}
};

现在，我想使用列表初始化来初始化 A 的数组。 g++ (4.9.1) 可以成功构建以下代码：

int main() {
  A arr[2] = {{"a"}, {"b"}};
  return 0;
}

但是，下面的代码失败了：

class Aggr {
private:
  A arr[2];
public:
  Aggr() : arr{{"a"}, {"b"}} {}
};

错误信息是，

test.cc: In constructor ‘Aggr::Aggr()’:
test.cc:22:28: error: use of deleted function ‘A::A(A&&)’
   Aggr() : arr{{"a"}, {"b"}} {}
                            ^          
test.cc:11:3: note: declared here
   A(A&&) = delete;
   ^

也就是说，列表初始化器会尝试调用移动构造函数来初始化类中的数组。然而，该代码是由 clang v3.5 成功构建的，没有任何警告。 因此，我想知道 C++11（或更高版本）针对列表初始化指定了哪些规则。提前致谢。

Answer 1

反复阅读标准，我认为这是一个错误。

标准是怎么说的？

8.5.1/2 ：当聚合被初始化列表初始化时，如 8.5.4 中所指定，初始化列表的元素被获取 作为聚合成员的初始化器，在增加 下标或成员顺序。每个成员都从 相应的初始化子句。

说明：

8.5/14 : (...) 称为复制初始化。 [注意：复制初始化可能会调用移动（12.8）。 ——尾注]

但我在 12.8 中没有发现任何证据表明在您的特定情况下需要移动。

8.5.4/3 否则，如果 T 是类类型，则考虑构造函数。如果 T 有一个初始化列表构造函数，则参数 list 由作为单个参数的初始化列表组成；除此以外， 参数列表由初始化列表的元素组成。 枚举适用的构造函数并选择最佳的构造函数 通过重载决议 (13.3)。

所以原则上你的代码应该可以工作！

这是一个错误吗？尝试实验方式

我注释掉了移动构造函数的删除，以便从隐式移动构造函数中受益。奇怪的是，然后我收到以下错误消息：

    Compilation error   time: 0 memory: 3232 signal:0

prog.cpp: In constructor 'Aggr::Aggr()':
prog.cpp:19:28: error: use of deleted function 'A::A(const A&)'
   Aggr() : arr{{"a"}, {"b"}} {}
                            ^
prog.cpp:10:3: note: declared here
   A(const A&) = delete  

所以现在他抱怨缺少复制构造函数！

更奇怪的是，我提供了自己的移动构造函数而不是隐式构造函数：在这里它成功编译了代码！

最后我提供了一个副本和一个移动，并添加了一些跟踪：

class A {
private:
  std::string s;
public:
  A() = delete;
  A(const A&)  { std::cout<<"copy\n";} //= delete;
  A(A&&) { std::cout<<"move\n";} //= delete;
  A(const std::string &a) : s(a) {  std::cout<<"string ctor\n";}
};

当我创建一个Aggr 对象时，它只会显示：

string ctor 
string ctor

显示数组成员是使用复制省略从字符串构造函数初始化的，正如我们所期望的那样。

所有这些测试都是在带有 C++14 选项的 ideone 上使用 gcc-9.4.2 执行的。

结论

相同的代码使用隐式移动 ctor 编译失败而使用用户定义的移动 ctor 编译成功的事实看起来非常严重，就像一个错误。

移动构造函数在可用时不使用这一事实强化了这种印象。

因此，我举报了this bug。