HIR

High-level IR (HIR) nedir ve ne işe yarar öğrenirsin.

HIR

rustc kodu birkaç ara gösterimden geçirir: metin → belirteçler → AST (makro açılımı, ad çözümleme) → HIR → THIR → MIR → LLVM IR → makine kodu. HIR (High-level IR), AST'nin "şekerleri" (sugar) çözülmüş halidir: for, while let, ? ve async daha temel yapılara indirgenir. Tür denetimi ve trait çözümü HIR üzerinde yapılır.

for x in v { .. }
// HIR'de kabaca:
match IntoIterator::into_iter(v) {
    mut it => loop {
        match Iterator::next(&mut it) {
            Some(x) => { .. }
            None => break,
        }
    },
}

? operatörünün indirgenmesi

? de HIR'de bir match'e dönüşür; From dönüşümü bu adımda eklenir:

let n = s.parse::<i32>()?;
// kabaca:
let n = match s.parse::<i32>() {
    Ok(v) => v,
    Err(e) => return Err(From::from(e)),
};

Bu yüzden şekerli ve indirgenmiş kod aynı makine kodunu üretir; sözdizimi kolaylıklarının çalışma anı maliyeti yoktur.

Uygulama Elle indirgenmiş for

vec![1, 2, 3] vektörünü for kullanmadan, HIR'deki gibi IntoIterator::into_iter, loop ve Iterator::next ile topla ve sonucu yazdır.

Örnek çözümü göster

fn main() {
    let v = vec![1, 2, 3];
    let mut toplam = 0;
    let mut it = IntoIterator::into_iter(v);
    loop {
        match Iterator::next(&mut it) {
            Some(x) => toplam += x,
            None => break,
        }
    }
    println!("{}", toplam);
}

Kendini test et

Bir makronun açılmış halini görmenin en kolay yolu nedir?
- cargo expand (ya da rustc -Zunpretty=expanded)
- cargo build --verbose
- rustfmt
- cargo doc
Cevabı göster

cargo expand (ya da rustc -Zunpretty=expanded) — Makro açılımı AST aşamasında olur; HIR'e gelindiğinde makrolar artık yoktur.

İndirgenmiş döngü

let mut it = IntoIterator::into_iter(v);
loop {
    match Iterator::____(&mut it) {
        Some(x) => toplam += x,
        None => break,
    }
}

Cevabı göster

let mut it = IntoIterator::into_iter(v);
loop {
    match Iterator::next(&mut it) {
        Some(x) => toplam += x,
        None => break,
    }
}

Aşama ve görevi

AST

Makro açılımı
HIR

Tür denetimi
MIR

Ödünç denetimi
LLVM IR

Optimizasyon ve kod üretimi

Sıradaki ders: MIR

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler