10

所以我一直在阅读零规则。

简化版：我不明白这条规则的目的。三五法则是一种“经验法则”，但我看不到“经验法则”或该规则的任何其他具体意图。

详细版本：

让我引用：

具有自定义析构函数、复制/移动构造函数或复制/移动赋值运算符的类应该专门处理所有权。其他类不应具有自定义析构函数、复制/移动构造函数或复制/移动赋值运算符。

这是什么意思？他们所说的所有权是什么意思，所有权是什么？他们还展示了一个示例代码（我猜它与介绍有关）：

class rule_of_zero
{
    std::string cppstring;
 public:
    rule_of_zero(const std::string& arg) : cppstring(arg) {}
};

他们想用这个展示什么，我真的迷失了这个。

此外，他们还讨论了当您处理多态类并且析构函数被声明为公共和虚拟以及该块隐式移动的事实时的场景。因此，您必须将它们全部声明为默认值：

class base_of_five_defaults
{
 public:
    base_of_five_defaults(const base_of_five_defaults&) = default;
    base_of_five_defaults(base_of_five_defaults&&) = default;
    base_of_five_defaults& operator=(const base_of_five_defaults&) = default;
    base_of_five_defaults& operator=(base_of_five_defaults&&) = default;
    virtual ~base_of_five_defaults() = default;
};

这是否意味着当你有一个基类的析构函数被声明为 public 和 virtual 时，你真的必须将所有其他特殊成员函数声明为默认值吗？如果是这样，我不明白为什么。

我知道这在一个地方有很多混乱。

4

1 回答 1

11

零法则

零规则是关于如何编写需要使用某些资源（如内存或其他对象）的类的另一个经验法则。在示例中，包含字符串字符的动态分配内存是必须管理的资源。

建议是让专门的课程管理资源，并且只这样做。在示例中，std::string 负责管理分配内存的所有细节。

该规则在引入 C++11 后出现，因为语言和标准库得到了改进，提供了更好的工具来管理动态分配的对象生命周期（unique_ptr 和 shared_ptr）。此外，容器现在允许就地构建，消除了动态分配的另一个原因。它可能应该被视为对更古老的三规则的更新。

因此，如果您以前在构造函数中使用new来创建一些成员并在析构函数中删除，那么您现在应该使用 unique_ptr 来管理成员的生命周期，“免费”获得移动构造和移动赋值。

共享指针可以记住要调用的正确析构函数，因此对于通过共享指针独占管理的对象来说，对虚拟析构函数的常见需求消失了，即使它们以多态方式使用。

因此，基本上一个可以依赖其成员执行初始化、移动、复制和销毁所需的所有操作的类不应该声明任何特殊的成员函数。

五法则

与 C++ 一样，事情并不总是那么简单。

正如 Scott Meyers 指出的那样，如果您出于某种原因必须添加析构函数，则即使编译器可以生成它们，也会禁用隐式生成移动构造函数和移动赋值运算符。

然后编译器会很高兴地将您的类复制到整个地方，而不是移动它，这可能不是您所期望的。例如，这可能会减慢您的程序，因为必须执行更多的复制。默认情况下，编译器不会对此发出警告。

因此，他建议明确指定您想要的五种特殊方法中的哪一种，以避免因不相关的更改而导致意外。他仍然建议编写非资源管理类，以便可以使用编译器生成的默认值。

于 2017-07-10T15:41:04.397 回答