Variabel dan Mutabilitas

Di Rust, manajemen variabel dan memori dipandu oleh dua prinsip dasar: keamanan dan kontrol. Oleh karena itu, tidak seperti banyak bahasa pemrograman lainnya, variabel di Rust tidak dapat diubah secara default.

Artinya, ketika suatu nilai telah ditetapkan ke suatu variabel, maka nilai tersebut tidak dapat diubah. Jika Anda mencoba memodifikasinya, kompiler akan memunculkan kesalahan.

Variabel Abadi dan Kata Kunci mut

Untuk mendeklarasikan variabel, kita menggunakan kata kunci let :

let x = 5; // Immutable by default
// x = 6; // ERROR! The compiler will refuse to build this code.

Jika Anda perlu mengubah nilai suatu variabel, Anda harus secara eksplisit membuatnya dapat diubah dengan menggunakan kata kunci mut tepat setelah let:

let mut y = 10; // Mutable
println!("Il valore di y e: {}", y);
y = 15; // Valid!
println!("Il valore modificato di y e: {}", y);

Menggunakan awalan mut dengan jelas mengkomunikasikan kepada kompiler dan siapa pun yang membaca kode bahwa nilainya akan berubah selama eksekusi.

Pembayangan

Rust juga mengizinkan konsep shadowing, yaitu deklarasi ulang variabel dengan nama yang sama menggunakan kata kunci let lagi. Variabel baru "membayangi" (atau menutupi) variabel sebelumnya:

let x = 5;
let x = x + 1; // Shadowing: x is now 6
let x = x * 2; // Shadowing: x is now 12

Berbeda dengan mut, shadowing memungkinkan Anda untuk:

1. Ubah tipe data variabel dengan tetap menggunakan nama yang sama.
2. Pertahankan kekekalan variabel setelah transformasi.

let spaces = "   "; // Type: &str (string)
let spaces = spaces.len(); // Type: usize (number)

Kegunaan Shadowing dan Scope

Membayangi tidak terbatas pada blok yang sama; itu dapat digunakan dalam blok bersarang ({}) untuk mengganti nilai sementara. Ketika blok dalam berakhir, variabel asli menjadi terlihat kembali:

let x = 5;
{
    let x = x * 2; // Shadowing valid only inside the block
    println!("Value in the inner block: {}", x); // Prints 10
}
println!("Value in the outer block: {}", x); // Prints 5

Mekanisme ini sangat aman dan efisien karena terjadi sepenuhnya pada waktu kompilasi, memastikan keamanan jenis tanpa overhead kinerja waktu proses.

Cobalah sendiri