std::optional 是为值语义设计的“有值或无值”容器，非空指针替代品；适用场景是返回值为值类型且无自然哨兵值，如 std::optional find_user_name(int)，而非指针类型；需显式检查 .has_value() 或 bool 转换，禁用隐式解包；注意移动语义开销、c++17 要求及线程不安全。
std::optional 不是空指针替代品，也不是“可选参数”的语法糖；它是为值语义设计的、能明确表达“有值 or 无值”状态的容器类型——用错场景或忽略移动语义，反而会让代码更脆弱。
什么时候该用 std::optional 而不是 nullptr 或 -1
核心判断标准：返回值本身是值类型（比如 int、std::string、自定义结构体），且“无效”没有自然的哨兵值（例如 -1 可能是合法输入，nullptr 无法绑定到非指针类型）。
- 适合：
std::optional<:string> find_user_name(int id)</:string>—— 用户可能不存在，且空字符串""是合法姓名 - 不适合：
std::optional<int> get_buffer_ptr()</int>—— 这里用int*本身就能表达空，加std::optional只是叠床架屋 - 常见错误现象：
if (opt_val == nullptr)编译失败，因为std::optional没有隐式转指针
std::optional 的构造和访问必须显式检查
它不会自动解包，也不会抛异常（除非你主动调用 .value() 且内部无值）；所有安全访问都依赖 .has_value() 或 operator bool()。
- 正确写法：
<pre class="brush:php;toolbar:false;">auto opt = parse_int("123"); if (opt) { int x = *opt; // 或 opt.value() } - 危险写法：
int x = *opt; —— 若 <code>opt为空，行为未定义（不是抛异常，是 UB） - 别依赖
.value_or(T{})隐藏逻辑：如果默认值构造代价高（比如std::vector），而你只在有值时才需要它，就别用这个接口
移动语义和拷贝开销容易被低估
std::optional<t></t> 的大小至少是 sizeof(T) + 1（存储有效标志位），但真正影响性能的是 T 的构造/析构成本。尤其当 T 是非 trivial 类型时，std::optional 的赋值、返回、参数传递都会触发移动或拷贝。
立即学习“C++免费学习笔记（深入）”；
- 避免在循环内反复构造：
for (...) { std::optional<heavyobj> x = make_heavy(); }</heavyobj>—— 改用std::optional<heavyobj> x;</heavyobj>提前声明，再用x.emplace(...)原地构造 - 函数返回时优先移动：
return std::move(opt);对于局部std::optional变量，通常编译器会 RVO，但显式std::move更稳妥 - 兼容性注意：C++17 起才支持
std::optional；若需 C++14，得用boost::optional，但接口不完全一致（比如boost::optional允许bool隐式转换，而标准版要求显式）
最常被忽略的一点：std::optional 本身不提供线程安全。多个线程同时读写同一个 std::optional 实例，必须自己加锁；哪怕只是读取 .has_value()，也不能假设它是原子操作。
