代入の方法（C++)

質問

ある値 class T v を計算してそれをインスタンス class T a に代入したいとき
　　T f(...) //"..."は適当な引数
を定義して
　　a = f(...); //operaor =はそれなりに定義されているとします。
とやる方法と f(T&, ...) を定義して、
関数の中で代入をする方法があると思いますが
どちらがいいのでしょうか？関数の定義として
　　T& f(...)
というようなこともあり得るのでしょうか？
（そのときのreturnで返された
　インスタンスの寿命はどうなっているのでしょうか？）
どうもこのあたりがよくわからず
無駄なことをやっているような気がしています。

どなたか、よろしくお願いします。

回答No.1

bob

このケースでは２通り考えられます。

(1)
void T :: f( const T& v, ...) { ~~~; }
もしくは
T& T :: f( const T& v, ...) { ~~~; return *this; }
を定義して
a.f(v, ...);
でaを書き換える

(2)
T& T :: f(...) { ~~~; return *this; }
を定義して
a = v.f(...);
でaを書き換える

どちらを選ぶかはオブジェクト指向ですから、T::fがどう言う意味を持つかによって選ぶのがいいと思います。(1)だと他のオブジェクトvとその他の引き数を入力にしてオブジェクト自身を書き換えるメソッドになりますし、(2)だと本質はその他の引き数でオブジェクト自身を書き換えることで、その結果をたまたま他のオブジェクトaにコピーしているという解釈になります。

a=v.f(...); 以外の形でメソッドfを使うことが無いようなら(1)の方が明示的でいいかも知れません。vを書き換えたくない場合も(1)を使うことになります。

返り値に&をつけると、返り値のオブジェクトが左辺値に使えるようになります。寿命は参照するオブジェクトの寿命と同じで、それ以降は値の保証はないです。上の２例では*thisを返しているのでメソッドを呼び出したオブジェクトの寿命と等しくなります。
返り値に&がつかない場合、特に(2)では一時オブジェクトに返り値がコピーされたのをまたaにコピーすると言う形になると思われるので２度手間の印象があります。

お礼

どうもありがとうございます。
（２）の解釈なのですが、やりたいこととしては
b = a.f(...);
のような場合と
a = a.f(...);
の場合の２つがあり、
単なるf(...) とaにaを変更するメソッドf(a,...) を用意するようなことは
面倒であるとともに、メンテナンス上よくないような気がしています。
（実際問題としてはf(a,...) の中で
　a = a.f(...)を実行すればいいのでしょうけれど）

この場合、新しいインスタンスｖに対して初期化または代入により
　v=a;
という状態を実現し、
　a=v.(...);
というのもちょっと変なような気もするんです。
どうもこのあたりのもやもやがC++の分からないところなのかなぁと思っています。

どうもありがとうございました。