Rust 133 メモリアクセス規則 - 借用チェッカーの本質

第133章へようこそ。第132章まで、メモリの姿を見てきました。型がバイト列になる姿。所有する型と借りる型のメモリ構造。ムーブと複製の実体。メモリの一生。アロケータの仕組み。今日のテーマは「メモリアクセス規則」です。メモリの物理的な姿が見えるようになった今、借用チェッカーを再訪します。第1章で借用を学びました。第107章で借用チェッカーの詳細を学びました。第126章で借用を「メモリへのアクセス制御」と位置づけました。今日は、借用チェッカーの規則を、メモリの姿が見える目で読み直します。規則の意味が変わるはずです。抽象的なルールではなく、メモリの中で何を防いでいるかが見える。