std::optional 应用于需显式表达“值可能不存在”的场景，避免魔法值和额外布尔标记；使用时须检查存在性，优先用 value_or() 和 operator bool，禁用未检查的 *opt 或 value()。
std::optional 该不该用，先看它解决什么问题
C++17 引入 std::optional 的核心目的，是让“值可能不存在”这件事变成类型系统的一部分，而不是靠魔法值（比如 -1、nullptr、std::string{}）或额外的布尔标记来隐式表达。它不是万能空值替代品——比如你本就用 std::shared_ptr 管理动态对象，就没必要套一层 std::optional<:shared_ptr>></:shared_ptr>。
常见错误现象：
- 把
std::optional<int></int>当成“可空 int”，却在未检查has_value()就调用*opt或opt.value()，触发未定义行为 - 在函数返回
std::optional<t></t>后，用if (opt)判断，但忘记处理opt.value()可能抛异常的情况（当T的拷贝/移动构造抛异常时，value()可能 throw）
使用场景明确包括：
- 函数查找失败时，不希望返回哨兵值（如容器
find返回迭代器，但你想返回实际元素值） - 配置项解析：某个字段在 JSON 中可选，解析后自然对应
std::optional<:string></:string> - 构造函数参数中某些字段非必需，且不能默认初始化为“无效语义”
怎么安全地取值：别只记得 value()，优先用 value_or() 和 operator bool
std::optional 提供了三种主流取值路径，适用条件不同：
立即学习“C++免费学习笔记（深入）”；
-
if (opt) { use(*opt); }：最轻量，仅做存在性判断，不触发拷贝或移动；适合后续逻辑复杂、且你确定不会在 else 分支里需要“默认值” -
opt.value_or(default_value)：推荐用于有合理默认语义的场景，比如配置项缺失时用"localhost"；注意default_value是右值时会移动，左值则拷贝 -
opt.value()：仅当你必须区分“没值”和“值等于默认值”，且愿意承担异常风险时才用（它在无值时抛std::bad_optional_access）
容易踩的坑：
-
opt.value_or(some_expensive_function())：即使opt有值，some_expensive_function()也会先执行——应改用opt ? *opt : some_expensive_function() - 对
std::optional<:vector>></:vector>调用value()，若内部 vector 移动构造失败，会抛异常；而value_or({})更安全，因为{}是常量表达式，不抛
哪些类型不能放进 std::optional？编译期就会报错
std::optional 要求其模板参数 T 满足若干约束，最常撞墙的是：
-
T必须是可析构的（std::is_destructible_v<t></t>） -
T必须是可移动构造的（否则无法在内部存储/释放） -
T不能是引用类型、数组类型、const限定类型（比如std::optional<const int></const>不合法）
典型报错信息：
error: static_assert failed due to requirement 'std::is_move_constructible_v<const int>'</const>
常见误用：
-
std::optional<int></int>：不行，引用不能作为 optional 的值类型；应改用std::optional<:reference_wrapper>></:reference_wrapper>或直接传指针 -
std::optional<void></void>：语法错误，void不是完整类型 -
std::optional<:array>></:array>：可以，但要注意大数组会增大 optional 对象体积（它内部是 union + 构造标志位），可能影响缓存局部性
性能与 ABI 兼容性：别把它当零成本抽象
std::optional<t></t> 的大小通常是 sizeof(T) + 1（一个字节存 has_value 标志），但对齐可能让实际占用更大。例如：
-
std::optional<int></int>通常是 8 字节（x64 上int占 4 字节，但按 4 字节对齐，加 1 字节标志后补齐到 8） -
std::optional<:string></:string>大小 ≈sizeof(std::string)，因为std::string通常已含内部标志位，部分实现会复用其第一个字节
ABI 影响：
- C++17 之前没有
std::optional，跨版本链接时若头文件暴露了 optional 类型（比如作为 DLL 导出函数返回值），必须确保所有模块用同一标准库实现和编译器版本 - 若你在结构体里嵌入
std::optional<t></t>，且该结构体要写入文件或网络传输，不能直接 memcpy——因为内部布局未标准化，且可能存在填充字节
容易被忽略的地方：
-
std::optional的移动构造/赋值，对T是平凡类型（trivially copyable）时，底层可能只是 memcpy；但对非平凡类型（如std::string），会调用其移动构造函数——这会影响性能敏感路径 - 它不提供线程安全的读写：多个线程同时调用
opt = T{}和if (opt) {...}是未定义行为，需自行加锁或用原子 optional（C++23 才有std::atomic<:optional>></:optional>）
