std::optional 是 c++17 引入的类型安全空值 工具 ，要求显式构造、禁止 隐式转换，支持安全访问、移动语义和容器协同，使空值语义清晰且无运行时开销。
std::optional 是 C++17 引入的核心 工具 ，专为“可能有值，也可能没有值”的场景设计，替代裸 指针、哨兵值（如 -1、nullptr）或自定义包装类，让空值语义清晰、类型安全、无运行时开销。
构造与初始化：明确表达“有”或“无”
不能用 optional<int> opt = 0;</int> 隐式构造（会编译失败），必须显式表明意图：
- 有值：
std::optional<int> opt{42};</int>或std::optional<int> opt = std::make_optional(42);</int> - 无值：
std::optional<int> opt{};</int>（默认构造）、std::optional<int> opt = std::nullopt;</int>或直接赋值opt = std::nullopt; - 从函数返回： 函数可自然返回
optional<t></t>，调用方立刻知道结果可能缺失，例如：std::optional<:String> find_name(int id) {return (id == 123) ? "Alice" : std::nullopt; }</:string>
安全访问：不崩溃，不猜测
绝不用 opt.value() 直接取值（它在无值时抛出 std::bad_optional_access）；推荐以下方式：
- 检查后取值：
if (opt) {use(*opt); }——operator bool()判断是否含值，*解引用获取值 - 带默认值取值：
int x = opt.value_or(-1);—— 有值返回值，否则返回给定默认值 - 就地修改（C++20 起支持，但 C++17 可模拟）： 若需在有值时修改，先判空再操作：
if (opt) opt->clear();（对optional<:string></:string>）
与容器和 算法 协同：避免“无效索引”陷阱
常见于查找操作。例如用 std::map 查键：
立即学习“C++ 免费学习笔记（深入）”；
- 传统写法易出错：
auto it = m.find(key); if (it != m.end()) use(it->second); - 现代写法更直白：
std::optional<const std::string> val = [&](const auto& k) -> std::optional<const std::string> {auto it = m.find(k); return (it != m.end()) ? std::optional<const std::string>{it->second} : std::nullopt; }(key); if (val) use(*val);</const></const></const> - 更实用的是 封装 成辅助函数：
template<typename m typename k> auto get_value(const M& m, const K& k) -> std::optional<typename m::mapped_type> {auto it = m.find(k); return (it != m.end()) ? std::optional{it->second} : std::nullopt; }</typename></typename>
移动与赋值：零成本抽象
std::optional 完全支持移动语义，内部值被原地构造 / 析构，无额外 堆分配：
- 可安全返回大 对象：
std::optional<:vector>> load_data() { if (ok) return std::vector<int>(1000000, 42); else return std::nullopt; }</int></:vector> - 赋值自动处理状态切换：
opt = std::move(other_opt);—— 若other_opt有值，移动构造到opt；若为空，则opt也变为空 - 注意：
optional<t></t>要求T可析构、可移动（或可拷贝），且不含deleted 构造函数
它不复杂，但容易忽略“必须显式构造”和“禁止 隐式转换 ”这两条铁律。用好 std::optional，空值不再是 bug 温床，而是 接口 契约的一部分。
