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 函数的调用则必须进行运行时检查。