如何正确地将规则 5(或零?）应用于包含带有字符串的自定义对象向量的类

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

本文关键字：字符串 包含带 自定义 向量 对象 应用于 正确地 规则 或零      更新时间：2023-10-16

我很难用我的大脑来包装所有权和通过移动最大限度地提高性能。假设这组模拟 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;
}
}

等等：

  • 工作表类将包含行向量
  • 工作簿类将包含工作表的向量

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

理解是否可以依赖默认值，或者我是否应该定义自己的移动构造函数(而不是保持默认值)以确保移动而不是复制私有向量成员变量，这对我来说非常令人困惑，我似乎只能找到一个只有内置类型成员的类的过于简单化的示例。

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

否则，类不需要实现 5(0 规则)中的任何一个。

就这么简单。

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

如果您的类属于第二类，并且您定义了 5 个中的至少一个，那么您应该显式=default5 个类别的其余部分。这是因为隐式声明 cpy/move ctors/assignments 的规则有点复杂。例如，定义 dtor 可以防止隐式声明移动 ctor & assigment

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

错了。自定义构造函数不是 5 的一部分。

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

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

默认的复制/移动

ctors/分配执行预期的事情：复制的将复制每个成员，移动的将移动每个成员。好吧，在存在不可移动的成员，或者只有 5 个中的一些，或者删除了 5 个中的一些，那么规则会稍微复杂一些，但没有意外的行为。默认值很好。

相关文章：