なぜ代入演算子はオブジェクトへの参照を返すべきですか？

Question

私はC++のいくつかのリビジョンを出していますが、私は分で演算子のオーバーロード、特に "="（代入）演算子を扱っています。私はオンラインで探していて、それについて議論している複数のトピックに出くわしました。私自身のノートでは、私はすべての私の例では、私はオンラインで見つけるすべての参照では

​​

のようなものとして降ろさ持って、私は、オペレータがソースオブジェクトへの参照を返すことに気づきました。 オブジェクトに参照を返す正しい方法は何もないのに対して、なぜですか？

Answer 1

通常の形式では、対象オブジェクトへの参照が返され、割り当ての連鎖が可能です。それ以外の場合は、行うことが可能ではないでしょう。

Foo a, b, c; 
// ... 
a = b = c; 

それでも、右assigment演算子is tougher than it might seemを取得していることに注意してください。

Answer 2

戻り値の型を使用すると、ちょうどこのような文では、単一の割り当てを実行しているときは問題ではありません：

if ((x = y)) { 

：あなたがこれを行うとき

x = y; 

それは問題を開始します。あなたがこれを行うときには本当に問題になります。

x = y = z; 

これは、現在のオブジェクトをすべて返す理由です正確な連想性を伴う割り当ての連鎖。それは良い一般的なプラクティスです。

Answer 3

あなたの代入演算子は、常にこれらののことを行う必要があります。

1. は、代入の右辺としてのconstリファレンス入力(const MyClass &rhs)してください。その理由は、その値を誤って変更したくないためです。私たちは左のものだけを変えたいと思っています。

2. 常に新しく変更された左辺return *thisへの参照を返します。これは、オペレータの連鎖を可能にするためである。 a = b = c;。

3. 常に自己割り当て(this == &rhs)を確認してください。これは、クラスが独自のメモリ割り当てを行う場合に特に重要です。

   MyClass& MyClass::operator=(const MyClass &rhs) { 
       // Check for self-assignment! 
       if (this == &rhs) // Same object? 
        return *this; // Yes, so skip assignment, and just return *this. 
   
       ... // Deallocate, allocate new space, copy values, etc... 
   
       return *this; //Return self 
   }