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

在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";     } } 

说明：

智写助手

智写助手 写得更快，更聪明

80

查看详情

• 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; } 

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

常见使用场景

std::optional 特别适合以下几种情况：

• 查找操作：容器中查找元素，找不到时返回 std::nullopt。
• 解析函数：字符串转数字、jsON 解析等可能失败的操作。
• 工厂函数：对象创建受条件限制，不一定能成功。
• 链式调用中的中间结果：每个步骤都可能失败，可用 optional 传递状态。

相比抛异常或使用输出参数，std::optional 更轻量、更直观，调用方必须显式检查是否有值，减少疏忽导致的错误。

基本上就这些。std::optional 让 C++ 的接口设计更清晰、更安全，是处理可选值的现代 C++ 推荐方式。

以上就是