Mülkiyet Kuralları

Sahiplik Rust'un en benzersiz özelliğidir. Dilin, bir Çöp Toplayıcıya ihtiyaç duymadan veya sizi yığın belleğini manuel olarak serbest bırakmaya zorlamadan (C veya C++'da olduğu gibi) bellek güvenliğini garanti etmesine olanak tanır.

Mülkiyetin Üç Kuralı

Rust'ta bellek yönetimi, derleyici tarafından sıkı bir şekilde kontrol edilen üç basit kurala tabidir:

1. Rust'ta her değerin sahibi adı verilen bir değişkeni vardır.
2. Aynı anda yalnızca bir sahip olabilir.
3. Sahip kapsam dışına çıktığında değer otomatik olarak düşürülür.

Yığın ve Yığın

Sahipliği anlamak için verilerin nerede bulunduğunu bilmek önemlidir:

• Yığın: derleme zamanında bilinen sabit boyutlu verileri (ör. tamsayılar, boolean'lar) saklar. Erişim son derece hızlıdır.
• Yığın: derleme zamanında bilinmeyen dinamik boyutlu verileri depolar (örneğin, String). Tahsis daha yavaştır ve Yığında saklanan bir işaretçi gerektirir.

"Hareket" Kavramı

Yığınla ayrılmış bir değişkeni diğerine atadığımızda, Rust değerin sahipliğini taşır (veya aktarır) ve ilk değişkeni geçersiz kılar:

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!

Bu davranış, yalnızca s2 belleği boşaltacağından "çifte boş hata"yı (kapsam dışına çıkarken aynı belleği iki kez boşaltmaya çalışmak) önler.

"Klon" Kavramı (Derin Kopya)

Bir String içeriğini (hem yığın işaretçileri hem de yığındaki gerçek metin verileri) açıkça kopyalamamız gerekiyorsa, .clone() yöntemini kullanabiliriz. Bu, yeni bellek tahsisi için performans ek yükü pahasına hem orijinali hem de yeni değişkeni geçerli tutarak yığındaki verileri tamamen kopyalar:

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

"Kopyalama" Kavramı

Tamamen Yığın üzerinde depolanan basit türler için (tamsayılar i32, boolean'lar bool, karakterler char gibi), atama gerçek bir otomatik sığ kopya gerçekleştirir; bu, her iki değişkenin de geçerli kaldığı anlamına gelir:

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

Kendin dene