Smart Pointer Kombinieren

Smart Pointer mögen begrenzt erscheinen, aber sie können einige sehr mächtige Kombinationen ergeben.

Rc<Vec<Foo>> - Erlaubt das Klonen mehrerer Smart Pointer, die sich denselben Vektor aus unveränderlichen Datenstrukturen auf dem Heap teilen können.

Rc<RefCell<Foo>> - Erlaubt mehreren Smart Pointern die Fähigkeit, sich veränderlich/unveränderlich dasselbe Struct Foo zu leihen.

Arc<Mutex<Foo>> - Erlaubt mehreren Smart Pointern die Fähigkeit, temporäre veränderliche/unveränderliche Leihvorgänge auf eine Weise zu sperren, die einem CPU-Thread exklusiven Zugriff gewährt.

Speicherdetail:

• Dir wird ein wiederkehrendes Thema bei vielen dieser Kombinationen auffallen. Die Verwendung eines unveränderlichen Datentyps (möglicherweise von mehreren Smart Pointern besessen), um interne Daten zu verändern. Dies wird in Rust als "Interior Mutability" (innere Veränderlichkeit) Pattern bezeichnet. Es ist ein Pattern, das es uns erlaubt, die Regeln der Speichernutzung zur Laufzeit zu biegen, mit demselben Sicherheitsniveau wie Rusts Kompilierzeit-Prüfungen.