为什么派生类不使用基类operator =(赋值运算符)？

Question

以下是实际问题的简化版本.Base::operator=(int)代码似乎不是调用,而是生成临时Derived对象并复制它.为什么不使用基本赋值运算符,因为函数签名似乎完全匹配？这个简化的示例没有显示任何不良影响,但原始代码在析构函数中具有副作用,导致各种破坏.

#include <iostream>
using namespace std;

class Base
{
public:
   Base()
   {
      cout << "Base()\n";
   }

   Base(int)
   {
      cout << "Base(int)\n";
   }

   ~Base()
   {
      cout << "~Base()\n";
   }

   Base& operator=(int)
   {
      cout << "Base::operator=(int)\n";
      return *this;
   }
};

class Derived : public Base
{
public:
   Derived()
   {
      cout << "Derived()\n";
   }

   explicit Derived(int n) : Base(n)
   {
      cout << "Derived(int)\n";
   }

   ~Derived()
   {
      cout << "~Derived()\n";
   }
};

class Holder
{
public:
   Holder(int n)
   {
      member = n;
   }

   Derived member;
};

int main(int argc, char* argv[])
{
   cout << "Start\n";
   Holder obj(1);
   cout << "Finish\n";

   return 0;
}

输出是:

Start
Base()
Derived()
Base(int)
Derived(int)
~Derived()
~Base()
Finish
~Derived()
~Base()

http://ideone.com/TAR2S

Answer 1

这是编译器生成的operator=方法和成员函数隐藏之间的微妙交互.由于派生类没有声明任何操作员=构件,一个隐式的由编译器生成:Derived& operator=(const Derived& source).这个operator = 隐藏了基类中的operator =,因此无法使用它.编译器仍然可以通过使用Derived(int)构造函数创建临时对象来完成赋值,并使用隐式生成的赋值运算符进行复制.

因为隐藏生成隐藏的函数并且不是源的一部分,所以很难发现.

这可以通过explicit在int构造函数上使用关键字来发现- 编译器会发出错误而不是自动生成临时对象.在原始代码中,隐式转换是一个很好用的功能,所以explicit没有使用.

解决方案非常简单,Derived类可以从Base类中明确地引入定义:

using Base::operator=;

http://ideone.com/6nWmx