C++コンパイラは未使用の戻り値を `reference`で最適化しますか？

Question

誰かがジャンプしてProfile before optimize!と言う前に、これは単に好奇心の質問であり、this original questionに由来しています。

同じオブジェクトを参照して戻ってきた場合、使用しないと最適化されてしまうのですか？たとえば、さまざまな数学関数を持つVector<>があります（演算子のオーバーロードを使用していないと仮定します）。それを書くの二つの方法：

inline void Vector::Add(const Vector& in) // Adds incoming vector to this vector 

OR今

inline Vector& Vector::Add(const Vector& in) // Adds incoming vector to this vector and returns a reference to this vector 

Add()は、戻り値を利用せずに使用されている場合、コンパイラは単に完全復帰を捨てて、それが何を持っているかのように機能がなりません戻り値は？そして、もしそれがinlinedでなければ？

Answer 1

参考文献は、通常、ポインタと同様の方法で実装され、コストは最小です（ほとんどの場合無視されます）。呼び出し規約に応じて、レジスタ内の単一のストアにすることができます。

コンパイラがコードnoをインライン展開しない限り、リターンを最適化できるかどうかについては、できません。コンパイラが関数を処理するとき、呼び出しコードがreturn文を使用するかどうかは分かりません。つまり、必ずreturnとする必要があります。

Answer 2

関数がインライン化されていない場合は、戻り値をどこかに格納する必要があります。おそらくCPUレジスタです。これはおそらく単一のレジスタコピーを必要とするだけです。ほとんどの場合、オーバヘッドが単一のCPUサイクル以上であれば驚くでしょう。