派生类是否间接继承基类的赋值运算符？

Question

我试图理解这种行为，但似乎我不明白。请看这段代码：

#include <iostream>
using namespace std;

class Base
{
public:
    void operator=(const Base& rf)
    {
        cout << "base operator=" << endl;
        this->y = rf.y;
    }
    int y;
    Base() : y(100) { }
};

class Derived : public Base
{
public:
    int x;
    Derived() : x(100) { }
};

int main()
{
    Derived test;
    Derived test2;
    test2.x = 0;
    test2.y = 0;
    test.operator=(test2); // operator auto-generated for derived class but...
    cout << test.x << endl << test.y << endl;
    cin.ignore();
    return 0;
}

程序输出：

> base operator=
>  0
>  0

现在我感到困惑的是： 该规则规定，派生类永远不会继承赋值运算符，而是创建自己的 operator=，但在此示例中，基类的 operator= 在派生类上被调用。

其次，我能够在派生类上显式调用赋值运算符，而该运算符并未在派生类中显式定义。

现在，如果我理解正确的话，这意味着任何用户定义的基类运算符总是在派生类上被调用？

Answer 1

生成的会自动调用基类赋值运算符。

// generated version looks basically like this
Derived& operator=(Derived const& other){
  Base::operator=(static_cast<Base const&>(other));
  x = other.x;
  return *this;
}

强制转换是为了避免意外调用模板化的 Base::operator= 像这样的：

template<class Other>
Base& operator=(Other const& other); // accepts everything

或者像这样的奇怪的：

// forward-declare 'Derived' outside of 'Base'
Base& operator=(Derived const& other); // accepts derived class (for whatever reason)

---

其次，我能够在派生类上显式调用赋值运算符，而该运算符并未在派生类中显式定义。

如果您不这样做并且您的类允许它（即没有引用成员和一些其他晦涩的规则），编译器会自动声明一个赋值运算符，并且如果您实际使用，则另外定义它它在某个地方。

Answer 2

编译器生成的赋值运算符调用每个子对象的赋值运算符。这包括基类和非静态成员变量。

该标准规定（第 12.8 节 [class.copy]）：

如果类定义没有显式声明复制赋值运算符，则隐式声明一个。如果类定义声明了移动构造函数或移动赋值运算符，则隐式声明的复制赋值运算符被定义为已删除；否则，它被定义为默认（8.4）。如果类具有用户声明的复制构造函数或用户声明的析构函数，则不推荐使用后一种情况。类 X 的隐式声明的复制赋值运算符将具有以下形式

X& X::运算符=(const X&)

如果

• X 的每个直接基类 B 都有一个复制赋值运算符，其参数类型为 const B&，
  const volatile B& 或 B，以及
• 对于属于类类型 M（或其数组）的 X 的所有非静态数据成员，每个此类类类型都有一个复制赋值运算符，其参数的类型为 const M&、const volatile M& 或 M。

否则，隐式声明的复制赋值运算符将具有以下形式

X& X::运算符=(X&)

：

非联合类 X 的隐式定义复制/移动赋值运算符对其子对象执行成员复制/移动赋值。首先按照 X 的直接基类在 base-specifier-list 中声明的顺序进行赋值，然后是 X 的直接非静态数据成员>X 按照它们在类定义中声明的顺序进行分配。让 x 为函数的参数
或者，对于移动运算符，引用参数的 x 值。每个子对象都以适合其类型的方式分配：

• 如果子对象是类类型，就像调用 operator= 一样，将子对象作为对象表达式，并将 x 的相应子对象作为单个函数参数（就好像通过显式限定；也就是说，忽略更多派生类中任何可能的虚拟重写函数）；
• 如果子对象是数组，则以适合元素类型的方式分配每个元素；
• 如果子对象是标量类型，则使用内置赋值运算符。

未指定表示虚拟基类的子对象是否被隐式定义的复制赋值运算符多次赋值。

Answer 3

这是因为隐式定义的运算符 = 调用基类运算符 =。请参阅常见问题解答精简版：

我正在创建一个派生类;我的赋值运算符应该调用我的基类的赋值运算符吗？

是（如果您需要首先定义赋值运算符）。

如果您定义自己的赋值运算符，编译器将不会自动为您调用基类的赋值运算符。除非基类的赋值运算符本身被破坏，否则您应该从派生类的赋值运算符显式调用它（同样，假设您首先创建了一个）。

但是，如果您不创建自己的赋值运算符，编译器为您创建的赋值运算符将自动调用基类的赋值运算符。

Answer 4

4件事永远不会被继承
构造函数
复制构造函数
赋值运算符
析构函数

即使您没有编写赋值运算符，您的代码也会很好。
每当您使用赋值运算符时，编译器都会确保调用每个成员对象和基类的赋值运算符。