为什么 GCC 拒绝复制赋值操作中的常量引用

Question

我想正常重载一个常见的复制赋值运算符。起初，我使用了一个只需要对源代码的 const 引用的接口，并显式禁用接受可修改引用的接口，但我无法通过编译。编译器报告"错误：使用已删除的函数'ClassA&ClassA：：operator=(ClassA&(">

当然，如果我不明显删除接口，我可以编译，但这不是我的目的。我想明确删除它，以避免意外使用它。

为什么复制赋值操作需要对源的可修改引用，而不是常量引用？赋值操作只需要只读访问源！

关于复制构造函数有一个相同的问题，为了简化，我省略了它。

我的代码有什么问题？或者我们不能删除它？

我的示例代码如下：

class ClassA {
public:
   ClassA() = default;
   ClassA( ClassA & ) = default;
   ClassA & operator=( ClassA & )
   = delete   // Must comment-out this, or we can't pass the compilation.
   // { cout << "ClassA & operator=( ClassA & ) executed." << endl; return *this; }
   ;
   ClassA & operator=( ClassA && ) {
      cout << "ClassA & operator=( ClassA && ) executed." << endl;
      return *this;
   };
   ClassA & operator=( const ClassA & ) {
      cout << "ClassA & operator=( const ClassA & ) executed." << endl;
      return *this;
   };
   ClassA & operator=( const ClassA && ) {
      cout << "ClassA & operator=( const ClassA && ) executed." << endl;
      return *this;
   };
};
int main() {
   ClassA oa, ob;
   ob = oa;
   return EXIT_SUCCESS;
};

Answer 1

或者我们不能删除它？

你只是不需要这样做。如果提供用户定义的复制赋值运算符，则不会隐式声明其他运算符，即仅存在用户定义的运算符。

如果这样做，则显式标记为delete的复制赋值运算符将参与重载解析;选择该运算符后，编译将失败。对于ob = oa;，operator=( ClassA & )是更好的匹配，如果不存在，operator=( const ClassA & )将被使用并正常工作。

所以在这种情况下，你可以做

class ClassA {
public:
   ClassA & operator=( ClassA && ) {
      cout << "ClassA & operator=( ClassA && ) executed." << endl;
      return *this;
   }
   ClassA & operator=( const ClassA & ) {
      cout << "ClassA & operator=( const ClassA & ) executed." << endl;
      return *this;
   }
};

Answer 2

当然，如果我不明显删除接口，我可以编译，但这不是我的目的。我想明确删除它，以避免意外使用它。

你不能意外地使用不存在的东西。如果你的类定义了ClassA & operator=( const ClassA & )，那么ClassA & operator=( ClassA & )根本不存在(编译器不会生成它(。没有理由提供和删除它。

Answer 3

如果您明确删除它，然后调用：

ob = oa;
// The same as
ob.operator=(oa);

当然ClassA & operator=( ClassA & )是最好的匹配，因为oa是一个非常量左值。由于它被删除，这将是一个错误。

如果根本没有声明，ClassA & operator=( const ClassA & )现在成为最佳匹配项。因此，它永远不会尝试使用ClassA & operator=( ClassA & )因为它不存在。

如果你真的想，你仍然可以有ClassA & operator=( ClassA & ) = delete;，并且你必须手动从 const 引用分配：

ob = static_cast<const ClassA&>(oa);
// Will now select `ClassA & operator=( const ClassA & )`

这表明您不需要非常量左值赋值运算符。但是真的没有意义，因为如果不声明ClassA & operator=( ClassA & )无论如何它都会被用作常量引用。