Why does an enum require extra memory size?

Question

My understanding is that enum is like union in C and the system will allocate the largest of the data types in the enum.

enum E1 {
    DblVal1(f64),
}

enum E2 {
    DblVal1(f64),
    DblVal2(f64),
    DblVal3(f64),
    DblVal4(f64),
}

fn main() {
    println!("Size is {}", std::mem::size_of::<E1>());
    println!("Size is {}", std::mem::size_of::<E2>());
}

Why does E1 takes up 8 bytes as expected, but E2 takes up 16 bytes?

score 37 · Accepted Answer · answered Dec 05 '14 at 21:32

37

In Rust, unlike in C, enums are tagged unions. That is, the enum knows which value it holds. So 8 bytes wouldn't be enough because there would be no room for the tag.

answered Dec 05 '14 at 21:32

David Schwartz

179,497
17
214
278

11

As for the 8 byte increase: This is simply about memory alignment. Most of this space is not used. It's just padding. – sellibitze Dec 06 '14 at 01:04
17

I will love to see the memory layout of a Rust enum. Anyone knows any article on that? – RajV Dec 08 '14 at 21:26
1

@RajV, added a link to Rustonomicon – Robert Cutajar Feb 17 '19 at 06:18

Shepmaster · Answer 2 · 2019-03-19T14:13:30.647

As a first approximation, you can assume that an enum is the size of the maximum of its variants plus a discriminant value to know which variant it is, rounded up to be efficiently aligned. The alignment depends on the platform.

This isn't always true; some types are "clever" and pack a bit tighter, such as Option<&T>. Your E1 is another example; it doesn't need a discriminant because there's only one possible value.

The actual memory layout of an enum is undefined and is up to the whim of the compiler. If you have an enum with variants that have no values, you can use a repr attribute to specify the total size.

You can also use a union in Rust. These do not have a tag/discriminant value and are the size of the largest variant (perhaps adding alignment as well). In exchange, these are unsafe to read as you can't be statically sure what variant it is.

Why does an enum require extra memory size?

2 Answers2

Linked

Related