Aturan Kepemilikan

Kepemilikan adalah fitur paling unik dari Rust. Hal ini memungkinkan bahasa untuk menjamin keamanan memori tanpa memerlukan Pengumpul Sampah atau memaksa Anda untuk membatalkan alokasi memori heap secara manual (seperti di C atau C++).

Tiga Aturan Kepemilikan

Manajemen memori di Rust diatur oleh tiga aturan sederhana yang diperiksa secara ketat oleh compiler:

1. Setiap nilai di Rust memiliki variabel yang disebut pemiliknya.
2. Hanya boleh ada satu pemilik dalam satu waktu.
3. Saat pemilik keluar dari cakupan, nilainya otomatis hilang.

Tumpukan vs Tumpukan

Untuk memahami kepemilikan, penting untuk mengetahui di mana data berada:

• Stack: menyimpan data berukuran tetap yang diketahui pada waktu kompilasi (misalnya bilangan bulat, boolean). Akses sangat cepat.
• Heap: menyimpan data berukuran dinamis yang tidak diketahui pada waktu kompilasi (misalnya, String). Alokasi lebih lambat dan memerlukan pointer yang disimpan di Stack.

Konsep "Bergerak"

Saat kita menetapkan variabel yang dialokasikan heap ke variabel lain, Rust memindahkan (atau mentransfer) kepemilikan nilai tersebut, sehingga membuat variabel pertama menjadi tidak valid:

let s1 = String::from("ciao");
let s2 = s1; // Ownership of the text moves to s2. s1 is NO longer usable!

// println!("{}", s1); // COMPILATION ERROR! s1 is "borrow of moved value"
println!("{}", s2); // Valid!

Perilaku ini menghindari "kesalahan bebas ganda" (mencoba mengosongkan memori yang sama dua kali saat keluar dari cakupan), karena hanya s2 yang akan mengosongkan memori.

Konsep "Klon" (Salinan Dalam)

Jika kita secara eksplisit perlu menyalin seluruh konten String (baik penunjuk tumpukan maupun data teks aktual di heap), kita dapat menggunakan metode .clone(). Ini sepenuhnya menduplikasi data di heap, menjaga variabel asli dan variabel baru tetap valid, dengan mengorbankan overhead kinerja untuk alokasi memori baru:

let s1 = String::from("ciao");
let s2 = s1.clone(); // Deep copy. Both variables remain valid!
println!("s1: {}, s2: {}", s1, s2);

Konsep "Salinan"

Untuk tipe sederhana yang disimpan seluruhnya di Stack (seperti bilangan bulat i32, boolean bool, karakter char), penetapan akan melakukan penyalinan dangkal otomatis yang sebenarnya, yang berarti kedua variabel tetap valid:

let x = 5;
let y = x; // Copies the value 5 onto the stack. Both variables are usable!
println!("x: {}, y: {}", x, y); // Valid!

Cobalah sendiri