noexcept是C++11引入的异常规范关键字，声明函数不抛异常，影响编译器优化、标准库行为及函数重载；需谨慎用于确定无异常的操作，避免误用导致性能下降或未定义行为。
noexcept 是 C++11 引入的关键字，用来显式声明一个函数**不会抛出任何异常**。它不只是注释，而是编译器可验证的契约，直接影响异常处理机制、函数调用开销、以及某些标准库操作（如 move 构造、容器重分配）能否安全启用优化。
noexcept 能让编译器生成更轻量的调用代码
当函数被标记为 noexcept，编译器知道无需为其准备栈展开（stack unwinding）支持。这意味着：
省去异常处理表（exception table）的生成和查找开销 避免在调用前后插入隐式的 try/catch 或清理帧（cleanup frame） 某些情况下允许内联或更激进的优化（尤其对 trivial 操作）
例如：std::vector::push_back 在移动元素时，若元素的移动构造函数是 noexcept，vector 就敢用移动而非拷贝——因为移动失败也不会导致数据损坏；否则会退回到更保守（但更慢）的拷贝策略。
noexcept 是类型系统的一部分，影响函数签名和重载解析
noexcept 是函数类型的一部分。下面两个函数类型不同，可以重载：
立即学习“C++免费学习笔记（深入）”；
void f() noexcept; void f();（等价于 void f() noexcept(false);）
标准库中很多模板（如 std::move_if_noexcept）依赖这个特性做编译期分支。你也可以用 noexcept(expr) 运算符在编译期判断表达式是否可能抛出，比如：
templateauto safe_move(T&& x) noexcept(noexcept(T(std::move(x)))) -> decltype(T(std::move(x))) { return T(std::move(x));}
不加 noexcept 可能导致意外的性能回退或行为变化
常见易错点：
析构函数默认是 noexcept(true)，但如果你手动写了可能抛异常的析构函数（不推荐），必须显式写 ~T() noexcept(false)，否则违反规则会直接调用 std::terminate 移动构造/移动赋值若未声明 noexcept，标准容器（如 vector、deque）在扩容时大概率拒绝使用移动，改用拷贝——性能可能差一个数量级 虚函数的 noexcept 说明符必须在基类和派生类中一致，否则编译报错（它是协变的一部分）
怎么合理使用 noexcept
原则：只对**确实不会、也不应该抛异常**的函数加 noexcept。
空操作、纯计算、内置类型操作、swap、move 等通常适合 涉及 I/O、内存分配（new）、字符串转换等操作，一般不该加（除非你明确捕获并处理了所有异常） 可以先不加，用 noexcept 运算符测试：static_assert(noexcept(obj.func()), "func must be noexcept"); 用 noexcept 替代老式 throw()（后者在 C++11 已弃用，且语义不同）
基本上就这些。它不复杂，但容易忽略——加对了，异常安全和性能都能悄悄提升一大截。
以上就是c++++中的noexcept关键字有什么用_c++异常安全与性能优化【C++11】的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1488208.html
微信扫一扫 
支付宝扫一扫 
