C++26 标准库硬化：告别未定义行为

C++26: Standard Library Hardening Experiments

2026 年，C++ 标准库迎来重大变革，引入“硬化”（Hardening）机制。过去，像 std::vector 的越界访问会导致未定义行为（UB），程序可能崩溃或产生难以复现的诡异错误。现在，在硬化模式下，这些错误将触发明确的合约违规并终止程序，而非陷入未定义状态。文章深入探讨了 P3471 等核心提案，展示了 GCC、Clang 和 MSVC 如何通过不同宏和编译选项（如 _GLIBCXX_ASSERTIONS、_LIBCPP_HARDENING_MODE）启用这一功能。虽然硬化不能替代静态分析或 Sanitizers，但它为将常见的内存安全问题转化为可检测的失败提供了标准化的基线，让 C++ 开发更加安全可控。