对于隐式声明的移动赋值运算符，用户声明是什么意思？

Question

声明

隐式声明的移动赋值运算符

如果没有为类提供用户定义的移动赋值运算符 类型（结构、类或联合），并且以下所有条件都为真：

没有用户声明的复制构造函数；
没有用户声明的移动构造函数；
没有用户声明的复制赋值运算符；
没有用户声明的析构函数；

带有用户声明的复制赋值运算符是否意味着只有

类名 & 类名 :: operator= ( 类名 && )

或任何 operator=()已定义？

例子：

class Bar
{
public:
   Bar() = default;
   SomeClass some;
};

class Foo
{
public:
   Foo() = default;

   Foo& operator=(Bar&& bar) : some(std::move(bar.some))
   {
   }

   SomeClass some;
};

这是否符合隐式声明的移动赋值运算符的条件？

隐式声明的移动构造函数也是如此。

Answer 1

请注意，它说的是“用户声明的 copy 赋值运算符”（强调我的）。并非每个赋值运算符都是复制赋值运算符。

对于X 类，copy 赋值运算符定义为operator=，它采用X、X&、const X&、volatile X& 或@ 类型的参数987654327@。所以你的Foo::operator=(Bar&&) 不是一个 copy 赋值运算符，因此不会影响移动（或复制）赋值运算符的隐式声明。