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 异常。你**不需要手动实现这个异常类**——它已由标准库定义，只需包含 <optional></optional> 即可使用。
std::bad_optional_access 是什么？
它是标准库中定义的异常类型，继承自 std::exception，用于标识对空 std::optional 的非法访问。它的作用是统一错误语义，便于捕获和处理。
标准头文件中已声明：
namespace std {class bad_optional_access : public exception {
public:
const char* what() const noexcept override;
};
}
如何触发并捕获 std::bad_optional_access？
以下是一个完整、可运行的实例，展示何时抛出、如何捕获该异常：
立即学习“C++免费学习笔记（深入）”；
#include#include
#include
int main() {
std::optional
// ❌ 触发 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 实现才生效。
