Borrowing kuralları

Aynı anda birden fazla referans alma kurallarını öğrenirsin.

Borrowing kuralları

Herhangi bir anda bir değer için şunlardan yalnızca biri doğru olabilir:

istediğin kadar &T (okuyucu), ya da
tek bir &mut T (yazıcı).

let mut v = vec![1, 2, 3];
let ilk = &v[0];        // okuyucu
// v.push(4);           // hata E0502: okuyucu varken yazılamaz
println!("{ilk}");
v.push(4);              // ilk artık kullanılmıyor, sorun yok

Bu kural, vektör büyürken yeni belleğe taşınıp eski adresi gösteren referansın geçersiz kalmasını önler.

Hatayı çözmek

Bu tür hataların çözümü genellikle şunlardan biridir: referansın kullanımını değişiklikten önce bitirmek, değeri kopyalamak (let ilk = v[0]; i32 için Copy) ya da işlemleri ayırmak:

let mut v = vec![1, 2, 3];
let ilk = v[0];          // kopya, referans değil
v.push(ilk * 10);
println!("{:?}", v);     // [1, 2, 3, 10]

Uygulama İlk elemanı çoğalt

let mut v = vec![1, 2, 3]; tanımla. İlk elemanı kopyalayarak al (let ilk = v[0];), ardından v.push(ilk * 10); yap ve {:?} ile yazdır.

Örnek çözümü göster

fn main() {
    let mut v = vec![1, 2, 3];
    let ilk = v[0];
    v.push(ilk * 10);
    println!("{:?}", v);
}

Kendini test et

Yukarıdaki örnekte <code>v.push(4)</code> neden ilk satırda hata verirdi?
- push yeni belleğe taşıyabilir ve ilk geçersiz bir adrese bakardı
- v değiştirilemez
- 4 yanlış tür
- Hata vermezdi
Cevabı göster

push yeni belleğe taşıyabilir ve ilk geçersiz bir adrese bakardı — Kapasite dolunca vektör yeni bir dizi ayırıp elemanları taşır; borrow checker bu "kullanımdan sonra serbest bırakma" hatasını derlemede yakalar.

Kopyayla çöz

let mut v = vec![5, 6];
let ilk = ____;   // referans değil
v.push(ilk);

Cevabı göster

let mut v = vec![5, 6];
let ilk = v[0];   // referans değil
v.push(ilk);

Durum ve sonuç

&v + &v

İzin verilir
&mut v + &mut v

E0499
&v + v.push()

E0502
let x = v[0]; v.push()

İzin verilir (kopya)

Sıradaki ders: Dangling referans

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler