Συνδυάζοντας smart pointers

Οι smart pointers μπορεί να φαίνονται περιορισμένοι, αλλά μπορούν να δημιουργήσουν πολύ ισχυρούς συνδυασμούς.

Rc<Vec<Foo>> - Επιτρέπει την κλωνοποίηση πολλαπλών smart pointers που μπορούν να δανειστούν το ίδιο άνυσμα αμετάβλητων δομών δεδομένων στο σωρό.

Rc<RefCell<Foo>> - Επιτρέπει σε πολλαπλούς smart pointers τη δυνατότητα να δανειστούν, μεταβλητά ή αμετάβλητα, την ίδια δομή Foo.

Arc<Mutex<Foo>> - Επιτρέπει σε πολλαπλούς smart pointers τη δυνατότητα να κλειδώσουν προσωρινούς μεταβλητούς/αμετάβλητους δανεισμούς με τρόπο αποκλειστικό για κάθε νήμα CPU.

Λεπτομέρεια μνήμης:

• Θα παρατηρήσετε ένα κοινό μοτίβο σε πολλούς απ' αυτούς τους συνδυασμούς. Τη χρήση ενός αμετάβλητου τύπου δεδομένων (πιθανώς με πολλούς ιδιοκτήτες smart pointers) για την τροποποίηση εσωτερικών δεδομένων. Αυτό αναφέρεται στη Rust ως το μοτίβο «interior mutability» (εσωτερική μεταβλητότητα). Είναι ένα μοτίβο που μάς επιτρέπει να λυγίζουμε τους κανόνες χρήσης μνήμης κατά την εκτέλεση, με το ίδιο επίπεδο ασφάλειας που έχουν οι έλεγχοι της Rust κατά τη μεταγλώττιση.