是否存在宏/编译选项让std::optional非法访问触发运行时错误？

曾误用未初始化的std::optional，仅能通过Valgrind检测到问题，提示信息为：

Syscall param exit_group(status) contains uninitialised byte(s)

复现该问题的最简代码：

#include<optional>
struct Foo {
    int i=1;
};

std::optional<Foo> bar(){
    return {};
}

int main() {
    return bar()->i;
}

• 显式检查值是否存在：访问std::optional内容前，必须通过has_value()方法判断，或使用C++17的if初始化语句：if (auto opt = bar()) { /* 访问opt->i */ }
• 优先使用value()方法：代替operator->或operator*，标准库的value()在optional无值时会抛出std::bad_optional_access异常，而非产生未定义行为（UB）
• 明确空值语义：返回空optional时，使用std::nullopt替代空大括号{}，代码可读性更强，避免歧义

标准std::optional本身没有内置强制检查开关，但主流标准库实现提供了调试模式扩展：

• GCC/libstdc++：编译时添加-D_GLIBCXX_DEBUG参数，或在#include <optional>前定义#define _GLIBCXX_DEBUG。此模式下，std::optional的operator->/operator*会触发断言，检查是否持有有效值
• Clang/libc++：编译时添加-D_LIBCPP_DEBUG参数，或在头文件前定义#define _LIBCPP_DEBUG，同样会对非法访问触发断言

这些调试模式会牺牲性能，仅适合开发阶段使用，完全符合防御式编程的需求。

#include<optional>
#include<stdexcept>
struct Foo {
    int i=1;
};

std::optional<Foo> bar(){
    return std::nullopt; // 明确表示返回空optional
}

int main() {
    auto opt = bar();
    // 方式1：显式检查后访问
    if (opt.has_value()) {
        return opt->i;
    }
    // 方式2：用value()触发异常
    // return opt.value().i;
    return 0;
}

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