1. 快速入门
1.1 什么是 std::optional
在 C++17 中，std::optional 提供了一种“可选返回值”的容器，能够表示一个值存在与否的状态。通过将值封装在一个对象里，我们可以明确区分“有值”与“无值”的情况，而不是使用空指针或异常来处理。这是处理可能为空的返回值的核心思路，也是本文的起点。
使用 std::optional
#include <optional>
#include <string>
#include <iostream>std::optional<std::string> findName(bool exists) {if (exists) {return std::string("Alice");}return std::nullopt;
}
1.2 为什么要使用可选返回值
通过使用 std::optional，你的 API 可以更明确地表达“可能没有结果”的语义，调用端只需进行一次检查就能决定后续逻辑。这降低了误用空指针的风险，也让错误处理更集中化。
对于库的设计者而言，使用 可选返回值还能提升可测试性，因为测试用例可以覆盖“有值”和“无值”的两种路径。接下来看看如何判断可选值是否存在，以及如何安全地访问其中的对象。
2. 声明与初始化
2.1 如何创建与返回
创建一个 std::optional 的最常用方式是直接构造，或者使用 std::nullopt 指定无值状态。你可以在返回语句中直接构造，也可以从已有对象包装。情境表达清晰，调用方也能快速判断。
下面展示了多种创建与返回的方式，便于理解不同情况的用法。
#include <optional>
#include <vector>
#include <iostream>std::optional<int> findIndex(const std::vector<int>& v, int target) {for (size_t i = 0; i < v.size(); ++i) {if (v[i] == target) return static_cast<int>(i);}return std::nullopt;
}
2.2 从已有对象包装
如果你已经有一个对象，想要把它放到一个可选容器中，可以直接通过构造或赋值进行包装。这一步保持了类型的完整性，并且与调用端的解包行为保持一致。
示例展示了从一个引用对象创建一个包含该对象的可选值。
#include <optional>
#include <string>
#include <iostream>std::optional<const std::string> wrap(const std::string& s) {return s;
}
// 使用时保持引用语义，避免不必要的拷贝
3. 优雅处理可能为空的返回值
3.1 使用 value_or 提供默认值
当你希望在返回值为空时给出一个默认行为，可以使用 value_or。它会在可选值为空时返回一个默认值，避免显式的 if 判断。这是处理“可能为空”的一个高效、简洁的模式。
示例演示了如何在一处调用中就确定最终结果。
#include <optional>
#include <string>
#include <iostream>std::optional<std::string> getUserName(int id) { /* ... */ return std::nullopt; }int main() {auto nameOpt = getUserName(42);std::string name = nameOpt.value_or(std::string("Guest"));std::cout << name << std::endl;
}
3.2 安全地解包与访问值
在你确定可选值存在时，可以通过解引用运算符 * 或通过 value()、operator* 安全地获取底层对象。为避免异常，务必在访问前进行存在性检查。条件分支是稳妥的起点。
下面的示例展示了如何在检查后再解包，并将结果用于后续处理。
#include <optional>
#include <string>
#include <iostream>std::optional<int> compute(int x) {if (x > 0) return x * 2;return std::nullopt;
}int main() {auto opt = compute(5);if (opt) {// 安全地获得值int val = *opt;std::cout << val << std::endl;} else {std::cout << "no value" << std::endl;}
}
3.3 链式调用与默认路径
你还可以结合函数返回的可选值，进行简单的链式逻辑。通过多次检查，可以将“有值时的流程”和“无值时的默认分支”清晰区分。这种模式在 API 调用链中尤其有用，能够避免异常和大量嵌套判断。
示例展示将一个可能失败的调用展开为一个最终字符串。
#include <optional>
#include <string>
#include <iostream>std::optional<std::string> fetchName(int id) {if (id == 1) return "Bob";return std::nullopt;
}
std::optional<std::string> normalize(const std::string& s) {if (s.empty()) return std::nullopt;return std::string(s);
}int main() {auto name = fetchName(1).and_then(normalize);if (name) {std::cout << "Name: " << *name << std::endl;} else {std::cout << "Name not found" << std::endl;}
}
4. 与 API 设计结合的实践
4.1 结合函数返回类型
在库或模块设计中，使用 std::optional 作为函数返回类型，可以清晰表达“返回值可能缺失”的语义。结合模板、类型推导与 constexpr，可以实现高效且可测试的接口。这是提升 API 可用性的重要手段。
下面的示例展示如何把一个搜索函数设计为返回可选的结果，以及如何给调用端提供清晰的处理路径。
#include <optional>
#include <string>
#include <vector>
#include <iostream>std::optional<std::string> findEmail(const std::vector<std::string>& users, const std::string& name) {for (const auto& u : users) {if (u == name) return u; }return std::nullopt;
}int main() {std::vector<std::string> list = { "alice@example.com", "bob@example.com" };auto email = findEmail(list, "alice");if (email) std::cout << *email << std::endl;else std::cout << "not found" << std::endl;
}
4.2 与异常的比较：何时选 std::optional
与抛出异常相比，std::optional 更轻量、可预测，适合“预期内的失败”场景，而非“不可恢复的错误”。在性能敏感的路径中，使用可选值可以避免异常机制带来的开销，同时提升代码的可读性。
如果你的 API 需要清晰的成功/失败两种状态描述，且调用方需要决定默认行为，这时选择 std::optional 会比抛出异常更直观。
