在 C++17 之后，标准库提供了两个强大的容器：std::optional 用于表示可选值，std::variant 用于实现类型安全的联合。它们在实际开发中经常用于简化错误处理、状态表示以及多态数据的存储。本文将从实例出发，介绍它们的使用场景、最佳实践以及常见坑，帮助你在项目中更好地利用这两者。
1. std::optional 的核心理念
`std::optional
` 能够存储一个值 `T` 或者不存储任何值，类似于一个“可能为空”的容器。它的核心优势在于： – **显式空值**：不同于裸指针或裸引用，`optional` 明确表示“无值”状态，避免悬空指针问题。 – **值语义**：复制和移动操作遵循值语义，使用更直观。 – **与 STL 兼容**：与标准算法、容器和容器迭代器无缝协作。 ### 1.1 基础使用示例 “`cpp #include #include std::optional parseInt(const std::string& str) { try { return std::stoi(str); } catch (…) { return std::nullopt; // 解析失败返回空 } } int main() { auto val = parseInt(“123”); if (val) { std::cout >`。 ## 2. `std::variant` 的多态容器 `std::variant` 是类型安全的联合体，能够存储多种预先声明的类型之一。它的核心优势是： – **无内存占用溢出**：只保留最大类型所需的空间，避免冗余。 – **类型安全**：编译器会检查类型合法性，运行时抛出 `std::bad_variant_access`。 – **与 `std::visit` 配合**：提供访问所有可能类型的统一机制。 ### 2.1 简单示例 “`cpp #include #include #include using Value = std::variant; void printValue(const Value& v) { std::visit([](auto&& arg){ std::cout #include #include struct Expr; // 前向声明 using ExprValue = std::variant>; struct Expr { ExprValue value; }; int evaluate(const Expr& e) { return std::visit([](auto&& arg){ using T = std::decay_t; if constexpr (std::is_same_v) { return arg; } else if constexpr (std::is_same_v>) { int sum = 0; for (const auto& sub : arg) { sum += evaluate(sub); } return sum; } }, e.value); } “` ## 3. `std::optional` 与 `std::variant` 的协作 在实际项目中，常常需要将“可选多态值”组合在一起，例如： “`cpp using OptInt = std::optional ; using VariantOpt = std::variant; VariantOpt data = std::string(“foo”); “` 此时 `VariantOpt` 能够存储一个字符串，或者一个可选整数。使用 `std::visit` 时需要注意对 `std::optional` 的判断： “`cpp std::visit([](auto&& arg){ using T = std::decay_t; if constexpr (std::is_same_v) { std::cout ) { if (arg) std::cout >`）。 2. **默认构造与空值** `std::optional ` 默认构造为空。若 `T` 具有默认值，使用 `std::optional{T{}}` 明确指定非空。 3. **异常安全** `std::optional` 在异常抛出时会保持原状态；`std::variant` 需要保证替换前后对象可恢复。 4. **递归 variant 的性能** 递归 variant 需要频繁访问 `std::visit`，若深度很大，可能导致栈消耗。可以考虑使用指针或自定义节点结构。 5. **与 `std::expected`（C++23）对比** `std::expected` 用于错误处理，内部包含 `value` 或 `error`，类似于 `std::variant`。在错误分支中使用 `std::variant` 与 `std::optional` 的组合时，需要注意区分错误类型。 ## 5. 结语 `std::optional` 与 `std::variant` 是 C++17 标准库中极具表达力的工具，能帮助我们以更安全、更可读的方式处理可空值、多态值以及错误状态。掌握它们的使用模式、最佳实践以及常见陷阱，将让你的代码更加健壮、易于维护。希望本文能为你在项目中应用这两者提供实用参考。