Rust 132 メモリ配分 - アロケータの仕組み

第132章へようこそ。第131章で、メモリの一生を追いました。スタック上の値は、スコープを抜けるときにスタックポインタの巻き戻しで消える。ヒープ上のあたいは、スコープを抜けるときにDropを通じてアロケータに返される。ヒープの確保と解放のとき、「アロケータ」という言葉が登場しました。今日のテーマは「メモリ配分」です。アロケータの仕組みを見ます。Vecに要素を追加するとき、ヒープ上にメモリが確保される。Stringが成長するとき、より大きなヒープ領域が確保される。Boxを作るとき、ヒープに値の分のメモリが確保される。この「確保」を行っているのが、アロケータです。アロケータとは何か。何をしているのか。なぜその存在を知る必要があるのか。