Rust 139 メモリ境界 - asyncと所有権が交差するとき

第139章へようこそ。第138章で、async関数がenumに変換されることを見ました。中断のたびに判別子とデータが書き換わり、再開のたびに読み出される。Futureの状態はヒープ上のenumに保持される。今日のテーマは「メモリ境界」です。そのenumの中に何を入れられるか、という問いに向き合います。async関数の中で使う変数は、awaitをまたげばenumのフィールドになる。しかし、すべての値がenumに入れるわけではない。タスクの境界を越える値には条件がある。その条件は、第134章で学んだSendとSyncに直結している。並行性の次元と時間の次元が、ここで交差します。