L'opzione <T> è ottimizzata su un singolo byte quando T lo consente?

Question

Supponiamo di avere un enum Foo { A, B, C }.

È un Option<Foo> ottimizzato su un singolo byte in questo caso?

Domanda bonus: se sì, quali sono i limiti del processo di ottimizzazione? Le enumerazioni possono essere annidate e contenere altri tipi. Il compilatore è sempre in grado di calcolare il numero massimo di combinazioni e quindi scegliere la rappresentazione più piccola?

Answer 1

Il compilatore non è molto intelligente quando si tratta di ottimizzare il layout di enum s per lo spazio. Dato:

enum Option<T> { None, Some(T) } 
enum Weird<T> { Nil, NotNil { x: int, y: T } } 
enum Foo { A, B, C } 

c'è davvero solo caso il compilatore considera:

Un Option -come enum: variante uno trasporta dati ("nullaria"), una variante contenente esattamente un dato. Se utilizzato con un puntatore noto per non essere mai nullo (attualmente, solo riferimenti e Box<T>) la rappresentazione sarà quella di un singolo puntatore, null che indica la variante nulla. Come caso speciale, lo Weird riceverà lo stesso trattamento, ma il valore del campo verrà utilizzato per determinare quale variante rappresenta il valore.

Oltre a questo, sono disponibili molte, molte ottimizzazioni possibili, ma il compilatore non le esegue ancora. In particolare, il tuo caso sarà non rappresentato come un singolo byte. Per un singolo enum, non considerando il caso annidato, lo sarà rappresentato come il più piccolo numero intero possibile da.