C26 constexpr 异常详解编译期也能 throw/catch本文是「C26 新特性单篇精讲」系列第 4 篇。阅读约需 6 分钟文末可跳转完整合订本。一、是什么C26 允许在constexpr函数中使用try/throw/catch。未捕获的编译期异常会转化为带具体错误信息的编译错误。二、为什么需要它此前constexpr函数里一旦throw编译器直接报错。复杂编译期算法只能用哨兵值或static_assert(false, ...)错误信息不精确。constexpr异常让编译期代码的错误处理与运行时一样自然未捕获异常还能给出更清晰的诊断。三、完整代码示例3.1 编译期除法#includestdexcept#includeoptionalconstexprunsigneddivide(unsignedn,unsignedd){if(d0){throwstd::invalid_argument(division by zero);}returnn/d;}// 未捕获异常 → 编译错误提示 division by zero// constexpr auto a divide(5, 0); // 编译失败constexprstd::optionalunsignedsafe_divide(unsignedn,unsignedd){try{returndivide(n,d);}catch(...){returnstd::nullopt;}}constexprautooksafe_divide(10,2);// 5constexprautofailsafe_divide(10,0);// std::nulloptstatic_assert(ok.value()5);static_assert(!fail.has_value());intmain(){}3.2 配置校验场景constexprintparse_port(intp){if(p0||p65535){throwstd::out_of_range(port must be in [1, 65535]);}returnp;}constexprintportparse_port(8080);// OK// constexpr int bad parse_port(70000); // 编译错误四、编译器支持与特性测试宏编译器版本GCC15Clang19MSVC19.50#if__cpp_constexpr_exceptions202411L// constexpr 异常可用#endif五、常见陷阱不能逃逸到运行时编译期异常必须在编译期被捕获运行时调用仍正常constexpr函数在运行时调用时throw行为与往常一样析构函数要求编译期抛出的对象必须有constexpr析构函数。六、小结constexpr异常让编译期编程拥有正常的错误处理语义是 C26 元编程能力的重要拼图。适合配置校验、编译期算法、模板参数检查等场景。返回 C26 新特性全景合订本 C26 新特性全景解析C/C 后台架构学习社区欢迎关注https://github.com/0voice本文基于 C26 已批准特性撰写具体实现以编译器文档为准。