复制省略直接基类初始化？ [复制]

Question

由于B 基类子对象在A 构造函数中的复制构造，以下代码无法同时使用Gcc 和Clang 编译：

struct B{
  B();
  B(const B&) =delete;
  };

struct A:B{
  A():B(B()){} //=> error: use of deleted function...
  };

不过根据[class.base.init]/7：

mem-initializer 中的 expression-list 或 braced-init-list 用于初始化指定的子对象（或者，在委托构造函数的情况下，完整的类对象）根据[dcl.init]的初始化规则进行直接初始化。

因此，对于成员或直接基类，初始化规则是相同的。对于成员子对象，Gcc 和 Clang 不使用已删除的复制构造函数：

struct A2:B{
  B b;
  A2():b(B()){} //=> OK the result object of B() is b
  };

这不是 Clang 和 Gcc 的编译器错误吗？ B的复制构造函数不应该在A()中省略吗？

---

有趣的是，即使 gcc 检查复制构造是否格式正确，它也会忽略此复制构造函数调用，请参阅 assembly here

Answer 1

这确实很奇怪。首先，与是否应在此处调用复制构造函数无关，因为[class.base.init]/7 不区分初始化基类和初始化成员，因此两种情况下的行为应该相同。我在标准中找不到任何额外的措辞，它们会以某种方式在基的初始化与成员的初始化之间引入不对称。仅基于这一点，我想说我们可以得出结论，这里或多或少都存在编译器错误。 icc 和 MSVC 在初始化基类和初始化成员时似乎至少表现一致。但是，icc 和 MSVC 在代码是否应该被接受的问题上存在分歧。

如果我们再看[class.base.init]/7，相信可以找到是否应该调用复制构造函数的答案：

mem-initializer 中的表达式列表或花括号初始化列表用于初始化指定的子对象（或者，在委托构造函数的情况下，完整的类对象）根据初始化规则[dcl.init] 用于直接初始化。 […]

强调我的。我相信[dcl.init] 的相关位应该是[dcl.init]/17.6，我们在哪里找到：

• 如果目标类型是（可能是 cv 限定的）类类型：

  • 如果初始化表达式是纯右值并且源类型的 cv 非限定版本与目标类是同一类，则使用初始化表达式初始化目标对象。 […]

  • 否则，如果初始化是直接初始化，或者如果是复制初始化，其中源类型的 cv 非限定版本与相同的类或派生类其中，目的地的类，考虑构造函数。 枚举适用的构造函数（[over.match.ctor]），并通过重载决议（[over.match]）选择最佳构造函数。 […]

[…]

如果要应用 17.6.2，这意味着应该调用复制构造函数，这将使 MSVC 成为本示例中唯一行为正确的主要编译器。但是，我的解释是 17.6.1 一般适用并且 icc 是正确的，即您的代码应该编译。这意味着您在这里所拥有的甚至可能是 GCC 和 clang 中的两个错误（基础的初始化与成员的初始化行为不同 + mem-initializer 调用了 copy-ctor，尽管它不应该），还有一个在 MSVC 中……