Türler

$ty:ty gibi tür parametreleriyle makro yazarsın.

Türler

Fragman türü, makronun hangi kod parçasını beklediğini söyler:

$x:expr     // ifade: 1 + 2, f(x)
$x:ident    // tanımlayıcı: ad, Kutu
$x:ty       // tür: u32, Vec<String>
$x:pat      // kalıp: Some(_), 1..=5
$x:block    // blok: { .. }
$x:item     // öğe: fn, struct, impl
$x:literal  // sabit: 42, "metin"
$x:tt       // tek bir belirteç ağacı (her şey)

ident ve ty, makroların fonksiyon ve tür tanımı üretebilmesini sağlar; fonksiyonlarla bu imkânsızdır.

Öğe üreten makro

Tekrarlayan tanımları tek satıra indirmek için:

macro_rules! sabit_fn {
    ($ad:ident, $tur:ty, $deger:expr) => {
        fn $ad() -> $tur {
            $deger
        }
    };
}

sabit_fn!(surum, &'static str, "1.0");
sabit_fn!(port, u16, 8080);
println!("{} {}", surum(), port());

Standart kütüphane, sayı türlerinin onlarca trait uygulamasını bu tür makrolarla üretir.

Uygulama Fonksiyon üreten makro

Yukarıdaki sabit_fn! makrosunu yaz ve surum (&'static str, "1.0") ile port (u16, 8080) fonksiyonlarını üret. İki fonksiyonun sonucunu boşlukla yazdır.

Örnek çözümü göster

macro_rules! sabit_fn {
    ($ad:ident, $tur:ty, $deger:expr) => {
        fn $ad() -> $tur {
            $deger
        }
    };
}

sabit_fn!(surum, &'static str, "1.0");
sabit_fn!(port, u16, 8080);

fn main() {
    println!("{} {}", surum(), port());
}

Kendini test et

Bir makronun yeni bir fonksiyon adı üretebilmesi için hangi fragman gerekir?
- literal
- ident
- expr
- ty
Cevabı göster

ident — $ad:ident ile alınan ad, gövdede fn $ad() biçiminde kullanılır.

Tür fragmanı

macro_rules! sabit_fn {
    ($ad:ident, $tur:____, $deger:expr) => {
        fn $ad() -> $tur { $deger }
    };
}

Cevabı göster

macro_rules! sabit_fn {
    ($ad:ident, $tur:ty, $deger:expr) => {
        fn $ad() -> $tur { $deger }
    };
}

Fragman ve örnek

ident

surum
ty

&'static str
expr

"1.0"
pat

Some(_)

Sıradaki ders: Makro hygieni

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler