c++如何实现一个optional c++ std::bad_optional_access【实例】

冰火之心 2026-01-06 00:00:00 次阅读

std::bad_optional_access是C++17标准库定义的继承自std::exception的异常类，用于在空optional上调用value()、*opt或->时抛出；需包含头文件，可捕获处理，但不可被标准optional触发自定义派生类。

在 C++17 中，std::optional 已是标准库的一部分，其解引用（如 operator* 或 value()）在无值（has_value() == false）时会抛出 std::bad_optional_access 异常。你**不需要手动实现这个异常类**——它已由标准库定义，只需包含即可使用。

std::bad_optional_access 是什么？

它是标准库中定义的异常类型，继承自 std::exception，用于标识对空 std::optional 的非法访问。它的作用是统一错误语义，便于捕获和处理。

标准头文件中已声明：

namespace std {
class bad_optiona

l_access : public exception {
  public:
    const char* what() const noexcept override;
  };
}

如何触发并捕获 std::bad_optional_access？

以下是一个完整、可运行的实例，展示何时抛出、如何捕获该异常：

#include
#include iostream>
#include

int main() {
  std::optional opt; // 未初始化，为空

  // ❌ 触发 std::bad_optional_access
  try {
    int x = opt.value(); // 或 *opt
  } catch (const std::bad_optional_access& e) {
    std::cout   }

  // ✅ 安全访问方式（推荐）
  if (opt.has_value()) {
    std::cout   } else {
    std::cout   }

  return 0;
}

什么时候会抛出这个异常？

opt.value() 被调用且 opt.has_value() == false
*opt（解引用）被用于空 optional
opt->member（成员访问）被用于空 optional

注意：opt.value_or(default) 和 opt.has_value() 不会抛异常，是安全操作。

能否自定义或继承 std::bad_optional_access？

可以，但通常不必要。若需扩展语义（例如带错误码或上下文），可派生：

struct my_optional_error : std::bad_optional_access {
  int code;
  my_optional_error(int c) : code(c) {}
  const char* what() const noexcept override {
    return "My custom optional access error";
  }
};

但注意：标准 std::optional 永远只抛原始 std::bad_optional_access，自定义异常需配合你自己的 optional 实现才生效。