std::optional 是 C++17 引入的一种非常有用的容器，用来表示“可能存在也可能不存在”的值。它相当于一种可空类型，避免了使用裸指针或错误的特殊值来表示缺失数据。下面从概念、语义、常见使用场景以及潜在坑等几个维度进行详细探讨，并给出完整可运行的示例代码。
1. 基本概念
- 声明：`std::optional ` 用来包装类型 `T` 的一个可选值。
- 状态：
optional可以是“有值”或“空值”。 - 语义：
- 有值时，可以像普通对象一样使用。
- 空值时，访问会抛出
std::bad_optional_access。
2. 关键成员函数
| 函数 | 说明 | 典型使用场景 |
|---|---|---|
has_value() / operator bool() |
判断是否有值 | 需要安全检查的地方 |
value() / operator*() |
获取值，若空则抛异常 | 取值操作 |
value_or(const T& default_value) |
若空则返回默认值 | 给定默认值时 |
reset() |
清空值 | 需要手动销毁时 |
emplace(args...) |
原地构造 | 需要延迟构造时 |
operator= (std::optional&&) / operator= (T&&) |
移动赋值 | 转移所有权时 |
3. 常见用法
3.1 代替裸指针
std::optional<std::string> getNickname() {
if (some_condition) {
return std::string{"Alice"};
} else {
return std::nullopt; // 空值
}
}
auto nick = getNickname();
if (nick) { std::cout << "昵称: " << *nick << '\n'; }
else { std::cout << "无昵称\n"; }3.2 与错误码分离
std::optional <int> parseInt(const std::string& s) {
try {
return std::stoi(s);
} catch (...) {
return std::nullopt;
}
}3.3 作为返回值
std::optional<std::vector<int>> readFile(const std::string& path) {
std::ifstream file(path);
if (!file) return std::nullopt;
// ... 读取逻辑
return data;
}4. 性能与实现细节
- `optional ` 通常为 `sizeof(T)+1` 或 `sizeof(T)`（对 trivially copyable 类型）。
- 对
T的默认构造不做调用，除非显式使用emplace()。 - 对
T的构造、析构会根据状态自动决定。
5. 常见陷阱
-
复制赋值时未注意深浅拷贝
std::optional<std::string> opt1{"Hello"}; std::optional<std::string> opt2 = opt1; // 复制字符串对大对象可能导致性能损失，考虑使用
std::optional<std::shared_ptr<T>>。 -
使用
value()访问空值opt.value(); // 若空，抛异常建议使用
if (opt)或opt.has_value()先检查。 -
与
std::variant混淆
variant用于多类型容器；optional用于“值或无值”。二者不混用。
6. 进阶：自定义 optional 的 emplace 用法
如果你需要在已有 optional 的基础上，直接在内部重新构造一个新的对象，而不影响外部状态：
std::optional<std::vector<int>> vecOpt{std::vector<int>{1,2,3}};
vecOpt.emplace(); // 重新构造空 vector
vecOpt->push_back(10);7. 与 C++20 的 std::expected 对比
C++23 推出了 std::expected<T, E>，提供错误类型。相比之下 optional 只表示“成功/失败”，不携带错误信息。根据需求选择使用。
8. 小结
std::optional让“缺失值”的表达更安全、语义更清晰。- 适用于函数返回值、成员变量、临时占位符等多种场景。
- 需要注意性能细节和异常安全。
在实际项目中，合理使用 optional 能提升代码可读性与健壮性，同时减少对裸指针的依赖。
练习题
请实现一个 `std::optional