Rustのstd::convertのFromとかIntoトレイトがわからなくなった時に見る記事

この記事のモチベーション

Rustのstd::convertにはFromやInto、Asなどがありますが、トレイトがネストしてるときに何から何への変換なのかがわからなくなったので備忘録的にまとめてみました。

結論

FromとIntoはムーブする破壊的な変換、Asはムーブしない非破壊的な変換

実体の変換系

From<T>とInto<T>は逆の関係を持つ。

Fromトレイト

AがFrom<B>を実装していると、BからAへ向かって変換できる。例えば、StringはFrom<&str>を実装しているので、&strからStringへ変換できる。ムーブが発生する。

Intoトレイト

AがInto<B>を実装していると、AからBへ向かって変換できる。例えば、StringはInto<&str>を実装しているので、Stringから&strへ変換できる。ムーブが発生する。

参照の変換系

AsRefトレイト

AがAsRef<B>を実装していると、Aを&Bに変換できる。例えば、StringはAsRef<str>を実装しているので、Stringから&strへ変換できる。

AsMutトレイト

AがAsMut<B>を実装していると、Aを&mut Bに変換できる。例えば、StringはAsMut<str>を実装しているので、Stringから&strへ変換できる。

ここで注意したいのは
- String
- &String
- &&String

のどれでもStringに対してas_mut()またはas_ref()したのと同じになる。つまり、

fn main() {
    let x:String = "hoge".to_string();
    let _:&str = x.as_ref();
    let _:&str = &x.as_ref();
    let _:&str = &&x.as_ref();
}

である。