std::optional 是 C++17 引入的最清晰、安全的“可能无值”返回方式，替代裸指针或哨兵值；需注意其不支持引用类型、不可隐式转 T、必须显式检查再解引用，且 T 需满足可析构和可移动/复制约束。
用 std::optional 代替裸指针或哨兵值返回空结果
直接用 std::optional<t></t> 作为函数返回类型，是最清晰、最安全的表达“可能无值”的方式。它比返回 nullptr、-1、std::pair<bool t></bool> 或自定义标记值更明确，也避免了调用方忘记检查的隐患。
常见错误是试图用 std::optional<t></t> ——这不合法，引用不能被 optional 包装；还有人误以为 std::optional 可以隐式转换为 T，其实必须显式调用 .value() 或用 .has_value() 判断。
- 只在 C++17 及以上可用，头文件是
<optional></optional> - 移动语义友好：返回临时对象时不会拷贝内部值（如果
T支持移动） - 构造开销极小：未初始化时只占一个布尔位 + 对齐填充，和
bool大小接近 - 不能用于
void类型，但可改用std::optional<:monostate></:monostate>表达“有/无副作用”语义（较少见）
std::optional 的典型返回写法和安全取值
函数签名要直白，比如查找失败就返回 std::nullopt；取值时优先用 if (auto opt = func()) { use(*opt); } 这种带绑定的 if，而不是先判断再解引用——避免竞态和重复调用。
std::optional<int> find_value(const std::vector<int>& v, int target) {
auto it = std::find(v.begin(), v.end(), target);
if (it != v.end()) return *it;
return std::nullopt; // 不要用 {} 或 nullptr
}
// 安全使用方式：
if (auto opt = find_value(data, 42)) {
std::cout << "found: " << *opt << "\n";
} else {
std::cout << "not found\n";
}
-
std::nullopt是唯一合法的“空”构造方式，别用std::optional<int>{}</int>（虽等价但语义模糊） -
*opt在opt.has_value() == false时行为未定义，绝不能跳过检查直接解引用 -
.value_or(default_val)适合提供默认值场景，但要注意default_val总是会被求值（即使有值）
和 std::unique_ptr / 哨兵值对比时的关键取舍点
用 std::optional 不是为了替代所有“可空”场景，而是当值语义成立、且无需动态分配或跨作用域转移所有权时的最优选。比如配置项解析、容器查找、简单计算结果等。
立即学习“C++免费学习笔记（深入）”；
- 比
std::unique_ptr<t></t>更轻量：无堆分配、无销毁开销、无指针间接访问成本 - 比哨兵值（如 -1、
INT_MAX）更健壮：类型系统能阻止非法赋值，IDE 和静态分析工具可识别空分支 - 不适合持有大对象并频繁移动？考虑
std::optional<:unique_ptr>></:unique_ptr>，但通常说明设计已偏离值语义初衷 - 若函数本就要抛异常表示失败，
std::optional就不是首选——它专为“正常但无结果”的情况而生
容易忽略的隐式约束和编译期陷阱
std::optional 要求其模板参数 T 满足 Destructible 和 CopyConstructible（或至少 MoveConstructible），否则编译失败。常见翻车点是包装了不可复制的类型（如含 std::mutex 成员的类）或未定义析构函数的类型。
- 含删除了拷贝/移动操作符的类，需显式声明移动构造/赋值才能放入
std::optional - 静态成员函数返回
std::optional<const t></const>？不行，引用类型不满足Cpp17Optional要求 - 模板函数中若对
std::optional<u></u>做 SFINAE 推导，需注意std::is_constructible_v<:optional>, U></:optional>是否成立
真正难的不是怎么写，而是判断该不该用——一旦把 optional 当成万能“可空”补丁塞进接口，后续扩展性（比如加日志、加错误码）就会变僵硬。
