Rust 140 メモリの統合 - すべてはメモリに帰る

第140章へようこそ。第139章で、asyncタスクの境界において、所有権、型、ライフタイム、Sendが同時に問われることを見ました。別々の制約ではなく、メモリの安全を守る1つの構造の異なる面であると。今日のテーマは「メモリの統合」です。第126章からここまで、メモリの姿を追ってきました。バイト列。アドレス。スタック。ヒープ。アライメント。パディング。判別子。vtable。ファットポインタ。ステートマシン。これらはすべて、メモリの中の具体的な構造でした。そして、所有権。借用。ライフタイム。型。トレイト。Send。Sync。これらはすべて、その構造に対する規則でした。今日は、個別の概念には踏み込みません。代わりに、すべての次元を貫く1つの問いを浮かび上がらせます。