returnでmoveやった方がいい？

普通のC++使い、銀天すばる @SubaruG

@melponn 探すのが面倒です＞＜

めるぽん.am @melponn

前もCryoliteさんが sasso- とあらわれて3秒で解決してくれた気がするんだけどなぁ･･･

Akso de la Malbono @Cryolite

sasso- sasso sasasso sasso- (出囃子)

普通のC++使い、銀天すばる @SubaruG

あった

普通のC++使い、銀天すばる @SubaruG

と思ったらなかった。

対鉱物用武装 @kikairoya

闇の魔人が 颯爽と 現れた！ [宮崎産を食べよう]

対鉱物用武装 @kikairoya

頼もしすぎて泣ける･･･ [宮崎産を食べよう]

めるぽん.am @melponn

@Cryolite おお、sasso-とC++仕様書が･･･！

Akso de la Malbono @Cryolite

@melponn N3092 の 12.8p34 と 12.8p35 とを組み合わせて読むことで， return に自動変数を指定した場合，戻り値の constructor 呼び出しではまずその自動変数を右辺値とみなしてみりゅりゅんルールとなります．

Akso de la Malbono @Cryolite

C++03 の頃から RVO 周りの文言はしょっちゅう読み直しているので， "certain criteria are met" と検索すれば該当箇所が引っかかると覚えてしまっているという．

めるぽん.am @melponn

@Cryolite おお、なんかそれっぽい文言が！ありがとうございます！

対鉱物用武装 @kikairoya

C(ry先生恐ろしい･･･ [宮崎産を食べよう]

めるぽん.am @melponn

さすがすぎる・・・ RT @Cryolite: C++03 の頃から RVO 周りの文言はしょっちゅう読み直しているので， "certain criteria are met" と検索すれば該当箇所が引っかかると覚えてしまっているという．

SKS/ファントムの申し子 @repeatedly

とあるC++の禁書目録を地で行くくらいおらいと先生であった

普通のC++使い、銀天すばる @SubaruG

でも RVO が働かない場面もある。例えば return f( x, y ); とか書いた場合はそう。でもこれはコンパイラが勝手に move してくれるんだっけ？

めるぽん.am @melponn

http://togetter.com/li/29274 とかの話ですかね？ RT @SubaruG: でも RVO が働かない場面もある。例えば return f( x, y ); とか書いた場合はそう。でもこれはコンパイラが勝手に move してくれるんだっけ？

普通のC++使い、銀天すばる @SubaruG

@melponn その議論では、末尾関数呼び出しの場合には特に触れられてなかった気が。

めるぽん.am @melponn

@SubaruG では頑張って周辺の仕様を調べて結果をPostして頂ければまとめます！

普通のC++使い、銀天すばる @SubaruG

検証するには、 int f( hoge&& ); と int f( hoge const& ); の両方を用意して、 int g(){ hoge h; return f(h); } ってコードで、どっちが呼ばれるかを試せばいいのかな。末尾関数呼び出しで move してくれるかは。

普通のC++使い、銀天すばる @SubaruG

@melponn そもそも tail call に関する規定自体が、ざっと検索した限り、規格にないんですよね…。

普通のC++使い、銀天すばる @SubaruG

改めて調べてみるか。そもそも、検索する単語が間違ってるのかなー。

普通のC++使い、銀天すばる @SubaruG

return で調べるべき？ でも候補が多そうだ。

普通のC++使い、銀天すばる @SubaruG

読む： 6.6.3 The return statement [stmt.return]

普通のC++使い、銀天すばる @SubaruG

A return statement can involve the construction and copy or move of a temporary object (12.2). ってある。

普通のC++使い、銀天すばる @SubaruG

これは違うか？むむ。