Come allineare una struttura a un limite di byte specificato?

Question

Ho bisogno di allineare una struttura a un limite di 16 byte in Rust. Sembra possibile dare suggerimenti sull'allineamento completo del repr attribute, ma non supporta questo caso d'uso esatto.

Un test funzionale di quello che sto cercando di realizzare è un tipo Foo tale che

assert_eq!(mem::align_of::<Foo>(), 16); 

o, in alternativa, una struttura Bar con un campo baz tale che

println!("{:p}", Bar::new().baz); 

stampa sempre un numero divisibile per 16.

È attualmente possibile in Rust? Ci sono dei work-arounds?

Answer 1

Non c'è modo di specificare l'allineamento direttamente al momento, ma è decisamente desiderabile e utile. È coperto da issue #33626 e dal suo RFC issue.

Una corrente work-around per forzare l'allineamento di alcuni struct Foo essere grande come l'allineamento di un certo tipo T è quello di includere un campo di tipo [T; 0] avente dimensioni pari a zero e quindi non altrimenti influenzare il comportamento del struct, ad es struct Foo { data: A, more_data: B, _align: [T; 0] }.

Su notte, questo può essere combinato con tipi SIMD per ottenere uno specifico allineamento elevato, poiché hanno un allineamento uguale alla loro dimensione (beh, la potenza successiva di due), ad es.

#[repr(simd)] 
struct SixteenBytes(u64, u64); 

struct Foo { 
    data: A, 
    more_data: B, 
    _align: [SixteenBytes; 0] 
}