ownership.md

Sahiplik ve Mülkiyet kavramı

Aşağıdaki örneklerde, a'nın değerini b'ye atamaya çalışıyoruz. Her iki kod bloğu da hemen hemen aynı kodlardan oluşuyor gibi görünse de ayrı veri türleriyle işlem yapılmaktadır. İlk kod bloğu hatasız derlenip çalıştırılabiliyorken, ikinci kod bloğu mülkiyet sorunu yüzünden hata üretip çalışmayacaktır.

Değerleri belleğin stack adlı bölgesinde depolanan değişkenlerle yapılan bir işlem:

fn main() {
    let a = [1, 2, 3];
    let b = a;
    println!("a: {:?}, b: {:?}", a, b);
    // a: [1, 2, 3], b: [1, 2, 3]
}

Değerleri belleğin heap adlı bölgesinde depolanan değişkenlerle yapılan diğer işlem:

fn main() {
    let a: Vec<u8> = vec![1,2,3];
    let b = a;
    println!("a: {:?}, b: {:?}", a, b);
}
// error[E0382]: borrow of moved value: `a`

Mülkiyet nedir?

⭐️ Değişkenler bir değer ile bağlandıklarında, bağlandıkları değerin mülkiyetlerini de almış olurlar. Bununla birlikte bir veri parçasının aynı anda sadece bir sahibi olabilir. Bir değerin mülkiyetiyle bağlanmış bir değişken, kullanıldığı kapsamın dışına çıktığında onun için ayrılmış olan sistem kaynakları serbest bırakılarak sisteme iade edilir. Bu süreç otomatik olarak tür güvenliği sağlamaya yardımcı olur.

Mülkiyet Bir şeye sahip olma eylemi, durumu veya hakkı olarak dilimize çevrilebilir.

Kopyalanan ve Taşınan türler

⭐️ Bir değerle bağlanmış değişkeni, başka bir değişkene bağlarken yahut bir işleve referans kullanmadan geçirilirken bu veriler:

1. Kopya türlerdir, çünkü:

   • Bağlı kaynaklar kopyalanır ve atanır veya işleve iletilir.
   • Orijinal bağlamın mülkiyet durumu "kopyalandı" durumuna ayarlanmıştır.
   • Çoğunlukla ilkel türlerdir.

2. Taşınan türlerdir, çünkü:

   • Bağlı kaynaklar yeni değişken bağlamına taşındığından artık orijinal değişken bağlamına erişilemez.
   • Orijinal bağlamın mülkiyet statüsü "taşındı" durumuna ayarlanmıştır.
   • İlkel türler değildirler.

🔎 Bir türün işlevselliği, kendisine uygulanan özellikler tarafından değerlendirilir. Rust'ta değişken bağlamalarının "taşıma semantiği" özelliğine sahip olduğu varsayılır. Bununla birlikte eğer bir tür core::marker::Copy trait özelliğini uyguluyorsa "kopyalama semantiği" özelliğine sahiptir.

💡 Dolayısıyla, ikinci örnekte yer alan, Vec nesnesinin mülkiyeti b'ye taşındığından, a’nın o kaynaktaki mülkiyeti sona ermiş ve kaynağa erişimi sonlanmıştır.

🔎 Sahiplik ve Mülkiyet kavramları hakkında derlediğimiz kaynaklara bu bağlantı üzerinden erişebilirsiniz: