メンバーデータでポインターまたは参照を優先する必要がありますか？

これは質問を説明するための単純化された例です：

class A {};

class B
{
    B(A& a) : a(a) {}
    A& a;
};

class C
{
    C() : b(a) {} 
    A a;
    B b; 
};

したがって、BはCの一部を更新する責任があります。私はlintを介してコードを実行し、それは参照メンバーlint＃1725を使用していました。これは、十分に公正なデフォルトのコピーと割り当てを処理することについて話しますが、デフォルトのコピーと割り当てもポインターに関して悪いので、そこにはほとんど利点がありません。

ネイキッドポインターは誰がそのポインターを削除する責任があるかについて不確実に導入するため、私は常に可能な限り参照を使用するようにしています。オブジェクトを値で埋め込むことを好みますが、ポインターが必要な場合は、ポインターを所有するクラスのメンバーデータでauto_ptrを使用し、オブジェクトを参照として渡します。

通常、メンバーデータでポインターを使用するのは、ポインターがnullになるか変更される可能性がある場合のみです。データメンバーの参照よりもポインターを優先する他の理由はありますか？

一度初期化されたリファレンスは変更されるべきではないので、リファレンスを含むオブジェクトは割り当て可能であるべきではないというのは本当ですか？

参照メンバーは、クラスの実装が実行できることを制限し（言及したように、代入演算子の実装の防止を含む）、クラスが提供できるものに利点を提供しないため、避けてください。

問題の例：

• 各コンストラクターの初期化リストで参照を初期化する必要があります。この初期化を別の関数に分解する 方法はありません（C ++ 0xまで、とにかく編集： C ++には委任コンストラクターがあります）
• 参照を再バインドしたり、nullにすることはできません。これは利点になる可能性がありますが、コードを変更して再バインドを許可したり、メンバーをnullにしたりする必要がある場合、メンバーのすべての使用を変更する必要があります。
• ポインターメンバーとは異なり、リファクタリングが必要な場合があるため、参照をスマートポインターまたはイテレーターで簡単に置き換えることはできません。
• 参照が使用されるときはいつでも、それは値の型（.演算子など）のように見えますが、ポインタのように動作します（ぶら下がることができます）。たとえば、Googleスタイルガイドでは推奨されません。

私自身の経験則：

• オブジェクトの存続期間を他のオブジェクトの存続期間に依存させる場合は、参照メンバーを使用します。これは、オブジェクトが他のクラスの有効なインスタンスなしでは存続できないことを明示的に示す方法ですコンストラクターを介して参照の初期化を取得する割り当てと義務。これは、インスタンスがメンバーである、または別のクラスのメンバーではないことを想定せずにクラスを設計するための良い方法です。あなたは彼らの生活が他のインスタンスに直接リンクされていると仮定するだけです。これにより、後でクラスインスタンスの使用方法を変更できます（新しい、ローカルインスタンス、クラスメンバー、マネージャーのメモリプールなどによって生成されます）。
• その他の場合はポインターを使用する：メンバーを後で変更する場合は、ポインターまたはconstポインターを使用して、ポイントされたインスタンスのみを読み取るようにします。そのタイプがコピー可能であると想定されている場合、とにかく参照を使用することはできません。特別な関数呼び出し（たとえばinit（））の後でメンバーを初期化する必要がある場合もあり、その場合はポインタを使用する以外に選択肢がありません。しかし、すべてのメンバー関数でアサートを使用して、間違ったポインター状態をすばやく検出します！
• オブジェクトの存続期間を外部オブジェクトの存続期間に依存させる必要があり、そのタイプもコピー可能にする必要がある場合は、ポインターメンバーを使用しますが、コンストラクターで参照引数を使用します。このようにして、このオブジェクトの存続期間が依存することを構築に示します。引数の有効期間については、実装は引き続きポインタを使用してコピー可能です。これらのメンバーがコピーによってのみ変更され、型にデフォルトのコンストラクターがない限り、型は両方の目標を満たす必要があります。

オブジェクトは、割り当てや比較などの他のものを許可することはめったにありません。「Department」、「Employee」、「Director」などのオブジェクトを含むビジネスモデルを検討する場合、ある従業員が別の従業員に割り当てられるケースを想像するのは困難です。

したがって、ビジネスオブジェクトの場合、1対1および1対多の関係を、ポインタではなく参照として記述することは非常に良いことです。

そしておそらく、1または0の関係をポインタとして記述しても問題ありません。

したがって、「割り当てることはできません」ではなく、因数分解します。
多くのプログラマーはポインターに慣れているだけなので、参照の使用を避けるために引数を見つけます。

メンバーとしてポインターを使用すると、「念のため」のコメントを使用して、使用前に何度もポインターを確認する必要があります。すべてのオブジェクトが独自の役割を果たす必要があるため、ポインターがゼロになる可能性がある場合、ポインターはおそらく一種のフラグとして使用されます。

可能な場合は参照を使用し、必要な場合はポインタを使用します。

いくつかの重要なケースでは、割り当て可能性は単に必要ありません。これらは多くの場合、スコープを離れることなく計算を容易にする軽量のアルゴリズムラッパーです。このようなオブジェクトは、常に有効な参照を保持し、コピーする必要がないことを確認できるため、参照メンバーの主要な候補です。

このような場合は、割り当て演算子（および多くの場合はコピーコンストラクター）を（継承boost::noncopyableまたはプライベート宣言することにより）使用不可にしてください。

ただし、ユーザーptsがすでにコメントしているため、他のほとんどのオブジェクトには同じことが当てはまりません。ここで、参照メンバーの使用は大きな問題になる可能性があるため、通常は回避する必要があります。

誰もが一般的なルールを配っているように見えるので、私は2つ提供します。

• クラスメンバーとしてuseリファレンスを使用しないでください。私は自分のコードでこれを行ったことがなく（自分がこのルールに正しかったことを自分で証明した場合を除いて）、そうするケースを想像することはできません。セマンティクスは混乱しすぎており、リファレンスが設計されたものではありません。

• 基本型を除いて、関数にパラメーターを渡すとき、またはアルゴリズムがコピーを必要とするときは、常に、常に参照を使用してください。

これらのルールは単純で、代わりに私を支えてくれました。他の人へのクラスメンバーとして、スマートポインター（ただしauto_ptrではない）の使用に関するルールを作成しておきます。

はい：参照を初期化したら変更してはならないので、参照を含むオブジェクトは割り当て可能ではないというのは本当ですか？

データメンバーの私の経験則：

• 割り当てを妨げるため、参照を使用しないでください
• クラスが削除を担当している場合は、ブーストのscoped_ptrを使用します（auto_ptrより安全です）。
• それ以外の場合は、ポインタまたはconstポインタを使用します

通常、メンバーデータでポインターを使用するのは、ポインターがnullになるか変更される可能性がある場合のみです。データメンバーの参照よりもポインターを優先する他の理由はありますか？

はい。コードの可読性。ポインターを使用すると、メンバーが参照（皮肉にも:)）であり、包含されたオブジェクトではないことがより明確になります。昔ながらのことだと思う人もいますが、混乱や間違いを防ぐだけだと思います。

誰がクラスから派生するのか、彼らが何をしたいのかわからないので、参照データのメンバーにはお勧めしません。彼らは参照されたオブジェクトを利用したくないかもしれませんが、参照であるため、有効なオブジェクトを提供することを強制しました。参照データメンバーの使用を停止するのに十分な自分自身でこれを行いました。

質問を正しく理解したら...

ポインターの代わりに関数パラメーターとして参照： 指摘したように、ポインターは、ポインターのクリーンアップ/初期化の所有者を明確にしません。ポインターが必要な場合は共有ポイントを優先します。これはC ++ 11の一部です。また、ポイントされたデータを受け入れるクラスの存続期間を通じてデータの有効性が保証されない場合は、weak_ptrを使用します。; C ++ 11の一部でもあります。参照を関数パラメーターとして使用すると、参照がnullでないことが保証されます。この問題を回避するには、言語機能を破壊する必要があります。ルーズキャノンコーダーについては気にしません。

参照aaメンバー変数： データの有効性に関して上記のとおり。これは、ポイントされたデータが参照され、有効であることを保証します。

変数の有効性の責任をコードの前のポイントに移動すると、後のコード（例ではクラスA）がクリーンアップされるだけでなく、使用している人にもわかりやすくなります。

あなたの例では少し混乱しています（私は本当により明確な実装を見つけようとしています）、Bが使用するAはBの存続期間中保証されます。BはAのメンバーであるため、参照はこれを補強します（おそらく）より明確です。

また、念のため（コードのコンテキストでは意味をなさない可能性が低いため）、別の方法として、参照されていないポインターA以外のパラメーターを使用すると、Aがコピーされ、パラダイムが役に立たなくなります-Iこれが代替手段だとは本当に思っていません。

また、これにより、ポインターを変更できる参照データを変更できないことが保証されます。constポインターは、データへの参照/ポインターが変更可能でない場合にのみ機能します。

ポインターは、BのAパラメーターの設定が保証されていない場合、または再割り当てできる場合に役立ちます。また、弱ポインタ​​ーが実装に対して冗長すぎる場合もあり、多くの人々は、weak_ptrが何であるかを知らないか、単にそれらを嫌います。

この答えを引き裂いてください:)