Why does an enum require extra memory size?

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.


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.

See also:

  • How to specify the representation type for an enum in Rust to interface with C++?
  • Why does Nil increase one enum size but not another? How is memory allocated for Rust enums?
  • What is the overhead of Rust's Option type?
  • Can I use the "null pointer optimization" for my own non-pointer types?
  • Why does Rust not have unions?

Tags:

Rust