Rust 126 メモリという現実 - すべての制約はここに帰る

第126章へようこそ。今日のテーマは「メモリという現実」です。メモリは、これまでの章で何度も登場してきました。第1章で所有権を学んだとき、「データの所有者は常に1人」と語りました。第20章でスタックとヒープを学んだとき、二つのメモリ領域の性質の違いを語りました。第71章でキャッシュと局所性を学んだとき、メモリの物理的な速度差を語りました。しかし、これらは断片です。所有権の章でメモリに触れ、スタックの章でメモリに触れ、キャッシュの章でメモリに触れた。それぞれの文脈で、メモリの一面を見てきた。今日からは、メモリそのものを中心に据えます。Rustという言語の制約、仕組み、設計判断。これらのすべてが、最終的にメモリという物理的現実に帰着する。所有権はメモリの話です。借用はメモリの話です。ライフタイムはメモリの話です。型はメモリの話です。トレイトもメモリの話です。それを、今日から見ていきます。