noexcept关键字用于声明函数不抛异常，提升性能与安全性。它替代throw()，支持编译期检查，优化二进制体积；在移动构造、析构函数等场景启用高效路径，并增强接口契约明确性。
在C++中，noexcept关键字用于指定一个函数不会抛出任何异常。它是一种异常规范（exception specification），从C++11开始引入，用来替代旧版C++中的throw()语法，并提供更高效、更清晰的异常控制机制。
noexcept的作用
noexcept的主要作用是告诉编译器和开发者：该函数在正常执行过程中不会抛出异常。这一信息可以带来以下几个好处：
- 性能优化：编译器知道函数不会抛出异常后，可以省略相关的异常处理表（如栈展开信息），从而减小二进制体积并提升运行效率。
-
启用特定优化路径：例如，在
std::vector扩容时，如果元素的移动构造函数被标记为noexcept，则优先使用移动而非拷贝，以提高性能。 - 增强代码可读性和安全性**：明确表达函数的异常行为，有助于接口设计和错误处理逻辑的编写。
基本用法
将noexcept放在函数声明或定义的末尾即可表示该函数不抛出异常：
void anotherFunction() noexcept {}
上面两个函数都承诺不会抛出异常。若它们内部实际抛出了异常，则程序会直接调用std::terminate()终止运行，而不会进行栈展开。
立即学习“C++免费学习笔记（深入）”；
也可以使用带条件的noexcept：
void swap(T& a, T& b) noexcept(noexcept(a.swap(b)));
这里的外层noexcept(表达式)表示只有当表达式为true时，函数才标记为noexcept。内层noexcept(a.swap(b))是一个操作符，用于判断a.swap(b)是否会抛出异常（返回bool值）。
noexcept作为操作符使用
noexcept不仅可以作为说明符，还可以作为一元操作符，出现在表达式中，返回一个bool值：
这行代码检查someFunction()是否被声明为noexcept，如果是，则willNotThrow为true。这个特性常用于模板元编程中做编译期判断。
与throw()的区别
在C++11之前，使用throw()来声明函数不抛异常：
但throw()存在一些问题：
- 它是在运行时进行检查，仍需生成异常处理代码，影响性能。
- 如果函数意外抛出异常，会调用
std::unexpected()，行为复杂且已被移除（C++17起）。
相比之下，noexcept是编译期决定的，更高效，语义更清晰。
何时应使用noexcept
-
析构函数：默认建议所有析构函数为
noexcept，否则在栈展开过程中可能引发未定义行为。 -
移动构造函数和移动赋值运算符：如果你希望STL容器在扩容时优先使用移动而非拷贝，必须将其标记为
noexcept。 - 系统回调或底层函数：如信号处理、资源释放等不应抛异常的场景。
-
标准库兼容性需求：某些算法或容器依赖
noexcept属性选择最优实现路径。
基本上就这些。合理使用noexcept不仅能提升程序性能，还能让接口契约更明确。虽然不是每个函数都需要加，但在关键位置正确标注，对健壮性和效率都有帮助。
