需启用C++17标准：GCC/Clang加-std=c++17，MSVC设/std:c++17；避免隐式转换，用花括号初始化；访问前必检查has_value()或用value_or()；移动后为空但有效，赋值需注意异常安全。
std::optional 编译失败：没开 C++17 怎么办
直接报错 error: 'optional' is not a member of 'std'，基本就是编译标准太低。C++17 才正式引入 std::optional，低于这个版本它根本不存在。
- 用 GCC/Clang：加
-std=c++17或更高（如-std=c++20），-std=c++14不行，哪怕你写了#include <optional></optional>也会失败 - MSVC：确保项目设置里启用 C++17（
/std:c++17），VS 2015 及更早版本不支持，别试 - 别试图用 Boost.Optional 替代还假装是
std::optional——头文件、命名空间、接口细节都不一样，混用会编译不过或行为异常
构造 std::optional 时的隐式转换陷阱
写 std::optional<int> x = 42;</int> 看似自然，但容易在函数重载或模板推导中引发意外转换，尤其当 T 本身支持从其他类型隐式构造时。
- 安全写法是显式构造：
std::optional<int> x{42};</int>或std::optional<int> x = std::optional<int>{42};</int></int> - 对自定义类型，如果它有
explicit构造函数（比如explicit Widget(int)），std::optional<widget> w = 123;</widget>会编译失败——这是好事，说明你被拦住了潜在错误 - 别依赖
std::make_optional来“省事”：它转发参数，但不会阻止隐式转换；真要安全，还是老实用花括号初始化
访问值前忘记检查 has_value() 导致未定义行为
operator* 和 value() 都不检查是否有值。一旦调用空的 std::optional，程序崩溃或静默出错，调试时很难定位。
- 永远优先用
if (opt.has_value()) { ... opt.value() ... }或更简洁的if (opt) { ... *opt ... } -
value_or(default_val)是最常用且安全的兜底方式，比如config.timeout.value_or(3000) - 避免在循环或高频路径里反复调用
has_value()—— 它是常量时间，但语义上不如一次检查+解包清晰；宁可写if (auto v = opt) { use(*v); }
移动语义和赋值的边界情况
std::optional 支持移动，但它的移动后状态不是“清空”，而是保持有效但值为空——这点和 unique_ptr 不同，容易误判。
立即学习“C++免费学习笔记（深入）”；
- 移动后原对象变成
std::nullopt，has_value()返回false，但对象本身仍可安全析构、赋值、甚至再次移动 - 赋值操作符（
=）会先销毁旧值再构造新值，如果 T 的析构抛异常，整个赋值可能中途失败；若 T 不抛异常（即noexcept），则赋值是强异常安全的 - 别对
std::optional<t></t>做std::move后还访问它——虽然不崩溃，但读的是空值，逻辑可能错得悄无声息
真正麻烦的从来不是“怎么创建 optional”，而是它在跨函数传递、作为成员变量、配合容器使用时，那些没显式处理空状态的分支。多一次 if (opt)，少三个半夜收到的 core dump。
