Bounds check

Bounds check ve önleme yöntemlerini öğrenirsin.

Bounds check

Her v[i] erişimi bir sınır denetimi içerir; panic yerine tanımsız davranışı önleyen budur. Çoğu zaman maliyeti ölçülemeyecek kadar küçüktür ve derleyici, indeksin sınırlar içinde olduğunu kanıtlayabildiğinde denetimi kaldırır. Kanıtı kolaylaştırmanın yolları:

// 1) yineleyici kullan: denetim yok
for x in v.iter() { .. }

// 2) zip ile iki dilimi birlikte dolaş
a.iter().zip(b).map(|(x, y)| x * y).sum::<f64>()

// 3) uzunluğu baştan doğrula: döngüdeki denetimler kalkar
assert_eq!(a.len(), b.len());
for i in 0..a.len() { t += a[i] * b[i]; }

Assert ile denetimi öne almak

Döngüden önce yapılan tek bir denetim, döngü içindeki n denetimin yerini alabilir: derleyici i < a.len() ve a.len() == b.len() bilgisinden b[i]'nin de güvenli olduğunu çıkarır. Fonksiyonun sözleşmesini belgelemenin de iyi bir yoludur:

fn nokta(a: &[f64], b: &[f64]) -> f64 {
    assert_eq!(a.len(), b.len(), "uzunluklar farklı");
    a.iter().zip(b).map(|(x, y)| x * y).sum()
}

Uygulama Nokta çarpımı

Yukarıdaki nokta fonksiyonunu yaz. nokta(&[1.0, 2.0], &[3.0, 4.0]) sonucunu yazdır.

Örnek çözümü göster

fn nokta(a: &[f64], b: &[f64]) -> f64 {
    assert_eq!(a.len(), b.len(), "uzunluklar farklı");
    a.iter().zip(b).map(|(x, y)| x * y).sum()
}

fn main() {
    println!("{}", nokta(&[1.0, 2.0], &[3.0, 4.0]));
}

Kendini test et

<code>get_unchecked</code> ne zaman meşrudur?
- Profil denetimin önemli olduğunu gösterdiyse ve indeksin geçerliliği başka yolla kanıtlıysa
- Her zaman
- Hiçbir zaman
- Debug derlemede
Cevabı göster

Profil denetimin önemli olduğunu gösterdiyse ve indeksin geçerliliği başka yolla kanıtlıysa — Önce güvenli yollar (yineleyici, zip, assert) denenmeli; unsafe son çaredir.

Birlikte dolaş

a.iter().____(b).map(|(x, y)| x * y).sum::<f64>()

Cevabı göster

a.iter().zip(b).map(|(x, y)| x * y).sum::<f64>()

Erişim ve sınır denetimi

v[i]

Denetimli, panic
v.get(i)

Denetimli, Option
v.iter()

Denetim yok
get_unchecked(i)

unsafe, denetim yok

Sıradaki ders: Özet - Zero-cost abstraction

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler