スマートポインタの組み合わせ

スマートポインタは制限があるように見えるかもしれませんが、非常に強力な組み合わせを作ることができます。

Rc<Vec<Foo>> - ヒープ上にある同じ不変なデータ構造のベクタを借用できる、複数のスマートポインタの複製を可能にします。

Rc<RefCell<Foo>> - 複数のスマートポインタが同じ構造体 Foo を可変・不変に借用する能力を可能にします。

Arc<Mutex<Foo>> - 複数のスマートポインタが、CPU スレッド排他的な方法で一時的な可変・不変の借用をロックする能力を可能にします。

メモリの詳細:

• これらの組み合わせの多くに共通するテーマに気づくでしょう。内部のデータを変更するために、（複数のスマートポインタによって所有されている可能性のある）不変なデータ型を使うというテーマです。これは Rust では「内部可変性」(interior mutability) パターンと呼ばれています。これは、コンパイル時チェックと同じレベルの安全性を保ちながら、実行時にメモリ使用のルールを曲げることを可能にするパターンです。