3

从 C++11 开始，可以有两个复制构造函数，一个接受 type 参数，T&一个接受 type 参数const T&。

我有一种情况，当构造函数在派生类中继承时，（似乎）添加第二个复制构造函数会导致没有一个被调用。当两者都存在时，复制构造函数会被模板化构造函数覆盖。

这是一个MWE：

struct A {
  template <typename... Args>
  A (Args&&... args)
  { std::cout << "non-default ctor called\n"; }

  A (A&) { std::cout << "copy ctor from non-const ref\n"; }
};

struct C :public A { using A::A; };

int main() {
  C c1;
  C c2(c1);
}

运行这段代码，我们看到输出

non-default ctor called
copy ctor from non-const ref

这是预期的。

但是，添加一个额外的构造函数struct A如下：

  A (const A&) { }

不知何故导致另一个复制构造函数不被调用，所以输出变成

non-default ctor called
non-default ctor called

在我的用例中，我想将所有构造函数从基类继承到派生类中，包括复制构造函数和其他任何东西。但似乎这两个复制构造函数在它们都存在时不会被继承。这里发生了什么？

4

1 回答 1

6

来自https://en.cppreference.com/w/cpp/language/using_declaration

如果 Base 的继承构造函数之一恰好具有与 Derived 的复制/移动构造函数匹配的签名，则它不会阻止隐式生成 Derived 复制/移动构造函数（然后隐藏继承的版本，类似于使用 operator=） .

所以

struct C :public A { using A::A; };

是

struct C :public A
{
    using A::A;
    C(const C&) = default;
    C(C&&) = default;
};

在哪里C(const C&) = default;类似于

C(const C& c) : A(static_cast<const A&>(c)) {}

所以随着

struct A {
  template <typename... Args>
  A (Args&&... args)
  { std::cout << "non-default ctor called\n"; }

  A (A&) { std::cout << "copy ctor from non-const ref\n"; }
};

选择了模板构造函数，但是

struct A {
  template <typename... Args>
  A (Args&&... args)
  { std::cout << "non-default ctor called\n"; }

  A (const A&) { std::cout << "copy ctor from const ref\n"; }
  A (A&) { std::cout << "copy ctor from non-const ref\n"; }
};

A (const A&)被选中。

如您所见，还有一个缺陷：

针对 C++11 的缺陷报告追溯地更改了继承构造函数的语义。以前，继承构造函数声明会导致将一组合成构造函数声明注入派生类，这会导致冗余参数复制/移动，与某些形式的 SFINAE 交互存在问题，并且在某些情况下可能无法在主要 ABI 上实现。较旧的编译器可能仍会实现以前的语义。

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0136r1.html

有了这个缺陷，你的 C 类将是

struct C :public A
{
    using A::A;

    template <typename ...Ts>
    C(Ts&&... ts) : A(std::forward<Ts>(ts)...) {} // Inherited.

    C(const C&) = default;
    C(C&&) = default;
};

所以你打电话C(C& c) : A(c) {}（在模板替换之后）。

于 2018-07-04T23:36:44.910 回答