零混淆规则？答案

【问题标题】：Rule of Zero confusion?零混淆规则？
【发布时间】：2017-12-13 08:32:58
【问题描述】：

所以我一直在阅读有关Rule of Zero 的信息。

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

详细版本：

让我引用：

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

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

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 时，你真的必须将所有其他特殊成员函数声明为默认值吗？如果是这样，我不明白为什么。

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

【问题讨论】：

所有权 == 对托管资源生命周期的责任。例如，各种智能指针类模拟不同类型的所有权（共享与唯一等）
顺便说一句，“经验法则”是您通常应该遵守的最佳实践规则。实际上并没有称为“经验法则”的规则。
@OliverCharlesworth，谢谢。然而，这只是我困惑的一小部分:(

标签： c++ rule-of-zero

【解决方案1】：

零法则

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

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

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

因此，如果您之前在构造函数中使用 new 来创建一些成员并在析构函数中使用 delete，那么现在应该使用 unique_ptr 来管理成员，“免费”获得移动构造和移动分配。

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

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

五法则

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

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

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

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

【讨论】：