如何使用std::optional返回类似NULL的空值？

std::optional是C++17引入的标准库类型，专门用来表示「可能为空的值」，完美匹配你需要的类似null的空值语义，具体用法如下：

1. 首先引入对应的头文件：#include <optional>，编译时需要开启C++17及更高版本的标准支持（比如gcc编译时添加-std=c++17参数）
2. 将函数的返回值类型声明为std::optional<T>，其中T是你列表存储的元素类型；索引合法时返回对应元素，索引非法时直接返回std::nullopt即可，std::nullopt就是标准库定义的、和null语义完全一致的空值标记。

示例代码如下：

#include <optional>
#include <vector>

// 假设你的列表存储int类型元素
std::optional<int> get_element(const std::vector<int>& list, int index) {
    // 先判断索引是否合法
    if (index < 0 || index >= list.size()) {
        // 索引不合法时返回空值
        return std::nullopt;
    }
    // 索引合法时返回对应元素
    return list[index];
}

调用端的常用处理方式 #

• 用has_value()方法判断是否存在有效值，配合value()取值：

  std::vector<int> my_list = {1,2,3,4};
  auto res = get_element(my_list, 5);
  if (res.has_value()) {
      int valid_val = res.value();
      // 处理正常逻辑
  } else {
      // 处理索引非法的逻辑
  }
  

• 直接对optional对象做布尔判断，配合解引用语法取值，写法更简洁：

  if (res) {
      int valid_val = *res;
  }
  

• 不需要单独分支处理空值时，可以用value_or指定空值场景的默认返回值：

  // 空值时默认返回-1
  int val = res.value_or(-1);
  

注意事项 #

• 不要对空的std::optional调用value()方法，会抛出std::bad_optional_access异常；解引用空std::optional属于未定义行为，取值前必须先判断是否存在有效值。
• 如果需要兼容C++17之前的标准，可以使用Boost库的boost::optional，用法和标准库版本基本一致。

内容的提问来源于stack exchange，提问作者Porton_