c++17新特性std::optional怎么用_c++处理可选返回值的优雅方式-C++-PHP中文网

c++17新特性std::optional怎么用_c++处理可选返回值的优雅方式

裘德小鎮的故事

发布： 2025-12-09 17:22:02

原创

612人浏览过

std::optional 是 C++17 引入的模板类，用于表示可能无值的情况，可安全封装有值或空状态，适用于查找、解析等可能失败的操作，避免指针或输出参数的弊端，提升代码清晰度与安全性。

c++17新特性std::optional怎么用_c++处理可选返回值的优雅方式

在C++17之前，函数如果需要返回一个可能不存在的值，通常会使用指针（比如返回 nullptr 表示无值），或者用输出参数配合返回布尔值。这些方式要么容易出错，要么不够清晰。C++17 引入了 std::optional，提供了一种类型安全、语义明确的方式来处理“可能有值，也可能没有值”的情况。

什么是 std::optional？

std::optional 是一个模板类，它封装了一个可选的值。它可以处于两种状态之一：包含一个类型为 T 的值，或不包含任何值（即“空”状态）。这非常适合用于表示计算可能失败或结果不存在的场景。

例如，从容器中查找某个元素，若找不到则不应返回无效引用或指针，而应返回一个“无值”状态。这时 std::optional 就非常合适。

基本用法示例

下面是一个简单的例子，展示如何使用 std::optional 实现一个安全的除法函数：

立即学习“C++免费学习笔记（深入）”；

#include <optional>
#include <iostream>

std::optional<double> divide(double a, double b) {
    if (b == 0.0) {
        return std::nullopt; // 表示无值
    }
    return a / b; // 自动包装为 optional
}

int main() {
    auto result = divide(10, 3);
    if (result) {
        std::cout << "Result: " << *result << '\n';
    } else {
        std::cout << "Division by zero!\n";
    }

    auto bad_result = divide(10, 0);
    if (bad_result.has_value()) {
        std::cout << "Result: " << *bad_result << '\n';
    } else {
        std::cout << "No valid result.\n";
    }
}

登录后复制

说明：

面多多

面试鸭推出的AI面试训练平台

219

查看详情

std::nullopt 用于显式表示空值。
可以用条件判断（如 if (result)）检查是否有值。
用 *result 解引用获取值（前提是有值，否则未定义行为）。
has_value() 是成员函数，等价于 static_cast<bool>(result)</bool>。

处理复杂类型和构造优化

std::optional 也支持非平凡类型，比如自定义结构体，并且可以使用 emplace 原地构造对象，避免不必要的拷贝：

struct Person {
    std::string name;
    int age;
};

std::optional<Person> find_adult(int id) {
    // 模拟查找逻辑
    if (id % 2 == 0) {
        return std::optional<Person>{Person{"Alice", 25}};
    }
    return std::nullopt;
}

// 或者更高效地使用 emplace
std::optional<Person> create_person(bool should_create) {
    std::optional<Person> opt;
    if (should_create) {
        opt.emplace("Bob", 30); // 原地构造
    }
    return opt;
}

登录后复制

这种方式避免了临时对象的创建与拷贝，提升性能，特别适用于大对象。