c++ - 零混淆规则？

Question

所以我一直在阅读 Rule of Zero .

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

详细版本:

让我引用:

Classes that have custom destructors, copy/move constructors or copy/move assignment operators should deal exclusively with ownership. Other classes should not have custom destructors, copy/move constructors or copy/move assignment operators.

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

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

他们想用这个来展示什么，我真的迷失在这个上面。

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

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

我知道这在一个地方很困惑。

Answer 1

零规则

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

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

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

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

共享指针可以记住要调用的正确析构函数，因此对于通过共享指针专门管理的对象，即使它们以多态方式使用，也不再需要虚拟析构函数。

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

五法则

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

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

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

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