Özet - Bellek düzeni

repr, alignment ve ZST'yi birleştirerek bir bellek analizi yazarsın.

Bellek düzeni özeti

Varsayılan düzen derleyiciye alanları yeniden sıralama özgürlüğü verir; repr(C) sırayı ve C uyumunu garanti eder, repr(transparent) sarmalayıcıyı içteki türle aynı yapar, repr(u8) enum ayırt edicisini sabitler. Hizalama, değerin hangi adreslerde durabileceğini belirler ve boşluk (padding) üretir. ZST'ler hiç yer kaplamaz; niche optimizasyonu Option gibi enum'ların ek bayt kullanmamasını sağlar. Düzene güvenen kod her zaman açık bir repr kullanmalıdır.

Elle yeniden sıralama

repr(C) gerektiğinde boşluğu programcı azaltır. Kural: alanları hizalamaya göre büyükten küçüğe diz:

#[repr(C)]
struct Kotu { a: u8, b: u64, c: u8 }   // 24

#[repr(C)]
struct Iyi { b: u64, a: u8, c: u8 }    // 16: 8 + 1 + 1 + 6 boşluk

Clippy'nin clippy::pedantic grubu ve cargo +nightly rustc -- -Zprint-type-sizes, büyük boşlukları bulmaya yardım eder.

Uygulama Boşluğu azalt

Yukarıdaki #[repr(C)] struct Kotu ve #[repr(C)] struct Iyi türlerini yaz. İkisinin size_of değerini boşlukla yazdır.

Örnek çözümü göster

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

#[repr(C)]
struct Kotu {
    a: u8,
    b: u64,
    c: u8,
}

#[repr(C)]
struct Iyi {
    b: u64,
    a: u8,
    c: u8,
}

fn main() {
    println!("{} {}", size_of::<Kotu>(), size_of::<Iyi>());
}

Kendini test et

<code>#[repr(C)] struct { a: u8, b: u64, c: u8 }</code> neden 24 bayttır?
- Hata
- 16 bayttır
- a sonrası 7, c sonrası 7 bayt boşluk: 1 + 7 + 8 + 1 + 7
- Alanlar 8'er bayttır
Cevabı göster

a sonrası 7, c sonrası 7 bayt boşluk: 1 + 7 + 8 + 1 + 7 — b 8'e hizalı olmalı, toplam boyut da 8'in katı olmalı. Alanları b, a, c sırasıyla yazmak 16 bayta indirir.

Büyükten küçüğe

#[repr(C)]
struct Iyi {
    ____,
    a: u8,
    c: u8,
}

Cevabı göster

#[repr(C)]
struct Iyi {
    b: u64,
    a: u8,
    c: u8,
}

Grubun özeti

repr(Rust)

Serbest sıralama
repr(C)

Korunan sıra
ZST

Sıfır bayt
Niche

Ücretsiz Option

Sıradaki ders: Abstraction maliyeti

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler