lvalueとrvalueとmoveと

Theolizer @TheorideTech

@yumetodo @kazatsuyu ああっ、以前自分の中で整理した文を見返したら、xvalue間違ってました。一時オブジェクトを拘束した変数=xvalueと書いてた。 う～ん、未だに十分には整理できてないみたい。

yumetodo @yumetodo

@TheorideTech @kazatsuyu だからそもそもprvalueとxvalueをわけるのは無意味だと思うんですよね。

Theolizer @TheorideTech

@yumetodo @kazatsuyu なるほど。 まだ分けてないし、成るべくここは避けて通った方がよさそう。 でも、一時オブジェクトだからmoveできるってところは間違ってない気がします。

yumetodo @yumetodo

@TheorideTech @kazatsuyu 「一時オブジェクトだからmoveできる」ってのもおかしい。さっきの例で変数v1が一時オブジェクトに変化するんじゃなくって、一時オブジェクトだと偽っているだけ。lvaueはrvalueに変換できない。

yumetodo @yumetodo

@TheorideTech @kazatsuyu >一時オブジェクトだと偽っている これもちがうか、rvalueの別名ですよーとアピールしている

Theolizer @TheorideTech

@yumetodo @kazatsuyu いや、普通にできるでしょ。 a=b+1;はb:lvalueをrvalueに変換してます。

yumetodo @yumetodo

@TheorideTech @kazatsuyu ああ、ちがった。

yumetodo @yumetodo

@TheorideTech @kazatsuyu 私の脳みそ寝てるな・・・

白山風露 @kazatsuyu

@TheorideTech @yumetodo それはb+1という式の戻り値がprvalueなだけでは？

Theolizer @TheorideTech

@kazatsuyu @yumetodo bが一旦rvalueへ変換されてから、計算されると聞いた記憶が有ります。 名前も付いていたような。思い出せない。年を感じます。

yumetodo @yumetodo

@kazatsuyu @TheorideTech あれ、 cpplover.blogspot.jp/2009/11/rvalue… の >lvalueはrvalueに変換できるが、その逆、rvalueをlvalueに変換することは出来ない。 がわからなくなってきた(寝てる

Theolizer @TheorideTech

@yumetodo @kazatsuyu 容器から値を取り出せるけど、値を容器にすることはできないと理解してます。

白山風露 @kazatsuyu

@TheorideTech @yumetodo 詳しい動作の規定は思い出せないけど、それはbがrvalueとして扱われるのではなく、bのコピーが作られているということになるのでは？

yumetodo @yumetodo

@kazatsuyu @TheorideTech アセンブリ的にもそのほうが自然

Theolizer @TheorideTech

@yumetodo @kazatsuyu bはlvalueだから、コピーするならlvalueになると思います。

Theolizer @TheorideTech

@yumetodo @kazatsuyu 内部的には要はアキュムレータへロードしているだけなので、値をコピーしているんですけどね。

白山風露 @kazatsuyu

@TheorideTech @yumetodo コピー先がlvaueたりうる束縛されたオブジェクトならlvalueだけど、rvalueにコピーされることも普通にあるのでは

Theolizer @TheorideTech

@kazatsuyu @yumetodo なるほど。rvalueへ変換するのとrvalueへコピーするのって、結局同じことを言っているのかも知れませんね。

白山風露 @kazatsuyu

@TheorideTech @yumetodo ああ、変換というのは別オブジェクトにすることも含めての話だったか

yumetodo @yumetodo

@kazatsuyu @TheorideTech ああ、そういうことか

Theolizer @TheorideTech

@yumetodo @kazatsuyu 元のlvalueをrvalueにできるできないの話は、lvalueをムーブするために、std::moveでキャストしてます。このキャストの「変換」ですね。 std::moveはlvalueをrvalueへ変換していると思います。◯or☓？

yumetodo @yumetodo

@TheorideTech @kazatsuyu >std::moveはlvalueをrvalueへ変換していると思います。◯or☓？ ばつ。rvalue referenceへの変換であってrvalueへの変換ではない

Theolizer @TheorideTech

@yumetodo @kazatsuyu あっ。そうか。