Initialize Baseクラスのコンストラクタを呼び出す前に、派生クラスのメンバ変数を初期化します。このUBですか？

Question

派生クラスのメンバ変数を初期化した後、それをBaseクラスのコンストラクタに渡したいとします。次のコードが定義されていない

1）または未定義の動作（UB）：私は（http://cpp.sh/4uu4qもここに）以下の解決策を考え出しましたか？

2）は私が悪いデザインの表示を行うようにしようとしています何ですか？

struct Data { 
    int fValue; 

    Data(int value = -1) : fValue(value) 
    {} 
}; 


struct Base { 
    Base(const std::unique_ptr<Data> & derivedData) { 
     std::cout << "Constructing Base derivedData=" << derivedData->fValue << std::endl; 
    } 
}; 


struct Derived : public Base { 
    std::unique_ptr<Data> fData = std::move(fData); 

    Derived() : Base(ConstructData()) 
    {} 

    const std::unique_ptr<Data> & ConstructData() { 
     fData.release(); 
     fData.reset(new Data(777)); 
     std::cout << "in ConstructData: fData->fValue =" << fData->fValue << std::endl; 
     return fData; 
    } 
}; 


int main() { 
    Derived d; 
    std::cout << "In main: d.fData->fValue =" << d.fData->fValue << std::endl; 
    return 0; 
} 

Answer 1

Iは、派生クラスのメンバ変数を初期化したい、その後基底クラスのコンストラクタに渡すことになります。

C++では、構築順序は、派生した部分の前の基底部分の順序です。これは、導出された部品が（潜在的に）ベース部品に関して構築されることがはるかに一般的であるためです。これを明確にするために、基底派生順序が指定されています。したがって、基底での派生の使用は未定義です。

あなたのベースが派生メンバーを使用したい場合は、注文がOKであることを確認する方法があります。 "メンバー"ベースクラスも作成してください。 boost::base_from_memberは、これをより便利にするために作られています。

はあなたには、いくつかの

class member_type{}; 

があり、derivedはmember_typeメンバーを持っている、とbaseから派生したいのですが言います。そして、あなたが使用することができます

class derived : 
    private boost::base_from_member<member_type>, 
    public base { 
    using my_member_type = private boost::base_from_member<member_type>; 

public: 
    derived(); 
}; 

なお、今derivedサブクラスの両方my_member_typeとbase（この順番で）。したがって、後者は前者をその構成に使用することができる。

derived::derived() : 
    my_member_type{3}, 
    base{my_member_type::member} { 
}