Smart Pointer

Alokasi di luar aturan ownership biasa: Box, Rc, RefCell, dan pola kombinasinya.

Modul ini membahas smart pointer, yaitu tipe yang memiliki nilai di heap, mengatur alokasi serta pembebasan nilai itu melalui mekanisme ownership, dan menyediakan kemampuan yang tidak dimiliki referensi biasa. Pembahasan dimulai dari Box<T> untuk alokasi heap dan tipe rekursif, dilanjutkan Rc<T> untuk kepemilikan bersama dalam satu thread, RefCell<T> yang menggeser pemeriksaan pinjaman ke runtime, pola Rc<RefCell<T>> untuk struktur mirip graf beserta risiko siklusnya, serta Arc dan Mutex untuk kepemilikan bersama lintas thread. Setelah modul ini selesai, pemilihan antara kelima tipe tersebut dapat dilakukan dengan alasan yang dapat diuji lewat pesan error dan keluaran program.