在g++/libstdc++中启用标准库运行时UB检查的可行性

std::vector::operator[] 与 at() 行为对齐 #

• 编译时定义宏 _GLIBCXX_DEBUG，可让std::vector::operator[]执行和at()完全一致的边界检查，越界时抛出std::out_of_range异常。该宏会启用libstdc++全量调试模式，其他容器（如std::string）的不安全操作也会被触发检查。
• 若仅需单独针对std::vector开启检查，libstdc++无官方单独宏支持，可自行封装vector包装类，在自定义的operator[]中调用at()实现等价逻辑。

std::optional::operator* 与 value() 行为对齐 #

• 编译时定义宏 _GLIBCXX_ASSERTIONS，可启用std::optional::operator*的空值访问检查，但触发时会直接终止程序（调用std::abort()），而非像value()那样抛出std::bad_optional_access异常。
• 若要完全对齐value()的抛异常行为，需自行封装std::optional：比如实现一个包装类或辅助函数，在重载的operator*内部调用value()。

生产环境适配说明 #

• _GLIBCXX_DEBUG会修改容器内部结构，引入较大性能损耗，不适合性能敏感的生产场景。
• _GLIBCXX_ASSERTIONS是轻量级检查，性能影响极小，适合生产环境启用，但仅提供终止级别的错误反馈，无法直接实现抛异常逻辑。

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