noexcept 规范允许编译器识别函数是否会抛出异常，从而优化异常性能：noexcept(true)：函数不会抛出异常，编译器生成更有效代码。noexcept(false)：函数可能会抛出异常，编译器执行运行时检查。noexcept：函数可能不会抛出异常，取决于输入参数。
C++ 自身函数详解及应用：noexcept 规范优化异常性能
简介
noexcept 规范是一种 C++ 特性，它允许编译器确定函数是否会抛出异常。这对于性能优化非常重要，因为它允许编译器在没有运行时检查的情况下生成更有效的代码。
noexcept 规范语法
noexcept 规范可以添加到函数声明或函数定义中，其语法如下：
立即学习“C++免费学习笔记（深入）”；
returnType functionName(parameters ...) noexcept(expression);
其中，expression 是一个布尔表达式，该表达式指定函数是否会抛出异常：
-
noexcept(true)：函数不会抛出异常。 -
noexcept(false)：函数可能会抛出异常。 -
noexcept：函数可能不会抛出异常，取决于输入参数。
优化异常性能
使用 noexcept 规范可以优化异常性能，因为：
- 编译器可以生成更有效的代码，因为它不需要在调用时执行运行时检查。
- 异常检查被从调用代码中移除，从而减少了开销。
- 编译器可以内联 noexcept 函数，从而进一步提高性能。
实战案例
以下是一个 noexcept 规范的实战案例：
#include <iostream>
// 不会抛出异常的函数
int add(int a, int b) noexcept {
return a + b;
}
// 可能抛出异常的函数
int divide(int a, int b) {
if (b == 0) {
throw std::runtime_error("除数不能为 0");
}
return a / b;
}
int main() {
// 调用不会抛出异常的函数，编译器优化调用
std::cout << add(1, 2) << std::endl;
// 调用可能会抛出异常的函数，编译器无法优化调用
try {
std::cout << divide(1, 0) << std::endl;
} catch (const std::runtime_error& e) {
std::cout << "错误： " << e.what() << std::endl;
}
return 0;
}在这个示例中，add 函数被声明为 noexcept，而 divide 函数则不是。因此，编译器可以优化对 add 函数的调用，而 divide 函数的调用则必须进行运行时检查。
