noexcept关键字用于声明函数不抛异常，提升性能与类型安全，支持高效移动语义，在STL中优先选择noexcept移动操作以避免拷贝，且可作为操作符判断表达式是否不抛异常。
在C++中，noexcept关键字用于指定一个函数不会抛出异常。它是一种异常规范（exception specification），帮助编译器优化代码，并提高程序的运行效率和安全性。
noexcept的基本作用
noexcept告诉编译器某个函数在正常情况下不会抛出异常。如果该函数确实抛出了异常，程序将直接调用std::terminate()终止执行，而不是进行栈展开。这种机制可以避免异常处理带来的额外开销。
使用noexcept的主要好处包括：
- 提升性能：编译器可以对不抛异常的函数进行更多优化
- 增强类型安全：明确表达函数是否可能抛出异常
- 支持移动语义的高效实现：标准库在某些操作中优先选择noexcept版本以保证强异常安全
noexcept的使用方式
noexcept可以以多种方式使用：
立即学习“C++免费学习笔记（深入）”；
- void func() noexcept; —— 表示func绝对不会抛出异常
- void func() noexcept(true); —— 等同于noexcept，显式指定为true
- void func() noexcept(false); —— 表示func可能抛出异常
- void func() noexcept(condition); —— 根据condition的布尔值决定是否为noexcept
例如：
void swap(MyClass& a, MyClass& b) noexcept(noexcept(a.swap(b)));这个写法表示swap是否为noexcept取决于成员函数a.swap(b)是否会抛出异常。
noexcept与移动操作的关系
在STL容器重新分配内存时（如vector扩容），如果元素的移动构造函数是noexcept的，容器会优先使用移动而非拷贝。否则，为了异常安全，会使用更安全但更慢的拷贝构造。
因此，如果你希望自定义类型的对象在vector中高效移动，应确保其移动构造函数和移动赋值运算符声明为noexcept：
class MyClass {public:
MyClass(MyClass&&) noexcept;
MyClass& operator=(MyClass&&) noexcept;
};
noexcept作为操作符使用
noexcept不仅可以作为说明符，还可以作为一元操作符，在编译期判断表达式是否会抛出异常：
bool isNoexcept = noexcept(someFunction()); // 返回true或false这个特性常用于模板编程中，根据函数是否noexcept来选择不同的实现路径。
基本上就这些。合理使用noexcept能提升程序性能并增强异常安全性，特别是在编写可移动类型和泛型代码时尤为重要。注意不要对可能抛异常的函数错误地标记为noexcept，否则会导致程序意外终止。
