Nota video

Teks penuh video

Kalau kau biar setiap robot kilang ambil bata memori dari rak, kemudian buang ikut suka hati sendiri, tahniah, kau dah ada pengurusan memori manual! Apa yang boleh jadi salah, kan? Tapi robot selalu lupa pulangkan bata, sampai rak kosong dan berlaku memory leak!

Jadi, setiap bata hanya ada satu pemilik, dan sebaik sahaja pemilik keluar dari bilik skopnya, bata itu terus dikitar semula secara automatik. Ini namanya ownership. Tapi kalau dua robot pegang bata yang sama, dua-dua cuba buang bata itu, lalu berlaku double free yang merosakkan kilang!

Jadi, bila kau serahkan bata kepada robot lain, pemilik lama terus hilang hak dan tak boleh sentuh bata itu lagi. Ini namanya move semantics. Tapi kalau setiap kali robot lain nak tengok, kau kena serahkan bata, memang leceh!

Jadi, pemilik boleh pinjamkan rujukan untuk dibaca sahaja, dan ramai robot boleh pinjam serentak tanpa ubah apa-apa. Ini namanya immutable borrowing. Tapi kalau satu robot cat semula bata sementara robot lain tengah baca, data jadi kucar-kacir dan berlaku data race!

Jadi, Rust benarkan sama ada ramai peminjam baca sahaja, atau tepat satu peminjam yang boleh ubah, tapi tak boleh kedua-duanya serentak. Ini namanya mutable borrowing. Tapi kalau pemilik dah buang bata sedangkan robot lain masih pegang tiket pinjaman, tiket itu menunjuk ke rak kosong, ini dangling reference!

Jadi, pemeriksa di pintu kilang semak tempoh hayat setiap pinjaman, dan tiada pinjaman boleh hidup lebih lama daripada pemiliknya. Ini namanya lifetimes dan borrow checker. Semua peraturan ini disemak oleh compiler sebelum program kau berjalan, jadi tak perlu garbage collector, tiada jeda, dan prestasi kekal laju.

Tahniah, sekarang kau faham macam mana Rust jamin keselamatan memori melalui ownership dan borrowing! Lepas ni nak belajar apa pula?

Siri Teknologi dan AI dalam animasi 3D LEGO (V916-044) oleh KongsikanDotCom. Tonton lagi di