赋值运算符继承

Question

有这个代码：

#include <iostream>

class Base {
public:
    Base(){
        std::cout << "Constructor base" << std::endl;
    }
    ~Base(){
        std::cout << "Destructor base" << std::endl;
    }
    Base& operator=(const Base& a){
        std::cout << "Assignment base" << std::endl;
    }
};

class Derived : public Base{
public:

};

int main ( int argc, char **argv ) {
    Derived p;
    Derived p2;
    p2 = p;
    return 0;
}

g++ 4.6编译后的输出：

Constructor base
Constructor base
Assignment base
Destructor base
Destructor base

说赋值运算符不被继承，为什么还要调用基类的赋值运算符？

Answer 1

其实所谓的就是隐式定义的operator =为Derived。编译器提供的定义依次为Base 调用operator =，您会看到相应的输出。构造函数和析构函数也是如此。当你把它留给编译器定义operator =时，它定义如下：

Derived& operator = (const Derived& rhs)
{
    Base1::operator =(rhs);
    ...
    Basen::operator =(rhs);
    member1 = rhs.member1;
    ...
    membern = rhs.membern; 
}

其中Base1,...,Basen 是类的基类（按照在继承列表中指定它们的顺序），member1, ..., membern 是 Derived 的成员（不包括继承的成员），按照您在类定义。

Answer 2

你也可以使用“使用”：

class Derived : public Base{
public:
    using Base::operator=;
};

http://en.cppreference.com/w/cpp/language/using_declaration

在有人帮我解决这个问题之前，我已经阅读了好几次这篇文章。

Answer 3

你没有默认值

Derived& operator=(const Base& a);

在您的 Derived 班级中。

但是，会创建一个默认赋值运算符：

Derived& operator=(const Derived& a);

这会从Base 调用赋值运算符。所以这不是继承赋值运算符的问题，而是通过派生类中默认生成的运算符调用它。

Answer 4

标准说 (12.8)：

赋值运算符应由非静态成员实现 函数只有一个参数。因为复制作业 operator operator= 如果未声明，则为类隐式声明 由用户（12.8），基类赋值运算符始终隐藏 通过派生类的复制赋值运算符。

然后派生的赋值运算符调用你的基础

为非联合隐式定义的复制/移动赋值运算符 X 类对其子对象执行按成员复制/移动分配。 首先分配 X 的直接基类，按照它们的顺序 在基本说明符列表中声明，然后是立即数 X 的非静态数据成员按它们分配的顺序分配 在类定义中声明。

Answer 5

这是因为创建的默认赋值运算符调用它的基本赋值运算符，即它不是继承的，但仍作为默认赋值运算符的一部分调用。

Answer 6

赋值运算符确实不是继承的。继承该运算符将使您能够将Base 分配给Derived，但是Base b; p = a; 将（理所当然地）无法编译。

编译器会生成一个operator=，因为您还没有为Derived 定义一个自定义的operator=。自动生成的operator= 将调用所有基类和所有成员的赋值运算符。在这方面，它与构造函数/析构函数非常相似，它们也在所有基础/成员上调用相应的函数。