在C++11标准中，noexcept关键字被引入用来显式声明某个函数不会抛出任何异常。它替代了旧标准中throw()动态异常规范的角色，并且在语义和性能层面都带来了实质性的改变。对于现代C++开发而言，正确运用noexcept不仅关乎异常安全，更直接参与到移动语义、标准库容器扩容策略以及编译器优化决策之中。
noexcept的基本语法与含义
noexcept最简单的用法是写在函数声明或定义的末尾，表示该函数保证不抛出任何异常。一旦函数在运行期确实抛出了异常，程序会直接调用std::terminate终止，而不是沿着正常的栈展开路径寻找catch块。这与传统的try-catch异常传播机制有本质区别。
除了无条件的noexcept，C++还允许使用noexcept(表达式)的形式，其中表达式在编译期求值为布尔常量。如果表达式为true，则等价于noexcept；为false则等价于普通函数。这种条件式声明常出现在模板或泛型代码中，用于根据类型属性动态决定是否承诺不抛异常。
#include <type_traits>
// 无条件不抛异常
void safe_func() noexcept {
// 仅做简单操作
}
// 条件式noexcept：仅当T的移动构造为noexcept时才承诺
template<typename T>
void move_and_work(T& a, T& b) noexcept(std::is_nothrow_move_constructible<T>::value) {
T tmp = std::move(a);
a = std::move(b);
b = std::move(tmp);
}
noexcept对异常安全的影响
异常安全通常指代码在异常发生时仍能保持资源不泄漏、对象状态合法。noexcept为函数提供了最强的异常安全保证级别：如果它真的不会抛异常，调用方无需为其准备回滚逻辑。但反过来，将本可能抛异常的函数标记为noexcept是危险的，因为异常一旦逃逸就会直接终止进程。
在设计类时，析构函数默认就是隐式noexcept的，这是C++11的重要改动。因为栈展开过程中若析构再抛异常，会导致程序必然调用terminate。因此开发者通常应确保析构函数绝不抛异常，或者在其中捕获所有异常。对于移动构造函数和移动赋值运算符，是否标记为noexcept决定了标准库是否会在容器操作中启用移动语义。
#include <vector>
#include <iostream>
class Buffer {
public:
Buffer(Buffer&& other) noexcept : data_(other.data_), size_(other.size_) {
other.data_ = nullptr;
other.size_ = 0;
}
~Buffer() noexcept { delete[] data_; } // 析构默认noexcept，这里显式写出
private:
int* data_;
size_t size_;
};
int main() {
std::vector<Buffer> v;
v.push_back(Buffer{}); // 扩容时可安全移动
return 0;
}
noexcept对性能优化的作用
从编译器角度看，noexcept函数不需要生成栈展开所需的异常表（如GCC的eh_frame），这能减小可执行文件体积，并让编译器更积极地做内联和其他优化。更重要的是，标准库会依据noexcept信息选择算法路径。
以std::vector扩容为例：当容量不足需要重新分配内存时，若元素类型的移动构造函数是noexcept的，标准库会使用移动而非拷贝来转移旧元素；否则出于异常安全考虑（移动中途抛异常会导致数据丢失），它会退化成拷贝构造。对于大对象或含有动态资源的类型，这种差异会带来数量级的性能区别。
| 元素移动构造 | vector扩容行为 | 性能特征 |
|---|---|---|
| noexcept | 移动元素 | 低开销，仅指针交换类操作 |
| 可能抛异常 | 拷贝元素 | 高开销，逐元素深拷贝 |
#include <vector>
#include <chrono>
#include <iostream>
struct BigNoexcept {
int* arr = new int[10000];
BigNoexcept(BigNoexcept&& o) noexcept : arr(o.arr) { o.arr = nullptr; }
~BigNoexcept() { delete[] arr; }
};
struct BigThrowing {
int* arr = new int[10000];
BigThrowing(BigThrowing&& o) : arr(o.arr) { o.arr = nullptr; } // 可能抛异常
~BigThrowing() { delete[] arr; }
};
template<typename T>
void bench(const char* name) {
std::vector<T> v;
auto start = std::chrono::high_resolution_clock::now();
for (int i = 0; i < 1000; ++i) v.push_back(T{});
auto end = std::chrono::high_resolution_clock::now();
std::cout << name << " cost: "
<< std::chrono::duration_cast<std::chrono::milliseconds>(end-start).count()
<< " msn";
}
int main() {
bench<BigNoexcept>("noexcept");
bench<BigThrowing>("throwing");
}
使用noexcept的注意事项
首先，不要盲目为所有函数添加noexcept。若函数内部调用了可能抛异常的操作（如内存分配、标准库IO），而又未捕获，则标记noexcept会让程序在异常时直接崩溃。应当仅在逻辑上确实不抛异常，或已内部处理所有错误的函数上使用。
其次，在重写虚函数时，如果基类虚函数标记为noexcept，派生类重写也必须noexcept，否则编译报错。这保证了多态调用时的异常安全契约一致。另外，标准库中的交换函数（swap）、移动操作在自定义类型时建议配合noexcept使用，以便融入标准库的优化假设。
经验法则：析构函数、移动构造、移动赋值、swap以及简单的getter/setter通常应标记为noexcept；而涉及资源申请或外部调用的复杂逻辑则谨慎使用。
总结与最佳实践
noexcept是C++11赋予开发者的一种契约工具，它从语法层面区分了“不会抛异常”和“可能抛异常”的接口。借助这一信息，标准库得以在容器扩容、算法实现中选择更高效的移动路径，编译器也能削减异常处理的额外负担。
在实际工程中，建议为不抛异常的移动操作、析构函数和交换逻辑显式标注noexcept，同时利用noexcept(表达式)在模板中传递类型能力。只要避免误标带来的terminate风险，noexcept就能在异常安全与运行性能之间建立良性桥梁。