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 =，因此无法使用它。编译器仍然可以通过使用Derived(int)构造函数创建临时对象来完成赋值，并使用隐式生成的赋值运算符进行复制。

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

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

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

using Base::operator=;

http://ideone.com/6nWmx

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

1 个答案: