5

我有一个基类Base和一个派生类D，我希望编译器为我自动生成移动构造函数和移动赋值运算符。遵循零规则，我将所有内存管理留给编译器，并且只使用 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;
}

应该是这个吧？

输入C++ 核心指南：

基类析构函数应该是公共的和虚拟的，或者是受保护的和非虚拟的。

啊，所以我想我必须在Base. 但这将取消自动生成的移动功能！

这里有什么干净的出路？

4

2 回答 2

8

您可以= 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_;
};
于 2017-01-02T10:34:54.107 回答
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_;
};
于 2017-01-02T10:38:50.287 回答