一个"看似简单"的问题

在最近一次 Rust Q&A 直播中，有人提了一个看起来很简单的问题：

痛点：为什么相似功能的数据结构会有不同的内存使用？

这个问题表面上是在问两个库的设计。但要真正理解它，需要从 Rust enum 的内存模型讲起。这篇文章就是这条探索之路的完整记录。

SmartString 和 String，谁更省内存？

痛点：看起来功能不同却占用相同内存空间？这是怎么回事，

先来看让人困惑的现象。以 smartstring crate 为例：

use smartstring::{Compact,SmartString};说起来，use std::mem::size_of_val;fn main {
let smart = SmartString::::from;dbg，);
let stand = String::from;
dbg，);
}

 size_of_val = size_of_val = 

关键发现：两者都是 24字节！但为什么行为完全不同，

栈 vs 堆模式对比测试

如何验证它们实际使用哪种模式？直接打印指针地址，

let smart = SmartString::::from;let smartmeta = &smart as *const _;let smartdata = &smart.as_bytes as *const _;dbg，);

再看输出结果， = // 元数据和数据几乎相邻 = // 元数据和数据地址相差甚远

let longinput = "Turns out you can blame your tools *and* be a good craftsperson. Who knew?"，话说回来，let longsmart = SmartString::::from;// 输出: // 注意这里都在堆上了！

"枚举不仅仅是标签列表——它可以携带实际数据！"

rust enum UserID { Number,// 携带整数ID Text。// 携带文本ID }

痛点： C语言版本存在致命缺陷： 1. 没有编译期保护，可以随意写错 kind 值而不被检测到 2. 初始化不当会导致安全漏洞