使用私有复制/移动构造函数进行聚合初始化

Question

我在为 another question 初始化聚合测试一些东西时遇到了这个问题。我正在使用 GCC 4.6。

当我使用列表初始化聚合时，所有成员都在原地构造，无需复制或移动。也就是说：

int main()
{
  std::array<std::array<Goo,2>,2>
    a { std::array<Goo,2>{Goo{ 1, 2}, Goo{ 3, 4}} ,
        std::array<Goo,2>{Goo{-1,-2}, Goo{-3,-4}} };
}

让我们通过一些嘈杂的构造函数来确认：

struct Goo
{
  Goo(int, int) { }
  Goo(Goo &&) { std::cout << "Goo Moved." << std::endl; }
  Goo(const Goo &) { std::cout << "Goo Copied." << std::endl; }
};

运行时，不会打印任何消息。但是，如果我将移动构造函数设为私有，编译器会报错‘Goo::Goo(Goo&&)’ is private，尽管显然不需要移动构造函数。

有谁知道对于像这样的聚合初始化是否可以访问移动构造函数的标准要求？

Answer 1

请允许我在 GCC 4.6 中再次通过修改案例跟进 Bo 的回答：

struct Goo
{
  Goo(int x, unsigned int n) : x(x), s(new char[n]) { }
private:
  Goo(const Goo &);
  Goo(Goo &&);
  int x;
  char * s;
};

struct Foo
{
  int a;
  Goo g;
};

void f()
{
  Foo k { 3, {1,2} }; // works
  //Foo t { 1, Goo{5,6} }; // fails
  //Foo r { 0, Goo(7,8) }; // fails
}

为什么即使没有可访问的复制/移动构造函数（注意Goo 显然不是 POD 或聚合），第一种形式的就地构造也可以，但后两者（功能相同）表格不是吗？标准的哪一部分规定编译器必须在后两种情况下检查可访问的构造函数，而在第一种情况下则不需要？

Answer 2

不调用复制或移动构造函数是标准特别允许的优化（但不是必需的）。

为了在编译器之间保持一致，实现必须检查是否可以调用构造函数，如果它不想优化它。