Rust的Option<Vec<T>>为何可优化至24字节？原理与原因解析

我发现Rust里Option<Vec<T>>和Vec<T>的内存占用大小完全一致，这让我很惊讶。测试代码如下：

fn main() {
    println!(
        "u128: {} -> {}",
        std::mem::size_of::<u128>(),
        std::mem::size_of::<Option<u128>>()
    );
    println!(
        "vec: {} -> {}",
        std::mem::size_of::<Vec<u16>>(),
        std::mem::size_of::<Option<Vec<u16>>>()
    );
}

运行结果：

u128: 16 -> 32
vec: 24 -> 24

针对这个现象，我有两个问题，下面逐一解答：

1. Rust如何表示Option<Vec<T>>的None状态？若Vec仅包含两个指针，是否仍能保持该内存布局？ #

这是Rust的**空指针优化（Null Pointer Optimization, NPO）**在起作用：

• 标准Vec<T>由三个8字节字段构成：指向堆内存的指针、容量、长度。对于任何合法的Vec实例，指针永远不会是空的——哪怕是空Vec，它的指针也指向一块特殊的静态空分配内存，而非空指针。
• 空指针这个状态是Vec永远不会用到的，因此Rust直接把空指针映射为Option<Vec<T>>的None，而Some(Vec<T>)就用原Vec的正常内存布局表示。

如果Vec的结构改为仅包含两个指针（比如指针加长度，容量通过其他方式存储），只要这个类型存在一个永远不会被使用的无效状态，Rust依然可以对Option<Vec<T>>做同样的优化——把这个无效状态用来表示None，保持内存占用不变。

2. Rust为何要做此优化？对于Option<u128>，Rust选择占用32字节，为何Option<Vec<T>>不采用类似方案？ #

针对Option<Vec<T>>的优化原因 #

核心是利用类型本身的闲置状态，在不牺牲性能的前提下节省内存：

• Vec天然存在空指针这个未被使用的状态，无需额外分配内存就能区分None和Some，判断None只需要检查指针是否为空，和普通Vec的空判断逻辑几乎一致，没有额外性能开销。
• 如果采用双倍内存方案，完全是浪费内存，还会增加缓存压力，没有任何收益。

为何Option<u128>不能用同样的优化 #

u128这类原始数值类型的所有可能取值都是有效的——16字节空间里的每一个比特组合都对应一个合法的u128值，没有任何“无效”状态可以用来映射None。因此Rust只能通过额外的标记位（或直接翻倍内存）来区分Some(u128)和None，这也是为什么Option<u128>的内存占用是原类型的两倍。

内容的提问来源于stack exchange，提问作者mwlon