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

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移动赋值运算符(或移动构造函数,但它可能会导致注释中提到的问题).

不过,在我看来,最可读的方式是=delete 既拷贝构造函数和拷贝赋值运算符.

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

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

如果没有一种明显的形式来表达同样非常简洁的东西——不要试图用语言律师的方式少写几个字符。为什么？想想阅读您代码的人：如果您需要查阅标准来实现您的代码执行您希望它执行的操作，那么您代码的读者也会如此。只是他们不会知道你想要实现什么；所以他们不会查阅标准；所以他们会对你的代码的作用感到困惑。或者 - 有些人会得到它，有些人则不会。^*

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

/* 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对于此事有这样的说法。

_{* - 我在这里阐述的原则的一个变体。}