c++ - 为什么使用引用限定符 & 声明已删除的赋值运算符

Question

据我所知，用户声明的赋值运算符不同于内置运算符，如 this stackoverflow answer 所解释的那样.但是，为什么要将“&”添加到已删除的运算符中呢？

// C++
class MyType
{
public:
 // ...

  MyType& operator=(MyType const&) & = delete;
  MyType& operator=(MyType &&) & noexcept = default;

// more
};

我问是因为我的静态代码检查器在这里报告违反规则，我认为没有理由为已删除的运算符添加“&”。我错过了什么吗？

Answer 1

在这种情况下没有理由添加 & 限定符。

关键是要防止您的类(class)被复制分配，期间。 & 限定符的目的是防止类的 rvalue 可复制赋值(& 会阻止复制赋值运算符在这种情况下是一个可行的功能)。但这不是您的目标 - 您希望所有复制赋值格式错误，所以这只是:

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

并向写静态检查的人投诉。

---

问题:

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

您要删除的运算符的额外精度是否暗示了不存在的意图。我立即想知道在类后面的某个地方，出于某种原因，你是否有:

MyType& operator=(MyType const&) && { ... }

而你不这样做，因为那很愚蠢。