Question

我有一个基类Base和一个派生类D，我想让编译器为我自动生成移动构造函数和移动赋值运算符。在Rule of Zero之后，我将所有内存管理留给编译器，只使用level-2类（没有原始指针，数组等）：

#include <iostream>

class Base{
  public:
    Base(): a_(42) {}
    virtual void show() { std::cout << "Base " << a_ << std::endl; }

  private:
    int a_;
};

class D : Base {
  public:
    D(): b_(666) {}
    void show() { std::cout << "D " << b_ << std::endl; }

  private:
    int b_;
};

int main() {
  Base b;
  b.show();
  D d;
  d.show();
  return 0;
}

这应该是，对吗？

输入the C++ core guidelines：

基类析构函数应该是public和virtual，或者是protected和nonvirtual。

啊，所以我想我必须在Base添加一个析构函数。但这将取消自动生成的移动功能！

这里干净利落的方式是什么？

Answer 1

您可以= default您希望由编译器生成的所有内容。见（在底部）：http://en.cppreference.com/w/cpp/language/rule_of_three

在你的情况下，它可能看起来像：

class Base{
  public:
    Base(): a_(42) {}
    Base(const Base&) = default;
    Base(Base&&) = default;
    Base& operator=(const Base&) = default;
    Base& operator=(Base&&) = default;
    virtual ~Base() = default;

    virtual void show() { std::cout << "Base " << a_ << std::endl; }

  private:
    int a_;
};

Answer 2

您可以创建类似

的类

struct VirtualBase
{
      virtual ~VirtualBase() = default;
      VirtualBase() = default;
      VirtualBase(const VirtualBase&) = default;
      VirtualBase(VirtualBase&&) = default;
      VirtualBase& operator = (const VirtualBase&) = default;
      VirtualBase& operator = (VirtualBase&&) = default;
};

然后遵循零规则：

class Base : VirtualBase
{
public:
    Base(): a_(42) {}
    virtual void show() { std::cout << "Base " << a_ << std::endl; }

  private:
    int a_;
};

零与基类析构函数的统治

2 个答案: