如何实现菱形继承的move构造函数

How to implement a move constructor for a diamond-shaped inheritance?

本文关键字：继承 move 构造函数 何实现 实现      更新时间：2023-10-16

我有一个菱形的类层次结构，其中没有默认构造函数，也没有复制构造函数。我有两个构造函数，一个是"移动"，另一个是对对象的左值引用：

struct base {
    base(base&&) = default;
    base(member_type&& m): member_(std::move(m)) {}
    member_type member_;
};
struct virt_1: virtual base {
    virt_1(virt_1&& rhs): base(std::move(rhs)) {}
    virt_1(member_type&& m): base(std::move(m)) {}
};
struct virt_2: virtual base {
    virt_2(virt_2&& rhs): base(std::move(rhs)) {}
    virt_2(member_type&& m): base(std::move(m)) {}
};
struct concrete: virt_1, virt_2 {
    concrete(concrete&& rhs) // ???
};

除了不使用菱形层次结构之外，是否可以为具体类实现move构造函数？

谢谢！

要求编译器提供实现有什么问题？

concrete(concrete&&) = default;

我也将virt_1和virt_2移动构造函数定义为默认构造函数。

如果你真的想写出来的话：

concrete(concrete&& rhs)
: base(std::move(rhs)), virt_1(std::move(rhs)), virt_2(std::move(rhs))
{ }

或者如果你真的喜欢打字：

    concrete(concrete&& rhs)
    : base(static_cast<base&&>(rhs)),
      virt_1(static_cast<virt_1&&>(rhs)),
      virt_2(static_cast<virt_2&&>(rhs))
    { }

virt_1和virt_2基的初始化器是无用的，因为它们只调用base构造函数，因为它是一个虚拟基，所以当concrete调用它时，它们不会这么做，但由于您选择了构造函数，您不能默认地构造它们，并且需要用右值初始化它们，即使它们对它什么都不做。

当然。层次结构中任何具有virtual基的构造函数都负责初始化该基。从本质上讲，层次结构中virtual基以下的任何类都会继承初始化该基的权限。

在这种情况下，默认的move构造函数应该做正确的事情。我还建议指定concrete : private virtual base来澄清发生了什么。

这是一个工作演示。

相关文章：