サブクラスのctorで初期化する

Question

struct A { 
    B b; 
    A(int x):b(x){} 
    A(int x, float g) // how to implement this? I want to init b as a C. 
}; 
struct B { 
    enum {e_c, e_d} type; 
    int i; 
    B(int i_):i(i_){} 
}; 
struct C : public B { 
    float f; 
    C(int i_, float f_):B(i),f(f_){} 
}; 
struct D : public B { 
    double ff; 
    D(int i_, double d):B(i),ff(d){} 
}; 

おそらくこれをコード化する別の方法がありますか？元々私はクラスBを持っていましたが、私はそれを分割して、（互換性のない/相互排他的な）フィールドをBに追加しないようにしました。私の解決策は、Aがbを使用するときにbの列挙をチェックして、その後、B *をC *またはD *にキャストして浮動小数点または倍精度を取得します。私の問題は今、私はAに初期化をさせる方法を知らない。言語は私にそれのような何かをさせることさえできますか？

編集：私は、AのbがCまたはDの余分なフィールドを許可するためのスペースを割り当てられていない可能性があることを認識しました。 floatやdoubleを格納するための空き容量はありません。だから私は欲しいことをする正しい方法は、Bにunion {float f; double ff;};を追加することだと思いますか？

Answer 1

あなたの例はちょっと混乱しています。しかし、ポインターが必要なのでしょうか？あなたがこれを行う場合、B必見は仮想デストラクタを持っていることを

struct A { 
    B *b; 
    A(int x):b(new B(x)) {} 
    A(int x, float g):b(new C(x,g)) {} 
    ~A() { delete b; } // Very important! 
}; 

は注意してください。また、Aオブジェクトのコピーが何を意味するのか考える必要があります。

Answer 2

あなたの編集は正しいです。

あなたが望むことを行う通常の方法は、Bを（できればスマートな）ポインタで格納し、それぞれのコンストラクタに適切な型を割り当てることです。