std::optional 在 C++17 中应优先用 value_or() 安全取值，避免 value() 抛异常；不可存储引用或数组；需确保编译器支持 C++17 且类型 T 为可移动的完整对象类型。
std::optional 在 C++17 中怎么安全接住可能为空的返回值
直接用 std::optional 替代裸指针或哨兵值（比如 -1、nullptr），前提是编译器支持 C++17 且没关掉 std::optional 的定义（某些旧版 libc++ 或 MinGW 需手动启用）。
典型场景是函数本不该抛异常，又不能返回非法值来表示“无结果”——比如查哈希表没命中、解析字符串失败、IO 读取提前 EOF。这时候返回 std::optional<t></t> 比返回 T* 或 std::pair<bool t></bool> 更清晰、更难误用。
- 必须显式检查是否有值：调用
has_value()或用if (opt)（隐式转换为 bool） - 取值必须用
value()（抛异常）或value_or(default_val)（推荐） - 别对空的
std::optional解引用：*opt是未定义行为，不是空指针检查
std::optional::value() 和 value_or() 到底该选哪个
value() 在空时抛 std::bad_optional_access，适合你确定“这里绝不可能为空”的断言场景；value_or() 更实用，它不抛异常，直接回退到默认值，语义明确、性能稳定。
比如解析配置项：auto port = config.get_int("port").value_or(8080); —— 这比先 if (opt.has_value()) 再取值少写三行，也避免漏判。
立即学习“C++免费学习笔记（深入）”；
- 用
value_or()时注意默认值类型要和T可隐式转换，否则编译失败 -
value()不做类型转换，只原样返回内部存储的T对象 - 如果默认值构造代价高（比如大对象），用
value_or(T{})会强制构造，此时改用has_value() ? opt.value() : expensive_default()
为什么 std::optional 不能装引用或数组
std::optional 要求类型 T 是可移动构造、可析构的完整类型。T& 不是对象，不能被存储；T[N] 数组名是右值，也不能直接存——这些都会导致编译错误，例如：std::optional<int></int> 报错 static_assert failed: "T must be an object type"。
- 想“可选引用”，用
std::optional<:reference_wrapper>></:reference_wrapper>，但得确保被引用对象生命周期长于 optional - 想“可选数组”，转成
std::array或std::vector，它们是对象类型 - 别试图用
std::optional<const char></const>存字面量地址——它合法，但容易因字符串常量生命周期没问题而掩盖内存管理问题
和 boost::optional 或自定义 Maybe 类比时要注意什么
标准 std::optional 行为更严格：它禁止拷贝空 optional（std::optional<int> a; auto b = a;</int> 是合法的，但 b 也是空）；而某些老库允许“未初始化”状态，导致 has_value() 返回 false 却无法安全析构。
兼容性上，C++17 是硬门槛；若项目还卡在 C++14，别强上 std::optional，用 boost::optional 更稳，但得接受额外依赖和头文件膨胀。
- Clang 5+、GCC 7+、MSVC 2017 15.3+ 原生支持，但 MSVC 默认可能禁用，需确认
/std:c++17 - 移动语义是关键：
std::optional的operator=对非 trivial 类型会调用移动赋值，别假设它是位拷贝 - 调试时注意：GDB/Lldb 对
std::optional的显示支持参差不齐，有时得手动看val._M_payload._M_value（实现相关）
最常被忽略的是隐式转换陷阱：从 T 构造 std::optional<t></t> 是隐式的（func(std::optional<int>{42})</int> 合法），但反过来不行；传参时若函数重载了 T 和 std::optional<t></t>，容易意外走错分支。
