14

以下は、実際の問題の単純化されたバージョンです。を呼び出すのではなく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

4

1 に答える 1

19

operator=これは、コンパイラによって生成されたメソッドとメンバー関数の非表示の間の微妙な相互作用です。Derived クラスは operator= メンバーを宣言していないため、コンパイラによって暗黙的に生成されました: Derived& operator=(const Derived& source). この operator=は基本クラスの operator= を隠しているため、使用できませんでした。コンパイラは、コンストラクターを使用して一時オブジェクトを作成Derived(int)し、暗黙的に生成された代入演算子でそれをコピーすることで、代入を完了することができました。

非表示を行う関数は暗黙的に生成され、ソースの一部ではないため、見つけるのが非常に困難でした。

explicitこれは、コンストラクターでキーワードを使用することで発見できた可能性がありますint。コンパイラーは、一時オブジェクトを自動的に生成する代わりにエラーを発行していたはずです。元のコードでは、暗黙的な変換はよく使用される機能であるため、使用explicitされませんでした。

解決策は非常に単純です。Derived クラスは Base クラスから明示的に定義を取得できます。

using Base::operator=;

http://ideone.com/6nWmx

于 2012-05-31T17:16:12.633 に答える