仮想関数は

Question

編集はサンプルプログラムとして解くと転載

次のようなシナリオは：

クラス階層：

class Base 
{ 
public: 
    virtual void output() = 0; 
private: 
    int a; 
}; 

class Derived_1 : public Base 
{ 
public: 
    virtual void output() 
    { 
     cout << "Derived_1" << endl; 
    } 
}; 

class Derived_2 : public Derived_1 
{ 
public: 
    virtual void output() 
    { 
     cout << "Derived_2" << endl; 
    } 
}; 

実装：

Derived_2* obj = reinterpret_cast<Derived_2*>(new Derived_1()); 
obj->output(); 

"Derived_2"ではなく "Derived_1"を出力します。私はこれがほとんどあなたにとって新しいことではないと確信していますが、私のアプリケーションで私の工場の機能のいくつかを作ったときに考えなかったものでした。

Answer 1

Value_object_uint32ではなく、Value_object_dataオブジェクトを割り当てています。 Value_object_uint32としてキャストしているということは何も変わりません。実際のオブジェクトの仮想テーブルには、Value_object_uint32の知識はありません。エラー時に構築された仮想関数テーブルでは、formatはValue_object_dataのformatを指しています。ストロングアーミングは、実際のオブジェクトを指すポインタのタイプは、状況を修正するために何もしません。

与えられた階層内のすべての基本および継承クラスのコンストラクタは、最も派生したものからルートに、各クラスに対して正確に1回呼び出されます。つまり、基本クラスのコンストラクタを明示的に呼び出す必要はありません。自動的に呼び出されます。あなたはあまりにもそれを行うことができます使用する必要があるいくつかの基本クラスのコンストラクタのかを指定する必要がある場合：もちろん

class Base 
{ 
public: 
    Base() {} // default constructor 
    Base(int a) {} 
}; 

class Derived 
{ 
public: 
    Derived() : Base() 
    { 
    } 

    Derived(int a) 
     : Base(a) // Select the Base ctor that takes an int, instead of the default 
    { 
    } 
}; 

int main() 
{ 
    Derived d1; // Calls Derived() and Base() ctors in this order 
    Derived d2(5); // Calls Derived(5) and Base(5) in this order 
} 

、Derived(int a)コンストラクタがBase(int)コンストラクタを呼び出すために必要とされていません。この場合、Base()コンストラクタが自動的に呼び出されます。

Answer 2

EDITこの回答は、投稿された元のコードに基づいています。 OPは、切り詰められた例が期待どおりに機能しているのを見てからコードサンプルを更新しました。

---

あなたのコードは正確に正しいではありませんが、これを実現するような何かのための最も一般的な理由は、あなたが上書きしようとしましたが、あなたの代わりに過負荷を作成したときに正確に正しい署名を取得していないということです。基本クラスを呼び出しても、それは正しく定義されたクラスを呼び出します。

シグネチャの問題のすべてはよくある間違いですが、メソッドのconstanceはシグネチャの一部です。

Answer 3

少なくとも、new_VO_data()メソッドは壊れています。これは、可変の仮想テーブル・サイズと可変長のパディングのために動作する場合と動作しない場合があります。これらは標準では任意であり、コンパイラ・オプションに依存します。簡単に言えば、動作は未定義です。