C++ std::optional::value_or与value的异常抛出行为

在 C++17 引入 std::optional 后，处理可能不存在的值变得更加安全。然而，不当使用获取值的方法会导致程序崩溃或逻辑错误。本文直接对比 value() 和 value_or() 的核心区别，并演示如何在不同的代码场景中正确选择它们。

1. 认识 std::optional::value 的“硬核”行为

value() 方法设计用于当你确定值必须存在，或者如果值不存在，程序应该立即停止并报错的场景。它不会提供任何默认值，而是直接抛出异常。

编写以下代码来测试其异常抛出机制：

#include <iostream>
#include <optional>

int main() {
    // 创建一个空的 std::optional 对象
    std::optional<int> opt;

    try {
        // 尝试获取值
        int result = opt.value();
        std::cout << "值: " << result << std::endl;
    } catch (const std::bad_optional_access& e) {
        // 捕获并输出异常信息
        std::cout << "捕获异常: " << e.what() << std::endl;
    }

    return 0;
}

运行上述代码，程序会进入 catch 块。控制台会输出类似“Bad optional access”的信息。

记住：只要 std::optional 对象为空（即不包含值），调用 value() 必然抛出 std::bad_optional_access 异常。这适用于配置缺失即致命错误的严重情况。

2. 掌握 std::optional::value_or 的“回退”机制

与 value() 不同，value_or() 提供了一种“优雅降级”的策略。当对象为空时，它不会抛出异常，而是返回你预先指定的默认值。

修改之前的代码，使用 value_or() 替代 value()：

#include <iostream>
#include <optional>

int main() {
    std::optional<int> opt;

    // 尝试获取值，如果为空则返回 -1
    int result = opt.value_or(-1);

    std::cout << "结果: " << result << std::endl;
    return 0;
}

观察输出结果，屏幕将显示“结果: -1”。程序正常结束，没有抛出任何异常，也无需繁琐的 try-catch 块。

注意：value_or() 的参数会在 optional 为空时被返回。这个机制非常适合处理用户可选配置、缓存未命中等非致命场景。

3. 核心行为对比表

为了更直观地理解两者的区别，请参考下表。该表总结了在不同状态下的返回结果和程序行为。

4. 决策流程：如何选择正确的方法

在实际编码中，选择 value() 还是 value_or() 取决于“空值”在你的业务逻辑中的含义。如果你不确定该用哪个，请参照以下逻辑流程图进行决策。

遵循此流程图，可以有效避免因意外异常导致的程序崩溃，同时确保代码逻辑清晰。

5. 实战演练：构建安全的配置读取器

假设我们需要从一个可能不存在的配置源读取端口号。如果配置缺失，对于服务端程序这可能是一个错误（必须使用特定端口），而对于客户端则可以使用默认端口。

定义如下代码结构，模拟两种需求：

#include <iostream>
#include <optional>
#include <string>

std::optional<int> read_config_from_source(const std::string& key) {
    // 模拟配置源中不存在该 key
    return std::nullopt; 
}

void configure_server() {
    auto port_opt = read_config_from_source("server_port");

    // 服务端端口必须明确指定，否则无法启动
    try {
        int port = port_opt.value(); // 如果为空，抛出异常
        std::cout << "服务端启动在端口: " << port << std::endl;
    } catch (const std::bad_optional_access& e) {
        std::cerr << "错误: 服务端端口未配置，启动中止。" << std::endl;
        // 执行清理或退出逻辑
    }
}

void configure_client() {
    auto port_opt = read_config_from_source("client_port");

    // 客户端端口未配置时，使用默认值 8080
    int port = port_opt.value_or(8080); 
    std::cout << "客户端连接端口: " << port << " (若未配置则使用默认值)" << std::endl;
}

int main() {
    configure_server();
    configure_client();
    return 0;
}

分析上述代码：

1. 在 configure_server 中，我们使用 value()。因为缺少端口配置是一个严重问题，我们期望程序抛出异常以阻止后续操作。
2. 在 configure_client 中，我们使用 value_or(8080)。因为用户未指定端口是常见情况，直接使用默认值即可，无需中断程序流。

通过这种区分，代码既保证了关键配置的严格性，又提升了非关键配置的灵活性。