如何将 5（或零？）的规则正确应用到包含带有字符串的自定义对象向量的 class

Question

我无法全神贯注于所有权和通过移动来最大化性能。想象一下这组假设的 classes 模拟一个 Excel 工作簿。

namespace Excel {

class Cell
{
public:
  // ctors
  Cell() = default;
  Cell(std::string val) : m_val(val) {};
  // because I have a custom constructor, I assume I need to also
  // define copy constructors, move constructors, and a destructor.
  // If I don't my understanding is that the private string member 
  // will always be copied instead of moved when Cell is replicated 
  // (due to expansion of any vector in which it is stored)? Or will 
  // it be copied, anyways (so it doesn't matter or I could just 
  // define them as default)

  value() const { return m_val; }; // getter (no setter)
private:
  std::string m_val;
}

class Row
{
public:
  // ctors
  Row() = default;
  Row(int cellCountHint) : m_rowData(cellCountHint) {}

  // copy ctors (presumably defaults will copy private vector member)
  Row(const Row&) = default;
  Row& operator=(Row const&) = default;

  // move ctors (presumably defaults will move private vector member)
  Row(Row&& rhs) = default;
  Row& operator=(Row&& rhs) = default;

  // and if I want to append to internal vector, might I get performance
  // gains by moving in lieu of copying, since Cells contain strings of
  // arbitrary length/size?
  void append(Cell cell) { m_rowData.push_back(cell); };
  void append(Cell &&cell) { m_rowData.push_back(std::move(cell)); };
private:
  std::vector<Cell> m_rowData;
}

}

以此类推：

工作表 class 将包含行向量
工作簿 class 将包含工作表向量

我觉得没有必要为 MWE 实现最后两个，因为它们实际上是 Row 的重复（我的假设是它们与 Row 的设计相同）。

我很难理解是否可以依赖默认值，或者我是否应该定义自己的移动构造函数（而不是保持默认值）以确保私有向量成员变量被移动而不是复制，但这让我很困惑，我似乎只能找到一个 class 的过于简单的例子，除了内置类型的成员什么都没有。

Answer 1

如果 class 处理资源的所有权，那么 class 应该只管理该资源。它不应该做任何其他事情。在这种情况下定义所有 5（5 的规则）。

否则，class 不需要实施任何 5（规则 0）。

就这么简单。

现在，我看到这些规则表述如下：如果 class 定义了 5 个中的任何一个，那么它应该定义所有这些。好吧，是的，不是。其背后的原因是：如果 class 定义了 5 中的任何一个，那么这是一个强有力的指标，表明 class 必须管理资源，在这种情况下，它应该定义所有 5 个。因此，例如如果您定义一个析构函数来释放资源，那么 class 属于第一类并且应该实现所有 5 个，但是如果您定义一个析构函数只是为了添加一些调试语句或进行一些日志记录，或者因为 class =] 是多态的那么 class 不是第一个类别，所以你不需要定义所有 5.

如果您的 class 属于第二类并且您至少定义了 5 个中的一个，那么您应该明确 =default 其余 5 个。那是因为有关何时 cpy/move ctors/assignments 隐式声明有点复杂。例如。定义一个 dtor 可以防止 move ctor & assigment

的隐式声明

// because I have a custom constructor, I assume I need to also
// define copy constructors, move constructors, and a destructor.

错了。自定义构造函数不属于 5.

您的所有 classes 都应遵循 0 规则，因为它们都不管理资源。

实际上，用户代码很少需要实现规则 5 class。通常这是在库中实现的。所以，作为用户，几乎总是为了0的规则。

默认 copy/move ctors/assignments 做预期的事情：复制的将复制每个成员，移动的将移动每个成员。好吧，如果存在不可移动的成员，或者只有 5 个成员中的一些成员，或者 5 个成员中的一些成员被删除，则规则会稍微复杂一些，但不会出现意外行为。默认就好。

如何将 5（或零？）的规则正确应用到包含带有字符串的自定义对象向量的 class

How to properly apply rule of 5 (or zero?) to a class containing a vector of custom objects with strings

c++

move

c++11

rule-of-zero