std::optional 用于表达值可能存在或不存在的类型系统空值语义，而非替代指针的 nullptr；它适用于非指针类型的可选值场景，如配置项或传感器读数，不适用于资源管理。
std::optional 不是用来替代 nullptr 的
两者解决的问题根本不同：std::optional 表达「值可能存在，也可能不存在」，是类型系统层面的空值语义；而 nullptr 是指针的空状态，只对指针有意义，且不携带类型信息。混用会引发语义混乱——比如把 std::optional<int></int> 和 int* 当作等价空值容器，实际行为和生命周期管理完全不同。
常见错误现象：
– 试图对 std::optional<int></int> 解引用（opt.value()）而不检查是否 has_value()，抛出 std::bad_optional_access
– 把 nullptr 直接赋给 std::optional<t></t>，误以为等同于“空指针可选”，但其实它表示“这个指针值本身可能未设置”，不是“指针指向空”
什么时候该用 std::optional 而不是 T*
核心判断依据：你是否需要表达「一个非指针类型的值可能缺失」。例如函数返回值、结构体字段、配置项。
- 适合
std::optional<:string></:string>：配置文件中某个字段可选，读取失败时自然为空，无需堆分配或手动管理内存 - 适合
std::optional<double></double>：传感器读数可能超时丢失，用std::nullopt显式表示“无有效数值” - 不适合用
std::optional<t></t>替代裸指针：如果本意是“可能不指向任何对象”，直接用T*更轻量；若还需区分“指针未初始化”和“指针明确置空”，才考虑std::optional<t></t>，但极少见
std::optional 的开销与移动语义陷阱
std::optional<t></t> 在栈上持有 T 的完整存储空间（加上 1 字节 tag），大小至少为 sizeof(T) + 1；而 T* 固定是 8 字节（64 位）。对小类型（如 int）影响不大，但对大结构体要警惕内存占用和缓存效率。
立即学习“C++免费学习笔记（深入）”；
将 WCAG 2 AA 无障碍标准应用于设计系统、UI 组件和网页——通过可运行的验证器进行对比度计算，采用设计 token 模式使颜色天生可访问，设定排版和焦点状态规则，并提供语义检查清单。适用于构建或审查 UI。
更隐蔽的问题是移动后状态：调用 std::move(opt) 后，原 opt 是否清空取决于 T 的移动语义。若 T 移动后处于有效但未指定状态（如 std::vector），opt 仍为 has_value() == true，但内部值不可预测——必须显式重置：opt = std::nullopt;
nullptr 无法表达 optional 所需的三态逻辑
nullptr 只能表达“空”，而 std::optional 天然支持三态：有值、无值、未初始化（仅限某些构造场景）。典型例子是函数参数：
void process(std::optional<int> val) {
if (val.has_value()) {
// 使用 *val 或 val.value()
} else {
// 明确知道调用方未提供该参数
}
}而用 const int* val 就无法区分「调用方传了 &x」、「传了 nullptr」、「根本没传这个参数」（C++ 不支持省略参数名），接口语义模糊。此外，std::optional 支持值语义拷贝/赋值，nullptr 关联的是指针语义，容易在所有权传递中出错。
真正容易被忽略的点：很多开发者把 std::optional 当作“安全指针”来用，却忘了它不管理动态内存——它包装的是值，不是资源。需要资源管理时，该用 std::unique_ptr 或 std::shared_ptr，而不是硬套 std::optional<:unique_ptr>></:unique_ptr>。
