核心内容摘要
“日皮”的奥秘
C11 的noexcept是替代 C98 废弃异常说明的核心特性作为函数接口的关键组成部分仅当确定函数永远不会抛出异常时声明其
核心价值是让编译器生成更高效的目标代码同时为调用者 / STL 提供明确的异常安全承诺且不可为了加noexcept扭曲函数实现大多数函数因 “异常中立” 无需声明。
noexcept的
核心价值性能层面编译器最大化优化代码逻辑noexcept承诺 “函数异常传播时可直接终止程序”编译器无需保证调用栈完整展开、局部对象按构造反序析构因此可剔除冗余代码生成更精简高效的机器码对比差异noexcept函数的优化度远高于 C98 的throw()或无异常声明的函数后两者需预留栈展开的冗余代码// noexcept函数编译器无冗余准备极致优化 void moveWidget(Widget w) noexcept { // 无栈展开、析构顺序记录的冗余代码机器码更精简 } // throw()函数需预留栈展开准备优化有限C17已废弃 void moveWidget(Widget w) throw() { // 含局部对象析构顺序记录、栈可展开维护的冗余代码 } // 无声明函数默认按“可能抛异常”处理优化空间极小 void moveWidget(Widget w) { // 同throw()冗余代码多执行效率低 }语义层面作为接口承诺支撑 STL 核心逻辑逻辑noexcept是函数接口的关键属性与const同等重要调用者 / STL 会依赖该承诺判断是否安全使用高性能逻辑支撑场景移动操作构造 / 赋值STL 容器仅当移动操作noexcept时才会用 “移动” 替代 “拷贝”避免移动抛异常破坏异常安全// 移动构造加noexceptSTL容器优先用移动高效且安全 class Widget { public: Widget(Widget other) noexcept { // 转移资源无异常风险 } }; std::vectorWidget vec; Widget w; vec.push_back(std::move(w)); // 容器调用移动构造因noexceptswap函数高层次结构数组、std::pair的swap是否noexcept依赖底层元素加noexcept可让整个层级受益// 自定义Widget的swap加noexcept支撑数组/pair的swap优化 class Widget { public: void swap(Widget other) noexcept { // 交换资源无异常风险 } }; // 数组swap的noexcept依赖Widget::swap Widget arr1[5], arr2[5]; std::swap(arr1, arr
; // 因Widget::swap noexcept数组swap也noexcept析构 / 内存释放函数C11 默认隐式noexcept无需显式声明保证内存管理和对象销毁安全class Widget { public: ~Widget() { // 默认隐式noexcept无需显式写 // 销毁资源无异常风险 } }; // 内存释放函数默认noexcept void operator delete(void* ptr) { // 释放内存无异常风险 }noexcept的适用 / 不适用场景必加noexcept的场景移动构造 / 移动赋值函数STL 性能优化的核心swap函数STL 算法核心层级依赖其noexcept属性析构函数、operator delete/delete[]默认隐式noexcept无需显式声明无前置条件的宽泛契约函数且确定永不抛异常// 宽泛契约无前置条件且确定不抛异常加noexcept int calculateSum(int a, int b) noexcept { return a b; }绝对不加noexcept的场景异常中立函数自身不抛异常但内部调用可能抛加了会导致异常传播时程序直接终止// 异常中立函数内部调用可能抛的函数不加noexcept void processData(const std::string data) { // 调用可能抛异常的函数如new、文件操作 char* buf new char[data.size()]; // 允许异常传播到上层处理不加noexcept }严格契约函数有前置条件检查条件时无法抛异常调试// 严格契约前置条件s.length()32不加noexcept void processShortString(const std::string s) { // 调试时可抛异常提示前置条件违反故不加noexcept if (s.length()
{ throw std::invalid_argument(string too long); } }为加noexcept扭曲实现如捕获所有异常转状态码增加代码复杂度// 反例为加noexcept扭曲实现不推荐 int riskyFunc() noexcept { try { // 调用可能抛异常的函数 return callUnsafeFunc(); } catch (...) { // 捕获所有异常返回错误码增加复杂度 return -1; } }无法保证长期永不抛异常的函数noexcept是接口承诺修改会影响所有调用者注意点编译器不校验noexcept与函数实现的一致性noexcept函数可调用无noexcept但实际不抛的函数如 C 库、旧 C98 函数编译器不报错// noexcept函数调用无noexcept但实际不抛的C库函数编译器允许 void processString(const char* str) noexcept { std::strlen(str); // C库函数无noexcept但实际不抛 }正确性优先于优化永远不要为了加noexcept牺牲函数逻辑正确和接口稳定大多数函数是异常中立的无需加noexcept
总结仅当确定函数永不抛异常时才声明noexcept其是函数接口的重要组成部分。
noexcept函数可被编译器极致优化且是 STL 移动语义、swap函数高效安全使用的核心支撑。
移动操作、swap函数是noexcept的核心适用场景异常中立函数、严格契约函数等绝对不加noexcept。
原著在线阅读地址