TokenStream

TokenStream ile akış halinde kod üretirsin.

TokenStream

TokenStream, kaynak kodun derleyicinin gördüğü biçimdir: bir belirteç ağaçları (token tree) dizisi. Dört tür belirteç vardır: Ident (ad, anahtar kelime), Punct (:, +, ->), Literal (42, "metin") ve Group (parantez, köşeli ya da süslü parantez içindeki alt dizi):

fn kare(x: i32)
// Ident(fn) Ident(kare) Group(( Ident(x) Punct(:) Ident(i32) ))

Boşluklar ve yorumlar belirteç değildir; makro onları görmez.

Küçük bir belirteçleyici

Derleyicinin ilk adımı metni belirteçlere ayırmaktır. Basit bir sürümü: harf, rakam ve alt çizgiden oluşan dizileri birleştir, diğer işaretleri tek tek ayır, boşlukları atla:

fn belirtecler(s: &str) -> Vec<String> {
    let mut sonuc = Vec::new();
    let mut ad = String::new();
    for c in s.chars() {
        if c.is_alphanumeric() || c == '_' {
            ad.push(c);
            continue;
        }
        if !ad.is_empty() {
            sonuc.push(std::mem::take(&mut ad));
        }
        if !c.is_whitespace() {
            sonuc.push(c.to_string());
        }
    }
    if !ad.is_empty() {
        sonuc.push(ad);
    }
    sonuc
}

Uygulama Belirteçlere ayır

Yukarıdaki belirtecler fonksiyonunu yaz. "fn kare(x: i32)" için sonucu {:?} ile yazdır.

Örnek çözümü göster

fn belirtecler(s: &str) -> Vec<String> {
    let mut sonuc = Vec::new();
    let mut ad = String::new();
    for c in s.chars() {
        if c.is_alphanumeric() || c == '_' {
            ad.push(c);
            continue;
        }
        if !ad.is_empty() {
            sonuc.push(std::mem::take(&mut ad));
        }
        if !c.is_whitespace() {
            sonuc.push(c.to_string());
        }
    }
    if !ad.is_empty() {
        sonuc.push(ad);
    }
    sonuc
}

fn main() {
    println!("{:?}", belirtecler("fn kare(x: i32)"));
}

Kendini test et

Bildirimsel makrolardaki <code>$x:tt</code> neyi eşler?
- Bir tür
- Bir ifade
- Bir satır
- Tek bir belirteç ağacı: bir belirteç ya da parantezli bir grup
Cevabı göster

Tek bir belirteç ağacı: bir belirteç ya da parantezli bir grup — tt en esnek fragmandır; $($t:tt)* ile her şeyi olduğu gibi aktarmak mümkündür.

Değeri al ve boşalt

sonuc.push(std::mem::____(&mut ad));

Cevabı göster

sonuc.push(std::mem::take(&mut ad));

Belirteç ve türü

kare

Ident
:

Punct
42

Literal
( x: i32 )

Group

Sıradaki ders: Özet - Prosedürel makrolar

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler