该用std::optional而非nullptr或异常时，是当“无值”为合法、预期且需显式处理的状态；例如查找键值，找不到非错误，而nullptr限于指针、异常开销大且掩盖可选性本质。
什么时候该用 std::optional 而不是 nullptr 或异常？
std::optional 适合表达「可能有值，也可能没有」的语义，尤其当「无值」是合法、预期且需显式处理的状态时。比如查找容器中某个键对应的值，找不到不是错误，只是自然结果；而用 nullptr（针对指针）或抛异常（如 std::out_of_range）会混淆语义——前者限于指针类型，后者把控制流交给异常处理机制，开销大且掩盖了“可选性”本质。
- 返回
std::optional<int>比返回int*更安全：无需担心悬空指针或所有权归属 - 不该用
std::optional替代业务逻辑错误：比如除零、非法输入，仍应抛异常 - 注意：
std::optional对象本身不为空，它内部的has_value()才表示是否含有效值
std::optional 的常见构造与返回写法
直接构造并返回最清晰，避免隐式转换或临时对象生命周期问题：
std::optional<std::string> find_user_name(int user_id) {
auto it = user_db.find(user_id);
if (it != user_db.end()) {
return it->second.name; // 自动转换为 std::optional
}
return std::nullopt; // 明确表示无值
}
- 不要写
return {}：对std::optional来说，这等价于std::nullopt，但可读性差 - 避免
return std::optional<T>{value}多余包装，直接返回value即可（编译器自动构造） - 若函数内已有
std::optional<T>变量，直接return opt_var;即可，无需解包
调用方如何安全取值？别漏掉 has_value() 检查
不能假设一定有值，也不能无脑用 *opt 或 opt.value() —— 后者在无值时抛 std::bad_optional_access。
auto name = find_user_name(123);
if (name.has_value()) {
std::cout << "Found: " << *name << "\n";
} else {
std::cout << "Not found\n";
}
-
opt.value_or(default_value)是常用替代：适合提供兜底值，比如name.value_or("anonymous") -
if (opt)等价于if (opt.has_value())，简洁但略隐晦，团队若统一接受可使用 - 别在未检查前对
std::optional<T&>解引用：引用类型的 optional 很少见，且容易引发悬空引用
性能和兼容性要注意什么？
std::optional 在 C++17 引入，GCC 7+/Clang 4+/MSVC 2017 及以上支持。它底层通常用 union + 构造标记位实现，大小至少为 sizeof(T) + 1（对齐后可能更大），比裸值稍重，但远轻于动态分配。
立即学习“C++免费学习笔记（深入）”；
- 如果
T是 trivially copyable 且不含构造/析构逻辑，std::optional<T>也基本是 trivial 的，memcpy 安全 - 移动语义正常工作：
std::move(opt)会转移其内部值（如果存在） - 避免在 hot path 中频繁构造/销毁 large
T的std::optional，比如std::optional<std::vector<int>>，考虑改用指针或返回状态码+输出参数
std::optional 的核心价值不在语法糖，而在让「空」成为一等公民——它迫使调用方显式面对缺失场景，而不是靠文档约定或侥幸猜测。最容易被忽略的是：把它当成“更安全的指针”用，却忘了它不解决生命周期问题，也不替代错误传播机制。
