メンバ参照を正しく初期化する

Question

class Temp { 
    public : 
     Temp(X& x): x_(x) {} 
     Temp(X& x, Y& y) : x_(x), y_(y) {} 
     ... 
    private: 
     X& x_; 
     Y& y_; 
} 

Temp(X& x): x_(x)の場合はy_が初期化されないため、エラーが発生しました。そのようなクラスを正しく書くための一般的な慣行は何ですか？

Answer 1

これはあなたが探しているものではないかもしれないが、別のアプローチを提案します。

参照変数（メモリポインタ）を使用せず、ブーストも使用しませんが、これ以上のメモリリソースを消費せずに両方のコンストラクタを保持することができます。参照であるデータメンバを持つ

#include <iostream> 

class Temp 
{ 
    public : 
     Temp(int& x): x_(&x), y_(NULL) {} 
     Temp(int& x, int& y) : x_(&x), y_(&y) {} 
     void print() { std::cout << "*x_: " << *x_ << std::endl; } 

    private: 
     int* x_; 
     int* y_; 
}; 

int main() 
{ 
    int x = 5; 
    Temp tmp(x); 

    tmp.print(); 

    return 0; 
} 

Answer 2

一般的なプラクティスは、すべての正直なところ、構造体またはクラスのデータメンバーとして参照を使用しないことです。

なぜあなたはこれをしたいと思いますか？概念は、概念的には、既存のものの別の名前です。オブジェクトは、まあ、オブジェクトです。あなたは布全体からそれらを作ることができなければなりません。時々彼らは既に存在する他のものへのポインタ（またはスマートポインタクラスのインスタンス）を持っていますが、少なくともポインタ自体は実データです。

Answer 3

初期化されていない参照メンバを持つことはできません！このような場合は、boost::optionalに参照をラップすることを検討し、必要に応じて参照を作成することもできます。

編集：ここboost::optionalアプローチは、あなたがY_する参照を持っている...

class Temp { 
    public : 
     Temp(X& x): x_(x) {} 
     Temp(X& x, Y& y) : x_(x), y_(y) {} 
     ... 
    private: 
     X& x_; 
     boost::optional<Y&> y_; // by default this is constructed with none_t 
} 

Answer 4

です！参照はでなければなりません。最初のコンストラクタは初期化されていません。クラスの作成時にyにバインドできない場合は、おそらくポインタを使用するべきです。

Answer 5

最初のコンストラクタを削除するか、2番目の参照を削除します。参照がある場合は、すぐに初期化する必要があります。 Yメンバをデフォルトで初期化するコンストラクタを提供する必要がある場合は、Yメンバをポインタまたは自動変数にします。

Answer 6

はSTRONG契約です： それはあなたがnullptrまたは未定義のオブジェクトを持つことができないことを意味し、あなたのクラスは、このオブジェクトが必要、オブジェクトが存在する必要があります。

結果として、最初のコンストラクタがこの強力な契約に違反し、したがってコンパイルできません。

karlphillipは、_yが常に定義されていることを保証する契約を尊重したくないので、ポインタを使用することを推奨します。

あなたのクラスが参照されたオブジェクトの存在を前提としない感覚を持たない場合、それはメンバーとしての参照を持つことが有効です。