ZST

Zero-sized type (ZST) kullanımını ve avantajlarını öğrenirsin.

ZST

Sıfır boyutlu türler (zero-sized types) hiç bellek kaplamaz: (), alansız struct'lar, [T; 0] ve PhantomData<T>. Derleyici onları tamamen siler; Vec<()> hiç ayırma yapmaz, HashMap<K, ()> ise bir HashSet'ten fazla yer tutmaz:

size_of::<()>()                    // 0
size_of::<PhantomData<u64>>()      // 0
let v: Vec<()> = vec![(); 1_000_000];   // bellek ayırmaz

ZST'ler tür düzeyinde bilgi taşımak için idealdir: işaretçi türler, durum makineleri (typestate), birim sistemleri.

Birim güvenliği

Sıfır maliyetli birim etiketleri, aynı sayıyı taşıyan ama birbirine karıştırılmaması gereken değerleri ayırır:

use std::marker::PhantomData;

struct Metre;
struct Saniye;

struct Olcu<B> {
    deger: f64,
    _birim: PhantomData<B>,
}

fn yol(m: Olcu<Metre>) -> f64 { m.deger }
// yol(Olcu::<Saniye> { .. })   // hata: birim uyuşmuyor

Olcu<Metre> bellekte yalnızca bir f64'tür.

Uygulama Sıfır boyutlu türler

Yukarıdaki Olcu<B> türünü ve Metre birimini yaz. size_of::<()>(), size_of::<PhantomData<u64>>() ve size_of::<Olcu<Metre>>() değerlerini boşlukla yazdır.

Örnek çözümü göster

#![allow(dead_code)]
use std::marker::PhantomData;
use std::mem::size_of;

struct Metre;

struct Olcu<B> {
    deger: f64,
    _birim: PhantomData<B>,
}

fn main() {
    println!("{} {} {}", size_of::<()>(), size_of::<PhantomData<u64>>(), size_of::<Olcu<Metre>>());
}

Kendini test et

<code>PhantomData<T></code> neden gerekir?
- Kullanılmayan tür parametresini derleyiciye "bu türe sahibim/ona bağlıyım" diye bildirmek için
- Bellek ayırmak için
- Hız için
- Gerekmez
Cevabı göster

Kullanılmayan tür parametresini derleyiciye "bu türe sahibim/ona bağlıyım" diye bildirmek için — Kullanılmayan tür parametresi derleme hatasıdır (E0392); PhantomData ayrıca drop denetimi ve varyans için doğru bilgiyi verir.

Hayalet tür

struct Olcu<B> {
    deger: f64,
    _birim: ____<B>,
}

Cevabı göster

struct Olcu<B> {
    deger: f64,
    _birim: PhantomData<B>,
}

Tür ve boyutu

()

0
PhantomData<u64>

0 bayt
Olcu<Metre>

8
[u8; 0]

Sıfır (dizi)

Sıradaki ders: Niche optimization

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler