Avatar
omochimetaru 12/6/2018 8:17 AM
moveは普通の型でもできるから普通の型でもそうだと思ってました。 moveonlyっていうのは、can not copyというのが言いたい事であって、 イメージとしては、今までの型がすべてCopyable、新しくCopyableでない型を追加したいという話
8:19 AM
【可能性1】 今までの型: copyとmoveができる moveonly型 copyができなくて、常にmoveしないといけない型 consming: メソッドレシーバのselfの所有権をメソッド内部にmoveする (edited)
8:20 AM
でも逆の考え方もできそうですね。 【可能性2】 moveonlyではない通常の型の場合、consumingメソッドの呼出しに対して、 selfのコピーを作成してそのコピーをメソッド内部にmoveする。 そうするともともとのレシーバは生き続ける。 (edited)