Borrow checker

Borrow checker'ın MIR üzerinde nasıl çalıştığını öğrenirsin.

Borrow checker

Ödünç denetleyicisi MIR üzerinde çalışır ve üç şeyi denetler: her referansın gösterdiği değerden uzun yaşamadığını (ömürler), aynı anda çakışan &mut erişim olmadığını ve taşınmış ya da başlatılmamış bir değerin kullanılmadığını. Bazı durumlarda kuralları kod yazımına uygun hale getiren ince düzenlemeler vardır; örneğin iki aşamalı ödünç (two-phase borrows):

let mut v = vec![1, 2];
v.push(v.len());   // &mut v alınır ama "etkinleşmesi" argüman hesaplandıktan sonradır

Bu olmasaydı, v.len() için gereken &v ile push'un &mut v'si çakışırdı.

Polonius

Bugünkü denetleyicinin reddettiği ama aslında güvenli olan bazı programlar vardır. En bilineni, bir haritadan bulduğunu döndürüp bulamadığında ekleme yapan desendir. Yeni nesil denetleyici Polonius bu durumları kabul edecek şekilde tasarlanmıştır; o gelene kadar entry API'si ya da iki aşamalı arama kullanılır:

// bugünkü çözüm: entry ile tek arama
let deger = harita.entry(anahtar).or_insert_with(|| hesapla());

Uygulama İki aşamalı ödünç

let mut v = vec![1, 2]; için v.push(v.len()); çalıştır ve vektörü {:?} ile yazdır.

Örnek çözümü göster

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

Kendini test et

Ödünç denetleyicisi bir hata bulduğunda programın çalışma süresine etkisi nedir?
- Bellek artar
- Hiçbiri; tüm denetim derleme anındadır, çalışma anı maliyeti yoktur
- Program yavaşlar
- Çalışma anında denetim eklenir
Cevabı göster

Hiçbiri; tüm denetim derleme anındadır, çalışma anı maliyeti yoktur — Ödünç denetimi tamamen statik bir analizdir; RefCell gibi çalışma anı denetimi yalnızca açıkça seçildiğinde vardır.

İki aşamalı ödünç

let mut v = vec![1, 2];
v.push(v.____());   // [1, 2, 2]

Cevabı göster

let mut v = vec![1, 2];
v.push(v.len());   // [1, 2, 2]

Denetim ve hata kodu

Taşınmış değer kullanımı

E0382
Çakışan &mut

E0499
Okurken yazma

E0502
Kısa yaşayan değer

E0597

Sıradaki ders: Tür çıkarımı

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler