std::optional是C++17引入的标准库模板类，用于表示一个可能存在也可能不存在的值，避免了使用特殊值或者裸指针来表示值缺失的不规范做法。在实际开发中，我们需要先确认std::optional对象中是否包含有效值，再对其进行后续操作，这就用到了has_value()方法和value()方法。
has_value()方法的基本用法
has_value()是std::optional的成员函数，用于判断当前对象是否包含有效值，返回值为bool类型，若包含有效值则返回true，否则返回false。这个方法不会触发任何异常，也不会修改对象本身的状态，非常适合在做任何值操作之前先做前置判断。
下面是一段使用has_value()的示例代码：
#include <iostream>
#include <optional>
#include <string>
int main() {
// 初始化一个包含有效值的std::optional对象
std::optional<int> valid_num = 10;
// 初始化一个不包含有效值的std::optional对象
std::optional<int> invalid_num;
// 检查valid_num是否包含有效值
if (valid_num.has_value()) {
std::cout << "valid_num包含有效值: " << valid_num.value() << std::endl;
} else {
std::cout << "valid_num不包含有效值" << std::endl;
}
// 检查invalid_num是否包含有效值
if (invalid_num.has_value()) {
std::cout << "invalid_num包含有效值: " << invalid_num.value() << std::endl;
} else {
std::cout << "invalid_num不包含有效值" << std::endl;
}
return 0;
}
上述代码的输出结果为：
valid_num包含有效值: 10 invalid_num不包含有效值
value()方法的基本用法
value()方法用于获取std::optional对象内部存储的有效值，但是它的行为和has_value()有很大区别。如果当前std::optional对象包含有效值，那么value()会返回该值的引用；如果对象不包含有效值，调用value()会抛出std::bad_optional_access异常。
我们修改上面的示例代码，演示value()在对象无有效值时的表现：
#include <iostream>
#include <optional>
#include <string>
#include <stdexcept>
int main() {
std::optional<std::string> name = "张三";
std::optional<std::string> empty_name;
// 对有值的optional调用value()
try {
std::string result = name.value();
std::cout << "获取到的name值: " << result << std::endl;
} catch (const std::bad_optional_access& e) {
std::cout << "获取name值失败: " << e.what() << std::endl;
}
// 对无值的optional调用value()
try {
std::string result = empty_name.value();
std::cout << "获取到的name值: " << result << std::endl;
} catch (const std::bad_optional_access& e) {
std::cout << "获取empty_name值失败: " << e.what() << std::endl;
}
return 0;
}
上述代码的输出结果为：
获取到的name值: 张三 获取empty_name值失败: bad optional access
value()与has_value()的差异对比
两者的核心差异主要体现在以下几个方面：
- 返回值不同：has_value()返回bool类型，仅表示值是否存在；value()返回内部存储的实际值（或引用）。
- 异常行为不同：has_value()永远不会因为对象无值而抛出异常；value()在对象无值时一定会抛出
std::bad_optional_access异常。 - 使用场景不同：has_value()适合做前置判断，确认值存在后再操作；value()适合在已经确认值存在，或者愿意处理异常的场景下直接获取值。
我们可以通过下面的表格更清晰地看到两者的区别：
| 对比维度 | has_value() | value() |
|---|---|---|
| 返回值类型 | bool | 内部值的引用（有值时） |
| 无值时的行为 | 返回false | 抛出std::bad_optional_access异常 |
| 是否会修改对象状态 | 否 | 否 |
| 典型使用场景 | 前置判断值是否存在 | 直接获取值，配合异常处理 |
实际开发中的最佳实践
在实际使用std::optional时，我们可以根据不同的场景选择合适的检查方式：
场景1：先判断再取值
如果不确定std::optional是否有值，且不想处理异常，优先使用has_value()判断后再调用value()，或者使用operator*取值：
#include <iostream>
#include <optional>
int main() {
std::optional<int> num = 20;
if (num.has_value()) {
// 两种取值方式都可以，operator*不会做有效性检查，所以必须配合has_value()使用
std::cout << "取值方式1: " << num.value() << std::endl;
std::cout << "取值方式2: " << *num << std::endl;
}
return 0;
}
场景2：需要明确处理无值的情况
如果希望在值不存在时执行特定的逻辑，且愿意使用异常机制，可以直接调用value()并捕获异常：
#include <iostream>
#include <optional>
#include <stdexcept>
int main() {
std::optional<int> num;
try {
int val = num.value();
std::cout << "获取到值: " << val << std::endl;
} catch (const std::bad_optional_access& e) {
std::cout << "未获取到有效值，执行默认值逻辑" << std::endl;
// 可以在这里设置默认值或者执行其他补偿逻辑
}
return 0;
}
场景3：使用value_or()简化代码
如果只需要在值不存在时使用一个默认值，不需要复杂的异常处理，可以使用value_or()方法，它会在有值时返回内部值，无值时返回传入的默认值，不需要提前判断也不需要捕获异常：
#include <iostream>
#include <optional>
int main() {
std::optional<int> valid_num = 30;
std::optional<int> invalid_num;
// 有值时返回内部值，无值时返回默认值100
std::cout << "valid_num的值: " << valid_num.value_or(100) << std::endl;
std::cout << "invalid_num的值: " << invalid_num.value_or(100) << std::endl;
return 0;
}
上述代码的输出结果为：
valid_num的值: 30 invalid_num的值: 100
需要注意的是，不要在没有判断的情况下直接调用value()，否则可能会因为对象无值导致程序崩溃。也不要在已经通过has_value()确认有值之后，还调用value()时额外的异常捕获，这样会增加不必要的性能开销。
std::optionalhas_value()value()C++可选值修改时间：2026-07-22 19:33:17