std::optional是C++17引入的类型安全空值工具，要求显式构造、禁止隐式转换，支持安全访问、移动语义和容器协同，使空值语义清晰且无运行时开销。
std::optional 是 C++17 引入的核心工具，专为“可能有值，也可能没有值”的场景设计，替代裸指针、哨兵值（如 -1、nullptr）或自定义包装类，让空值语义清晰、类型安全、无运行时开销。
构造与初始化：明确表达“有”或“无”
不能用 optional<int> opt = 0; 隐式构造（会编译失败），必须显式表明意图：
-
有值：
std::optional<int> opt{42};或std::optional<int> opt = std::make_optional(42); -
无值：
std::optional<int> opt{};（默认构造）、std::optional<int> opt = std::nullopt;或直接赋值opt = std::nullopt; -
从函数返回： 函数可自然返回
optional<T>，调用方立刻知道结果可能缺失，例如：std::optional<std::string> find_name(int id) { return (id == 123) ? "Alice" : std::nullopt; }
安全访问：不崩溃，不猜测
绝不用 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<std::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); - 更实用的是封装成辅助函数：
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; }
移动与赋值：零成本抽象
std::optional 完全支持移动语义，内部值被原地构造/析构，无额外堆分配：
- 可安全返回大对象：
std::optional<std::vector<int>> load_data() { if (ok) return std::vector<int>(1000000, 42); else return std::nullopt; } - 赋值自动处理状态切换：
opt = std::move(other_opt);—— 若other_opt有值，移动构造到opt；若为空，则opt也变为空 - 注意：
optional<T>要求T可析构、可移动（或可拷贝），且不含deleted 构造函数
它不复杂，但容易忽略“必须显式构造”和“禁止隐式转换”这两条铁律。用好 std::optional，空值不再是 bug 温床，而是接口契约的一部分。
