Rust 051 Pin - 動かないことの保証

第51章へようこそ。今日のテーマは「Pin」です。第45章で、Pinという型に触れました。asyncをつけた関数から作られるFutureは、状態の中に自己参照を持つことがある。自己参照を持つFutureは、メモリ上で別の場所へ移動すると、内部のポインタが古い場所を指したまま残ってずれる。これを避けるのがPinだと見ました。今日扱うのは、そのPinが移動を止めるとき実際に何をしているのか、なぜFutureへの問い合わせがPinを通して行われるのか、そしてなぜほとんどの型はPinと無関係でいられるのか、です。