C++中如何使用std::optional处理可能不存在的值

在C++17标准之前，开发者处理可能不存在的有效值时，通常会选择用特殊值标记、返回指针并判断空值、或者使用额外的布尔变量标识值是否有效，这些方式都存在一定的缺陷，要么容易引发歧义，要么增加了代码的复杂度。C++17引入的std::optional模板类完美解决了这个问题，它可以安全地包裹一个可能存在也可能不存在的值，让值的存在性判断和获取都更加规范。

std::optional的基本概念

std::optional定义在<optional>头文件中，是一个模板类，模板参数就是要包裹的值的类型。它的核心作用是表示一个可能存在也可能不存在的T类型值，内部会维护一个标记位来表示当前是否包含有效值，不需要开发者额外定义状态变量。

比如要表示一个可能不存在的int值，就可以这样定义：

#include <optional>
#include <iostream>

// 定义一个可能不存在的int值
std::optional<int> maybe_int;

std::optional的常用操作

初始化与赋值

std::optional可以通过多种方式初始化，既可以初始化为空，也可以直接赋值为有效值，还可以通过std::nullopt显式赋值为空状态。

#include <optional>
#include <iostream>

int main() {
    // 初始化为空
    std::optional<int> opt1;
    std::optional<int> opt2 = std::nullopt;

    // 初始化为有效值
    std::optional<int> opt3 = 10;
    std::optional<int> opt4(20);

    // 后续赋值
    opt1 = 30; // 现在opt1包含有效值30
    opt3 = std::nullopt; // 现在opt3变为空状态

    return 0;
}

判断是否有值

可以通过has_value()成员函数或者隐式布尔转换来判断std::optional是否包含有效值。

#include <optional>
#include <iostream>

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

    // 方式1：使用has_value()
    if (opt.has_value()) {
        std::cout << "opt有值" << std::endl;
    }

    // 方式2：隐式布尔转换
    if (opt) {
        std::cout << "opt有值" << std::endl;
    }

    std::optional<int> empty_opt;
    if (!empty_opt) {
        std::cout << "empty_opt没有值" << std::endl;
    }

    return 0;
}

获取内部值

获取内部值有多种方式，需要注意如果当前std::optional为空，直接获取值会抛出异常或者产生未定义行为，因此一定要先判断是否有值。

• value()：如果包含有效值就返回值的引用，否则抛出std::bad_optional_access异常
• value_or(default_value)：如果包含有效值就返回该值，否则返回传入的默认值
• 解引用操作符*：如果包含有效值就返回值的引用，否则行为未定义，使用前必须确保有值

#include <optional>
#include <iostream>
#include <stdexcept>

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

    // 使用value()获取值
    try {
        int val1 = opt.value();
        std::cout << "value()获取的值：" << val1 << std::endl;
    } catch (const std::bad_optional_access& e) {
        std::cout << "获取值失败：" << e.what() << std::endl;
    }

    // 使用value_or()获取值
    std::optional<int> empty_opt;
    int val2 = empty_opt.value_or(99); // 空则使用默认值99
    std::cout << "value_or获取的值：" << val2 << std::endl;

    // 使用解引用操作符
    if (opt) {
        int val3 = *opt;
        std::cout << "解引用获取的值：" << val3 << std::endl;
    }

    return 0;
}

修改与重置值

可以通过赋值操作修改内部值，也可以使用emplace()函数在optional内部直接构造值，还可以用reset()函数将optional重置为空状态。

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

int main() {
    std::optional<std::string> opt_str;

    // 赋值修改
    opt_str = "hello";
    std::cout << "赋值后的值：" << *opt_str << std::endl;

    // emplace直接构造
    opt_str.emplace("world");
    std::cout << "emplace后的值：" << *opt_str << std::endl;

    // 重置为空
    opt_str.reset();
    if (!opt_str) {
        std::cout << "opt_str已重置为空" << std::endl;
    }

    return 0;
}

典型使用场景

函数返回可能不存在的结果

当函数的执行结果可能不存在时，比如查找元素、解析数据失败等情况，用std::optional作为返回类型比返回特殊值或者指针更安全。

#include <optional>
#include <vector>
#include <iostream>

// 查找vector中第一个大于target的元素，不存在则返回空
std::optional<int> find_first_greater(const std::vector<int>& vec, int target) {
    for (int num : vec) {
        if (num > target) {
            return num; // 返回找到的值
        }
    }
    return std::nullopt; // 没找到返回空
}

int main() {
    std::vector<int> nums = {1, 3, 5, 7, 9};
    auto result = find_first_greater(nums, 4);
    if (result) {
        std::cout << "找到大于4的元素：" << *result << std::endl;
    } else {
        std::cout << "没有找到大于4的元素" << std::endl;
    }

    auto result2 = find_first_greater(nums, 10);
    if (!result2) {
        std::cout << "没有找到大于10的元素" << std::endl;
    }

    return 0;
}

配置项的可选参数

在处理程序配置时，很多配置项是可选的，使用std::optional来保存这些配置项，可以清晰区分用户是否设置了该配置。

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

struct ServerConfig {
    std::string host; // 必填项
    int port; // 必填项
    std::optional<int> timeout; // 可选超时时间，未设置则为空
    std::optional<std::string> log_path; // 可选日志路径，未设置则为空
};

void print_config(const ServerConfig& config) {
    std::cout << "host: " << config.host << std::endl;
    std::cout << "port: " << config.port << std::endl;
    if (config.timeout) {
        std::cout << "timeout: " << *config.timeout << "ms" << std::endl;
    } else {
        std::cout << "timeout: 未设置，使用默认值" << std::endl;
    }
    if (config.log_path) {
        std::cout << "log_path: " << *config.log_path << std::endl;
    } else {
        std::cout << "log_path: 未设置，不输出日志文件" << std::endl;
    }
}

int main() {
    ServerConfig config1{
        "127.0.0.1",
        8080,
        std::nullopt,
        std::optional<std::string>("server.log")
    };
    print_config(config1);

    ServerConfig config2{
        "192.168.0.1",
        9090,
        3000,
        std::nullopt
    };
    print_config(config2);

    return 0;
}

注意事项

• 不要对空的std::optional使用解引用操作符或者value()方法，否则会导致未定义行为或者抛出异常，一定要先判断是否有值
• std::optional的实例大小会比原始类型大，因为它内部需要额外的空间存储是否有值的标记，在对内存大小敏感的场景需要谨慎使用
• std::optional不支持存储引用类型，如果需要包裹引用，可以考虑使用std::reference_wrapper
• 如果返回的是std::optional<T>，不要返回指向局部变量的指针，optional内部会拷贝或者移动值，不存在悬垂指针的问题

std::optionalC++17可能不存在的值值处理修改时间：2026-06-22 20:03:48