具有自动默认和移动构造函数的不可复制类

Question

我想让一些类使用自动生成的构造函数，但不可复制（但仍可移动）。目前我正在这样做：

class A
{
public:
    A() = default;
    A(const A&) = delete;
    A(A&&) = default;
    A& operator=(const A&) = delete;
    A& operator=(A&&) = default;
}

我想知道是否真的有必要如此明确。如果我这样写会怎样：

class A
{
    A(const A&) = delete;
    A& operator=(const A&) = delete;
}

它仍然可以正常工作吗？其他情况下的最小默认值和删除集是什么 - 不可复制的不可移动类和带有虚拟析构函数的类？

是否有任何测试代码可以用来快速查看隐式创建的构造函数？

Answer 1

这不起作用，因为不会自动为您创建默认构造函数。不会创建默认构造函数，因为您已经声明了一个复制构造函数。它被定义为已删除，但它仍然是用户声明的，因此没有隐式默认的默认构造函数。

隐式创建的构造函数的精简规则是：

• 默认的移动构造函数和默认的移动赋值运算符是隐式创建的，除非您声明了任何其他 Big 5 特殊函数（并且除非被不可移动的成员或基阻止）
• 默认的默认构造函数（多么好的名字！）是隐式创建的，除非您声明了任何构造函数（并且除非被不可默认创建的成员或基阻止）
• 除非您声明了移动构造函数或移动赋值运算符（并且除非被不可复制的成员或基阻止），否则将创建默认的复制构造函数和默认的复制赋值运算符

Answer 2

是否有任何测试代码可以用来快速查看哪些构造函数是 隐式创建？

是的。例如：

#include <type_traits>

class A
{
public:
    A() = default;
    A(A&&) = default;
    A& operator=(A&&) = default;
};

static_assert(std::is_nothrow_default_constructible<A>::value,
              "A must be noexcept default constructible");
static_assert(std::is_nothrow_destructible<A>::value,
              "A must be noexcept destructible");
static_assert(!std::is_copy_constructible<A>::value,
              "A must not be copy constructible");
static_assert(!std::is_copy_assignable<A>::value,
              "A must not be copy assignable");
static_assert(std::is_nothrow_move_constructible<A>::value,
              "A must be noexcept move constructible");
static_assert(std::is_nothrow_move_assignable<A>::value,
              "A must be noexcept move assignable");

上面我在一些特征中使用了_nothrow_。如果您想允许关联的特殊成员引发异常，请删除该部分。

Answer 3

我建议您很少需要这样做。而在少数需要这样做的情况下，明确声明哪些特殊功能被删除以及哪些被默认可能不是坏事。

您可能需要显式定义或删除特殊成员函数的正常原因是您的类是某种资源管理类。例如，它有自己的指针，编译器无法知道该资源的所有权是什么。但是，正如Rule of Zero 文章中所述：

C++ 允许我们将所有权策略封装成通用的可重用 类。这是重要的一点！大多数情况下，我们的所有权需要 可以通过“ownership-in-a-package”类来满足。

标准中包含常见的“包中所有权”类 库：std::unique_ptr 和 std::shared_ptr。通过使用 自定义删除器对象，两者都已变得足够灵活，可以管理 几乎任何类型的资源。

所以我们很少需要编写自己的资源管理类了。通常应该可以从已经拥有所有权的其他类构建一个类。然后默认的特殊成员函数应该如您所愿。

例如，如果您有一个 std::unique_ptr 成员，那么您的类是隐式不可复制的，或者如果您有一个 const 成员，那么您的类是隐式不可分配的。

也就是说，如果你确实需要明确地使一个类不可复制，@n.m. succinctly outlined the rules on when constructors/assignment operators are implicitly defined，所以你至少需要：

A() = default;
A(A&&) = default;
A& operator=(A&&) = default;

我同意你的观点，C++11 的表现力已经足够我们不再需要提升了。

Answer 4

您可以避免定义已删除的复制 c'tor 和赋值运算符，使用 boost noncopyable

这样，意图可能比使用“删除”关键字更加明确和清晰

你可以像这样简单地使用它：

#include <boost/utility.hpp>
class A : boost::noncopyable {
public:
    A () = default;
    A (A&&) = default;
    A& operator= (A&&) = default;
};