noexcept是C++中确保异常安全和优化性能的关键机制，用于声明函数不抛出异常，若违反则调用std::terminate；析构函数应显式标记为noexcept以避免未定义行为；移动构造函数和移动赋值操作若不抛异常应标记noexcept，以提升STL容器操作效率；swap函数必须声明为noexcept，保障标准库算法的异常安全；对于可能失败的操作如资源获取或参数验证，不应盲目使用noexcept；模板中可结合noexcept操作符与类型特征实现条件性异常规范，如noexcept(noexcept(swap(a, b)))，增强泛型代码的兼容性；正确使用noexcept能显著提升程序的性能与可靠性。
在C++中，noexcept不仅仅是一个性能优化手段，更是编写异常安全代码的重要组成部分。正确使用 noexcept 能帮助编译器生成更高效的代码，同时提升程序的异常安全性，尤其是在标准库容器操作、移动语义和析构函数等关键场景中。
理解 noexcept 的基本含义
noexcept 是一个说明符，用于表明某个函数不会抛出异常。如果被标记为 noexcept 的函数抛出了异常，程序将直接调用 std::terminate() 终止执行。
它有两种形式：
- void func() noexcept; // 承诺不抛异常
- void func() noexcept(expr); // 根据 expr 是否为 true 决定是否 noexcept
例如：noexcept(true) 等价于 noexcept，而 noexcept(false) 表示可能抛出异常。
立即学习“C++免费学习笔记（深入）”；
析构函数应始终声明为 noexcept
C++标准要求析构函数默认是 noexcept 的。如果用户自定义的析构函数抛出异常，会导致未定义行为（通常程序终止）。
即使你不显式写 noexcept，编译器也会自动加上。但为了清晰表达意图，建议显式写出：
~MyClass() noexcept { }不要在析构函数中抛出异常。资源清理失败应通过其他方式处理，如记录日志或设置状态标志。
移动构造函数与移动赋值应尽可能 noexcept
STL 容器（如 std::vector）在重新分配内存时，会优先使用 noexcept 的移动构造函数来保证强异常安全。如果移动操作不是 noexcept，则退化为复制操作，影响性能。
例如：
class MyType { public: MyType(MyType&& other) noexcept : data(other.data), size(other.size) { other.data = nullptr; other.size = 0; } };
如果你的移动操作不会抛出异常（比如只涉及指针转移），就一定要加上 noexcept。这能让 std::vector::resize 或 std::vector::push_back 更高效地进行元素迁移。
swap 函数必须是 noexcept
swap 是许多算法和容器实现的基础操作，标准库期望它是无异常的。自定义类型的 swap 应显式声明为 noexcept：
void swap(MyType& a, MyType& b) noexcept { using std::swap; swap(a.data, b.data); swap(a.size, b.size); }对于类内定义的 swap 成员函数，也应如此处理。这是实现“异常安全交换”的前提。
何时不应使用 noexcept
并非所有函数都适合标记为 noexcept。以下情况应允许抛出异常：
- 资源获取失败（如文件打开、网络连接）
- 参数验证失败且无法恢复
- 逻辑错误需要通知调用者
在这种情况下，保留异常机制是合理的。盲目添加 noexcept 可能掩盖错误或导致程序崩溃。
条件性 noexcept 使用类型特征
有时你希望函数是否 noexcept 取决于其内部调用的操作是否安全。可以结合 noexcept 操作符与类型特征：
template外层 noexcept(...) 是操作符，用来判断表达式是否会抛出异常；内层是实际调用。这种写法让模板函数的异常规范更具泛型适应性。
总结：noexcept 最佳实践
- 析构函数必须是 noexcept
- 移动构造函数和移动赋值尽量设计为 noexcept
- 自定义 swap 必须是 noexcept
- 标准库兼容的类型要确保关键操作满足异常规范
- 不确定是否抛异常时，不要强行加 noexcept
- 模板中使用 noexcept(noexcept(...)) 实现条件异常规范
基本上就这些。合理使用 noexcept 不仅提升性能，还能增强代码的异常安全等级，特别是在容器和资源管理场景中尤为关键。
