std::optional 提供类型安全的可选值语义，避免空指针或魔数歧义。它定义于头文件，通过has_value()、bool转换或nullopt判断是否含值；推荐用value_or提供默认值以安全访问。适用于查找、配置读取等可能失败场景，如find_in_vector返回索引或nullopt，使代码更清晰健壮。
在C++17中，std::optional 是一个用于表示“可能包含值，也可能不包含值”的类型。它解决了传统C++中用指针或特殊值（如-1、nullptr）表示“缺失值”所带来的歧义和安全隐患。使用 std::optional 可以让代码更清晰、安全，避免空指针解引用等常见错误。
基本概念与头文件
std::optional 定义在 头文件中，是一个模板类，可以包装任意类型的值。当 optional 对象没有值时，它是“未初始化”状态，可以通过特定方法检测。
例如，定义一个可能为空的整数：
#include #include std::optional maybe_value;
此时 maybe_value 不包含任何值，相当于“空”状态。
立即学习“C++免费学习笔记（深入）”；
如何赋值与判断是否有值
可以通过直接赋值、构造函数或 emplace 方法设置值。
maybe_value = 42; // 赋值std::optional val2{100}; // 构造时赋值maybe_value.emplace(50); // 原地构造
判断是否包含值，有以下几种方式：
使用 has_value() 成员函数：返回 bool 像布尔一样使用：if (maybe_value) 与 std::nullopt 比较
if (maybe_value.has_value()) { std::cout << "值为: " << *maybe_value << "n";}if (maybe_value) { std::cout << "值存在: " << *maybe_value << "n";}
访问值的安全方式
直接解引用（*op）或调用 value() 可能抛出异常，如果 optional 当前无值。
*op：若无值，行为未定义（C++23起改为抛出异常） value()：若无值，抛出 std::bad_optional_access value_or(default)：推荐方式，若无值则返回默认值
std::optional price;double p = price.value_or(0.0); // 安全获取，即使为空也返回 0.0
这种模式非常适合配置读取、查找操作等可能失败的场景。
实际应用场景示例
比如实现一个查找函数，找不到时不返回无效值或引发异常：
std::optional find_in_vector(const std::vector& vec, int target) { for (size_t i = 0; i < vec.size(); ++i) { if (vec[i] == target) { return i; // 找到，返回索引 } } return std::nullopt; // 未找到}
调用时可安全处理：
auto result = find_in_vector(data, 99);if (result) { std::cout << "找到于索引: " << *result << "n";} else { std::cout << "未找到n";}
相比返回 -1 或抛异常，语义更明确，调用方不易出错。
基本上就这些。std::optional 让“可选值”变得类型安全且表达力强，是现代C++中处理可能存在缺失值的首选方式。合理使用能显著提升代码健壮性。
以上就是C++17的std::optional怎么使用_C++ optional可选值类型用法解析的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1483984.html
微信扫一扫 
支付宝扫一扫 
