Macros (101): println! ve Diğer Makroların Arkasındaki Sır

1. Neden Makro Kullanırız? (Fonksiyonlardan Farkı)​

1. Değişken Sayıda Argüman: Bir fonksiyonun parametre sayısı sabittir, ancak println! içine istediğiniz kadar değişken atabilirsiniz.
2. Meta-programlama: Makrolar, derleme aşamasında tip tanımlarını okuyabilir ve otomatik olarak impl blokları (örneğin #[derive(Debug)]) oluşturabilir.
3. Performans: Makrolar derleme zamanında "açılır" (expand), bu yüzden çalışma zamanında (runtime) bir fonksiyon çağrısı maliyeti getirmezler.

2. Makro Türleri​

A. Bildirimsel Makrolar (Declarative Macros)​

macro_rules! selamla {
    // Hiç argüman verilmezse
    () => {
        println!("Merhaba!");
    };
    // Bir isim verilirse
    ($isim:expr) => {
        println!("Merhaba, {}!", $isim);
    };
}

fn main() {
    selamla!();          // Çıktı: Merhaba!
    selamla!("Dünya");    // Çıktı: Merhaba, Dünya!
}

B. Prosedürel Makrolar (Procedural Macros)​

• Derive Makroları: #[derive(Serialize)] gibi, bir struct üzerine otomatik özellik ekler.
• Attribute-like: #[tokio::main] gibi, fonksiyonların davranışını değiştirir.
• Function-like: sqlx::query!(...) gibi, fonksiyon gibi çağrılır ama içinde karmaşık mantıklar (örneğin SQL kontrolü) çalıştırır.

3. println! Makrosunun Sırrı​

1. Eğer {} sayısı ile argümanlar uyuşmuyorsa derleme hatası verir.
2. Argümanların Display veya Debug trait'ine sahip olup olmadığını kontrol eder.
3. Arka planda std::io::stdout() yazma işlemlerini sizin yerinize optimize ederek kodunuzu genişletir.

4. Makro Yazarken Dikkat Edilmesi Gerekenler​

• Okunabilirlik: Makrolar kodun ne yaptığını gizleyebilir, bu yüzden sadece fonksiyonların yetmediği yerde kullanılmalıdır.
• Hata Ayıklama: Makro içindeki hataları bulmak zordur. cargo expand komutunu kullanarak makroların arkasında üretilen asıl kodu görebilirsiniz.

Özet Tablo​