为什么没有一个派生类使用基类运算符=(赋值运算符)?(Why doesn't a deriv

2019-07-29 16:28发布

下面是一个实际的问题的一个简化版本。 而不是调用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) 。 这个操作符= 操作员=在基类因此不能被使用。 编译器仍然能够通过创建一个临时对象完成作业Derived(int)构造函数,并用隐式生成的赋值运算符复制。

因为这样做隐藏的功能是隐式生成的,是不是源代码的一部分,这是非常难以发现。

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

解决的方法是相当简单的,派生类可以明确地拉从基类中的定义:

using Base::operator=;

http://ideone.com/6nWmx



文章来源: Why doesn't a derived class use the base class operator= (assignment operator)?