禁用复制和移动语义的最简洁方法

Question

以下方法确实有效，但非常乏味：

T(const T&) = delete;
T(T&&) = delete;
T& operator=(const T&) = delete;
T& operator=(T&&) = delete;

我正在尝试发现最简洁的方法。以下是否可行？

T& operator=(T) = delete;

更新

请注意，我选择T& operator=(T) 而不是T& operator=(const T&) 或T& operator=(T&&)，因为它可以同时满足这两个目的。

Answer 1

根据这张图表（由 Howard Hinnant 提供）：

最简洁的方式是=delete移动赋值运算符（或者移动构造函数，但是会导致cmets中提到的问题）。

不过，在我看来，最可读的方式是=deleteboth复制构造函数和复制赋值运算符。

Answer 2

你可以写一个简单的struct 并继承它：

struct crippled
{
    crippled() = default;

    crippled(const crippled&) = delete;
    crippled(crippled&&) = delete;

    crippled& operator=(const crippled&) = delete;
    crippled& operator=(crippled&&) = delete;
};

用法：

struct my_class : crippled
{

};

int main()
{
    my_class a;
    auto b = a; // fails to compile
}

Answer 3

我更喜欢从 boost::noncopyable 继承，从而立即明确意图并将细节委托给值得信赖的库。

#include <boost/core/noncopyable.hpp>

class X: private boost::noncopyable
{
};

它涉及添加一个依赖项，但如果您对此感到满意，那么它可以说是一种非常简洁和富有表现力的方式来完成它。

Answer 4

请不要试图寻找“最简洁的方式”来编写一段代码。

如果没有一种明显的表达方式，但也非常简洁 - 不要试图通过语言律师来减少写几个字符的方式。为什么？想想人们阅读你的代码：如果你需要查阅标准来实现你的代码做你想做的事——那么你的代码的读者也会这样做。除了他们不知道你想要达到什么目标；所以他们不会参考标准；所以他们只会对你的代码做了什么感到困惑。或者 - 有些人会得到它，有些人不会。^*

在你的情况下，如果你做了这些删除的一个子集，或者使用了一些其他“聪明”的技巧 - 作为一个阅读你的代码的人，我很可能不会明白，没有注意到你实际上是想得到删除所有复制和移动语义。而且我会感到困惑，以为您正在尝试做其他事情。事实上，如果我是你，我什至会考虑添加一条评论：

/* Disabling copy and move semantics because XYZ */
T(const T&) = delete;
T(T&&) = delete;
T& operator=(const T&) = delete;
T& operator=(T&&) = delete;

这更“乏味”，但会让你的未来读者非常清楚你的意图/动机。

还有一个问题是“XYZ”的确切原因是什么。有些人会争辩说，删除移动成员没有充分的理由，而且这样做通常是个坏主意。 C++ 杰出人物 Howard Hinnant 有 this to say 讨论此事。

_{* - 我阐明的原则的变体here。}

Answer 5

我相信在这种情况下，宏实际上更具可读性：

#define NOT_COPYABLE( TypeName ) \
TypeName ( TypeName const& ) = delete; \
TypeName & operator = ( TypeName const& ) = delete;

#define NOT_MOVEABLE( TypeName ) \
TypeName ( TypeName && ) = delete; \
TypeName & operator = ( TypeName && ) = delete;

Answer 6

@ricab's answer 建议不要发明轮子，并使用boost::noncopyable 作为mix-in 基类。这确实有效，但缺点是令人困惑！ ...不可复制并不意味着一个类是不可移动的。人们必须记住这个boost类命名的历史背景；大多数人肯定不会，我也不会。

好吧，你也可以这样做，但重命名这个类：

#include <boost/core/noncopyable.hpp>

namespace mixins {
using noncopyable_and_nonmovable = boost::noncopyable;
} // namespace mixins 

class X: private mixins::noncopyable_and_nonmovable {
  // etc. etc.
};

现在你所做的事情已经很清楚了:-)

此外，您可能需要考虑使用此定义和可能的其他定义（例如，仅不可复制、仅不可移动等）在某些实用程序标头中创建一个小的 mixin 命名空间。这将使该解决方案的使用更加简洁。

---

我仍然会考虑解释禁止复制和移动某处的决定的原因；见我的other answer。