在派生类中使用副本分配

Question

偏好他说

因为总是为任何类声明副本赋值运算符，所以基类赋值运算符总是隐藏的。如果使用-声明用于从基类中引入赋值运算符，且其参数类型可能与派生类的隐式赋值运算符的参数类型相同，则使用-声明也被隐式声明隐藏。

根据我的理解，下面的代码不应该编译。因为

1. B::operator=(const &)是隐式声明的。
2. A::operator=(const &)和使用-声明都是隐藏的。

#include <iostream>
using namespace std;

class A { 
 public:
    A& operator=(const A& A) {
        cout << "A::opreator=" << endl;
    }   
};

class B : A { 
 public:
    using A::operator=;
};

int main() {
    A a1; 
    B b1; 
    b1 = a1; 
}

然而，它成功地编译并打印"A::operator="，为什么？

Answer 1

从C++11标准#12.8重点添加

24 .由于如果用户不声明，则为类隐式声明复制/移动赋值操作符，因此派生类的相应赋值运算符(13.5.3)总是隐藏基类副本/移动赋值运算符。使用-声明(7.3.3)从基类中引入参数类型为派生类的复制/移动赋值操作符的赋值操作符( A )，它不被视为此类操作符的显式声明，也不禁止派生类操作符的隐式声明；使用声明引入的操作符隐藏在派生类中隐式声明操作符中。

class B赋值操作的隐式声明如下：

B& B::operator=(const B&)

类B中使用-声明赋值运算符的参数类型不同于隐式声明赋值运算符。因此，它禁止派生类B运算符的隐式声明。

以了解1和2 w.r.t.到您发布的代码：

1. 不，赋值操作符的隐式声明在类B中被抑制。
2. 不，他们不会被藏起来。

Answer 2

您不能隐藏B的复制赋值操作符，因为您提到的两个运算符都采用不同的参数。

Answer 3

我认为你提到的参考资料应该分为两部分，以解决你的两个问题：

1. 是的，基类(A)和派生类(B)的副本赋值默认为隐式声明。您只是通过输出一条消息流来覆盖A类上的隐式声明。
2. 引用的第二部分意味着，如果将B类的实例分配给A类的实例，并且有使用A类赋值的使用声明，则将使用A类的赋值。这意味着，如果将B类的实例分配给B类的其他实例，则将使用默认的隐式赋值。因此，没有什么是隐藏的，因为参数类型不同，代码将调用using-声明(即基类分配)，=>将消息输出到流。