[T; N]

Const parametreli generic türleri öğrenirsin.

[T; N]

Const generic'ler, türleri ve fonksiyonları bir değerle parametreleştirmeyi sağlar. En yaygın kullanımı dizi uzunluğudur: [T; N]'deki N artık generic olabilir:

fn toplam<const N: usize>(a: [i32; N]) -> i32 {
    a.iter().sum()
}

struct Tampon<const N: usize> {
    veri: [u8; N],
}

impl<const N: usize> Tampon<N> {
    fn new() -> Self {
        Self { veri: [0; N] }
    }
}

toplam([1, 2, 3]) çağrısında N = 3 çıkarılır. Her farklı N için ayrı bir kopya derlenir (monomorfizasyon).

Değer türün parçasıdır

Tampon<4> ve Tampon<8> farklı türlerdir; birinin beklendiği yere diğeri verilemez. Boyut derleme anında bilindiği için heap ayırması gerekmez ve sınır denetimleri çoğu zaman tamamen kaldırılır:

let a: Tampon<4> = Tampon::new();
let b = Tampon::<8>::new();
println!("{} {}", a.veri.len(), b.veri.len());   // 4 8

Matrisler, sabit boyutlu tamponlar, ağ protokol çerçeveleri ve kriptografi blokları tipik kullanım alanlarıdır.

Uygulama Sabit boyutlu diziler

Yukarıdaki toplam fonksiyonunu ve Tampon<const N: usize> türünü yaz. toplam([1, 2, 3]), toplam([10; 4]) ve Tampon::<8>::new().veri.len() sonuçlarını boşlukla yazdır.

Örnek çözümü göster

fn toplam<const N: usize>(a: [i32; N]) -> i32 {
    a.iter().sum()
}

struct Tampon<const N: usize> {
    veri: [u8; N],
}

impl<const N: usize> Tampon<N> {
    fn new() -> Self {
        Self { veri: [0; N] }
    }
}

fn main() {
    println!("{} {} {}", toplam([1, 2, 3]), toplam([10; 4]), Tampon::<8>::new().veri.len());
}

Kendini test et

Const generic'ler gelmeden önce diziler için trait uygulamaları nasıl yazılırdı?
- Yazılamazdı
- Vec'e çevirerek
- Makrolarla 0..=32 arası her uzunluk için ayrı ayrı
- Tek bir uygulamayla
Cevabı göster

Makrolarla 0..=32 arası her uzunluk için ayrı ayrı — Bu yüzden eski Rust'ta 33 elemanlı bir dizi Debug yazdıramıyordu; const generic'ler bu sınırı kaldırdı.

Değer parametresi

fn toplam<____>(a: [i32; N]) -> i32 {
    a.iter().sum()
}

Cevabı göster

fn toplam<const N: usize>(a: [i32; N]) -> i32 {
    a.iter().sum()
}

Çağrı ve N

toplam([1, 2, 3])

N = 3
toplam([10; 4])

N = 4
Tampon::<8>::new()

N = 8
toplam([])

N = 0

Sıradaki ders: const fn

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler