noexcept用于声明函数绝不抛出异常，提升编译器优化与标准库行为（如vector移动优先）；违约则调用std::terminate；支持条件表达式和类型特征，是现代C++关键契约。
noexcept 用来声明一个函数**不会抛出任何异常**，是C++11引入的异常规范机制，核心作用是让编译器和调用者明确知道该函数的异常安全性，从而支持更激进的优化和更安全的模板行为（比如移动操作、容器重分配）。
告诉编译器：这个函数绝不会 throw
加了 noexcept 的函数，如果在运行时意外抛出了异常（比如调用了可能抛异常的函数却没捕获），程序会立即调用 std::terminate() 终止，而不是尝试栈展开。这比旧式的 throw() 更轻量、更高效。
- 写法简单：
void func() noexcept;或int calc() const noexcept(true); - 等价写法：
noexcept就是noexcept(true)；noexcept(false)表示可能抛异常（通常省略不写） - 编译器可据此省略异常处理表、跳过栈展开准备，生成更小更快的代码
影响移动语义和标准容器行为
很多标准库操作（如 std::vector 扩容时的元素移动）会优先选择 noexcept 的移动构造/赋值函数。如果移动操作被标记为 noexcept，容器就能放心地用移动代替拷贝，提升性能；否则可能退回到更保守的拷贝策略。
- 例如：
std::vector在resize时，若MyClass的移动构造函数是noexcept，就直接移动；否则可能先拷贝再销毁，避免异常导致状态不一致 - 建议：只要你的移动操作确实不抛异常，就显式加上
noexcept
可用于条件 noexcept 表达式
通过 noexcept(表达式) 可以做编译期判断：该表达式是否保证不抛异常。常用于模板中实现 SFINAE 或 constexpr if 分支。
立即学习“C++免费学习笔记（深入）”；
- 例如：
noexcept(std::declval判断().move()) T::move()是否 noexcept - 搭配
std::is_nothrow_move_constructible_v等类型特征，能写出更精准的泛型逻辑
不是万能的，也不能替代 try/catch
noexcept 是契约，不是保险。它不阻止你写 throw，也不捕获异常——只是在违约时终止程序。它不解决“如何处理错误”，而是回答“这个函数是否承诺绝不传播异常”。
- 不要给可能调用未知第三方代码的函数乱加
noexcept - 析构函数默认是
noexcept（C++11起），手动加noexcept(false)需谨慎，容易导致未定义行为 - 普通函数若无明确理由，不强制加
noexcept；但移动、交换、析构等关键操作，建议明确标注
基本上就这些。noexcept 不复杂但容易忽略，合理使用能让代码更高效、更可靠，尤其在现代C++的资源管理和泛型编程中很关键。
