在C++17中引入的std::optional为处理可空值提供了优雅的方式。它在许多场景中比裸指针或特殊值更安全、更易读。本文将深入探讨std::optional的使用方法、常见陷阱以及在项目中的最佳实践。
1. 什么是std::optional？
std::optional
是一个可选容器，它可以包含一个T类型的值，或者为空。它的存在类似于“可能有值也可能没有”的状态，避免了裸指针或错误的默认值带来的不安全。 “`cpp #include #include std::optional findIndex(const std::vector& vec, int target) { for (size_t i = 0; i (i); } return std::nullopt; // 表示未找到 } “` ## 2. 基本使用 ### 2.1 检查是否有值 “`cpp auto opt = findIndex({1, 2, 3}, 4); if (opt) { std::cout cache; HeavyObject& getHeavy() { if (!cache) cache.emplace(); // 只初始化一次 return *cache; } “` ## 4. 常见陷阱 ### 4.1 复制/移动不安全 对std::optional 进行复制时，T会被复制；对移动时，T会被移动。若T自身不支持移动，性能会大打折扣。 ### 4.2 与引用的混淆 `std::optional` 只在C++20可用，且使用起来容易误导。更安全的做法是返回`std::optional`或`std::optional>`。 ### 4.3 空值检查遗漏 在`opt`为空时使用`*opt`会导致崩溃。习惯使用`if(opt)`或`opt.has_value()`检查。 ### 4.4 与容器组合 在容器中存放`std::optional `时，注意默认构造函数会产生空值。若需要在构造后立即填充，可使用`emplace_back`. “`cpp std::vector> vec(10); // 全部为空 vec.emplace_back(42); // 添加非空元素 “` ## 5. 进阶：自定义解包 C++23引入`std::from_range`和`std::ranges::views::optional`，可以更方便地处理可选序列。示例： “`cpp #include #include std::optional opt = 7; for (int val : std::views::optional(opt)) { std::cout