选项类型是否小于包装类型加上布尔值？

Question

use std::mem::size_of;

struct Position {
    x: f32,
    y: f32,
    z: f32,
}

struct PoolItem {
    entity_id: u32, // 4 bytes
    used: bool, // 1 bytes + 3 (padding)
    component: Position, // 12 bytes
}


assert_eq!(size_of::<u32>(), 4);
assert_eq!(size_of::<Position>(), 12);
assert_eq!(size_of::<PoolItem>(), 20);

如您所见，这种结构长20个字节。 Position实际上是可选的，取决于used。

使用Option是否将不需要Option字段并将结构大小减小到16？

used

如果是这样，

struct PoolItem {
    entity_id: u32, // 4 bytes
    component: Option<Position>, // 12 bytes ?
}

如何实现这种行为才能起作用？

我对Option的测试似乎表明它无效。为什么？

Answer 1

Playground需要存储状态（Option<Position>或Some）某处

Answer 2

Playground example with tests的精确实现并不重要。显而易见的是，您无法在Option的存储量中存储X的数据量，并且也根本无法存储数据。 X的一个明显实现是存储对象和一个布尔值，指示对象是否存在。显然正在发生类似的事情。 Option是一种便利，它仍然必须将信息存储在某个位置。

Answer 3

如评论中所建议，另一种选择是将Option与Option一起用于NonZeroU32，并依靠NonZeroU32和entity_id来检查是否使用实体。