为什么派生类不使用基类 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= 方法和member function hiding 之间的微妙交互。由于 Derived 类没有声明任何 operator= 成员，因此编译器隐式生成了一个成员：Derived& operator=(const Derived& source)。此 operator= 隐藏 operator= 在基类中，因此无法使用。编译器仍然能够通过使用 Derived(int) 构造函数创建一个临时对象并使用隐式生成的赋值运算符复制它来完成赋值。

因为进行隐藏的函数是隐式生成的，并且不是源代码的一部分，所以很难发现。

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

解决方案相当简单，Derived 类可以显式地从 Base 类中拉入定义：

using Base::operator=;

http://ideone.com/6nWmx