読者です 読者をやめる 読者になる 読者になる

テストステ論

高テス協会会長が, テストステロンに関する情報をお届けします.

(rust report) mut&はなくていい

akiradeveloper.hatenadiary.com

は解決した. κeenさんという人がTwitterで教えてくれた.

"readは&mut selfを要求するから&mut &[u8]を渡さないといけないだけの話"で, 型の話はわかった.

これは知らなかった. というかどっかに書いてあった気もするが, 理解してなかった.

これに照らし合わせると,

    let mut vv: &[u8] = &v[..];
    vv.read(&mut b).unwrap();

というのは,

  • vvは&[u8] (ファットポインタ)型の値を, 変更可能を宣言してる変数に束縛した
  • vv.readは, auto-borrowingでvvを&mutでborrowしている

と考えることが出来る.