Rust中含None的Option数组是否占用内存？附C++等效实现问询

核心问题解答 #

1. [Option<MyStruct>; 5]中None元素的内存占用

对于你给出的Rust代码，每个Option<MyStruct>元素（无论Some还是None）都会占用完整的内存空间。

原因是：MyStruct是普通结构体，没有天然的"空值"标识（不像指针类型可以用0作为空标记），因此Option<MyStruct>需要额外的枚举标签位来区分Some和None。整个Option<MyStruct>的大小是MyStruct的大小（12字节）加上标签位的大小（通常1字节，再对齐到MyStruct的对齐边界，最终总大小为16字节）。

即使元素是None，对应的内存空间依然被占用——只是MyStruct对应的那部分内存处于未初始化状态，不会存储有效数据，但不会节省这部分内存。

2. 等效于C++指针数组的Rust实现

你给出的C++代码本质是存储堆分配对象的指针数组，仅在需要时分配堆内存，空元素用空指针表示。在Rust中，对应的实现是使用Box<T>（堆分配智能指针）结合Option，利用Rust的空指针优化特性：

fn main() {
    let mut my_array: [Option<Box<MyStruct>>; 5] = [None, None, None, None, None];
    // 仅在需要时分配堆内存
    my_array[2] = Some(Box::new(MyStruct { field1: 1, field2: 2, field3: 3 }));
}

struct MyStruct {
    field1: i32,
    field2: i32,
    field3: i32,
}

• Box<MyStruct>是指向堆上MyStruct的智能指针，Option<Box<MyStruct>>会被Rust编译器优化为直接用空指针表示None，不需要额外的标签位，因此每个数组元素的大小等于一个指针的大小（64位系统为8字节）。
• 只有当元素是Some(Box<MyStruct>)时，才会在堆上分配MyStruct的12字节内存；None元素仅占用一个空指针的空间，不会分配堆内存，完全等效于C++代码的逻辑。

内容的提问来源于stack exchange，提问作者Lucas Paixão