クラスのタイプへの割り当てrvalues

overview

in cプログラミング言語では、rvalues（右側の値）は通常、lvalues（左側の値）として使用できません。ただし、次のコードで示されているように、このルールには例外があります。 公共： 明示的なy（size_t num = 0）{} }; int main（）{ y（1）= y（0）; // 何？！？ 0を返します。 }

驚くべきことに、コンストラクターy（1）によって返されるオブジェクトはrvalueですが、このコードは正常にコンパイルされます。この記事では、この予期しない動作の背後にある理由を調査します。割り当てオペレーターを明示的に定義していないクラスの場合、コンパイラはデフォルトの割り当てオペレーターを生成します。このデフォルト演算子は、そのパラメーターと同じクラスのオブジェクトへの参照を取得するメンバー関数です。これは、lvalues（参照オブジェクト）とrvalues（参照オブジェクト）の両方に適用できることを意味します。この一時的なオブジェクトは、作成されたステートメントの最後に自動的に破壊されます。ただし、コンストラクターがクラスタイプのrvalueを返す場合、合成された割り当てオペレーターは一時的なオブジェクトの寿命を延長できます。次のコードの構文砂糖は次のとおりです。したがって、コンパイラは、コンストラクターy（1）によって作成された一時的なオブジェクトへの割り当てステートメントを割り当てステートメントを解釈できます。これらの合成された割り当て演算子は、コンストラクターによって作成された一時的なオブジェクトの寿命を延長し、RValuesへの割り当てを可能にします。。