ふと、move後のオブジェクトの状態ってどうなんてんだっけ？と気になった。 仕様上ではムーブ後のオブジェクトは「書き換えてよい」となっているが、この場合の書き換えがどこまでの話なのかというのがちょっとわかりにくかったので、改めて勉強しなおし。 …