Czy opcja <T> jest zoptymalizowana do pojedynczego bajtu, gdy pozwala na to T?

Question

Załóżmy, że mamy enum Foo { A, B, C }.

Czy w tym przypadku Option<Foo> jest zoptymalizowany do pojedynczego bajtu?

Dodatkowe pytanie: jeśli tak, jakie są ograniczenia procesu optymalizacji? Wyliczenia mogą być zagnieżdżone i zawierać inne typy. Czy kompilator zawsze jest w stanie obliczyć maksymalną liczbę kombinacji, a następnie wybrać najmniejszą reprezentację?

Answer 1

Kompilator nie jest zbyt inteligentny, jeśli chodzi o optymalizację układu enum s dla miejsca. Biorąc pod uwagę:

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

Jest naprawdę tylko jeden przypadek kompilator uzna:

Option -jak ENUM: jeden wariant przeprowadzania żadnych danych („sygnalnych”), jeden wariant zawierający dokładnie jeden punkt odniesienia. W przypadku użycia ze wskaźnikiem, o którym wiadomo, że nigdy nie ma wartości null (obecnie tylko odniesienia i Box<T>) reprezentacja będzie taka jak pojedynczego wskaźnika, null oznaczający wariant zerowy. W specjalnym przypadku, Weird będzie poddawany takiej samej obróbce, ale wartość pola y będzie używana do określenia, który wariant reprezentuje wartość.

Poza tym istnieje wiele, wiele możliwych optymalizacji, ale kompilator ich jeszcze nie robi. W szczególności Twój przypadek będzie , a nie reprezentowany jako pojedynczy bajt. Dla pojedynczego wyliczenia, nie biorąc pod uwagę zagnieżdżonego przypadku, będzie on reprezentowany jako najmniejsza liczba całkowita, jaką może.