std::optional是纯栈上对象，内部用固定大小缓冲区存放T，不进行动态分配；其内存布局包含值存在标记和对齐填充，大小在编译期确定，与T是否构造无关。
std::optional 的内存布局不涉及动态分配
绝大多数情况下，std::optional 是纯栈上对象，内部用一块固定大小的 unsigned char 缓冲区（通过 aligned_storage 或类似机制）存放被包装类型的实例。它**不会 new 任何东西**，哪怕你构造一个 std::optional<:vector>></:vector>，那个 std::vector 自身可能在堆上分配数据，但 std::optional 对象本身仍是栈内存 —— 它只管“有没有值”，不管值内部怎么分配。
常见误解是认为 std::optional<t></t> 会为 T 分配堆内存；实际它只是“预留空间 + 构造标记”。是否触发 T 的堆分配，完全取决于 T 自己的构造行为。
原位构造（in-place construction）和赋值的区别很关键
调用 std::optional<t>(std::in_place, ...)</t> 是直接在内部缓冲区上调用 T 的构造函数，没有中间临时对象、没有拷贝/移动 —— 这是最高效的方式。而用 = T{...} 或 .emplace(...) 后续再赋值，可能引入额外开销：
-
opt = T{1, 2, 3}：先构造临时T，再 move-assign 给opt内部存储（如果T移动代价大，就浪费） -
opt.emplace(1, 2, 3)：等价于in_place构造，但仅当opt已有值时，会先析构旧值再就地构造新值 -
opt.reset(); opt.emplace(...)多此一举 ——emplace本身就会处理已有值的清理
析构时机由 optional 对象生命周期决定
std::optional 中的值，其生存期严格绑定于该 std::optional 对象本身：只要 opt 还在作用域内且未被 move-out，里面的 T 就一直活着；一旦 opt 被销毁，它内部的 T（如果存在）也会被自动析构 —— 不需要手动干预，也不依赖 T 是否含指针。
立即学习“C++免费学习笔记（深入）”；
注意两个易错点：
- 若
opt是局部变量，返回前未调用.has_value()就直接 return，可能造成静默丢失（尤其配合std::move(*opt)时） - 若
opt是类成员，且类被 move 构造/赋值，std::optional的 move 行为取决于T是否可移动：若T不可移动，则std::optional<t></t>也不可移动，此时 move 操作会编译失败
sizeof(std::optional) 总是大于 sizeof(T)，但增长是固定的
因为要存一个布尔标记（是否含值）+ 对齐填充，sizeof(std::optional<t>)</t> 通常是 sizeof(T) + 1 向上对齐到 alignof(T) 的结果。例如：
static_assert(sizeof(std::optional<int>) == 8); // 通常：4（int）+ 4（对齐+标志） static_assert(sizeof(std::optional<std::string>) == 32); // 常见实现中 std::string 是 24 字节，加 8 字节对齐
这个大小在编译期就确定了，和 T 是否“胖”无关，也和 T 实际是否被构造无关 —— 缓冲区始终存在。所以别指望用 std::optional 节省内存，它本质是“空间换明确语义”。
真正容易被忽略的是：当你把 std::optional 放进容器（如 std::vector<:optional>></:optional>），每个元素都占固定大小，哪怕全为空 —— 这和 std::vector<:unique_ptr>></:unique_ptr> 的稀疏布局完全不同。
