c++ - 复制省略直接基类初始化？

Question

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

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

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

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

The expression-list or braced-init-list in a mem-initializer is used to initialize the designated subobject (or, in the case of a delegating constructor, the complete class object) according to the initialization rules of [dcl.init] for direct-initialization.

所以初始化规则对于成员或直接基是相同的。对于成员子对象，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，我相信可以找到是否应该调用复制构造函数的问题的答案。再次:

The expression-list or braced-init-list in a mem-initializer is used to initialize the designated subobject (or, in the case of a delegating constructor, the complete class object) according to the initialization rules of [dcl.init] for direct-initialization. […]

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

• If the destination type is a (possibly cv-qualified) class type:

  • If the initializer expression is a prvalue and the cv-unqualified version of the source type is the same class as the class of the destination, the initializer expression is used to initialize the destination object. […]

  • Otherwise, if the initialization is direct-initialization, or if it is copy-initialization where the cv-unqualified version of the source type is the same class as, or a derived class of, the class of the destination, constructors are considered. The applicable constructors are enumerated ([over.match.ctor]), and the best one is chosen through overload resolution ([over.match]). […]

[…]

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