noexcept

noexcept 是 C++11 引入的一个关键字，它用于指定一个函数是否会抛出异常。具体地说，如果你知道一个函数不会或不应该抛出任何异常，你可以使用 noexcept 来明确这一点。

使用 noexcept 的几个主要优点：

1. 性能：如果编译器知道某个函数不会抛出异常，它可能会生成更优化的代码，因为它不需要担心处理潜在的异常。
2. 代码清晰度：明确指出哪些函数不会抛出异常可以使代码更易读，帮助其他开发者理解函数的预期行为。
3. 强类型检查：如果函数标记为 noexcept，但实际上它抛出了异常，那么程序会调用 std::terminate() 来终止程序执行。

noexcept 还可以作为一个运算符来检查给定的表达式是否可能抛出异常：

bool a = noexcept(func4());  // 返回 true，因为 func4() 是 noexcept
1

noexcept 运算符用于在编译时检查表达式是否可能抛出异常。它返回一个布尔值，如果表达式保证不抛出异常，它返回 true；否则，返回 false。

noexcept 运算符通常与模板和通用编程一起使用，使得函数或类模板可以基于其模板参数的异常保证来调整其行为。这是一种在编译时进行异常安全性检查的方法。

例如，考虑一个模板函数，该函数调用另一个函数，并希望根据该函数是否抛出异常来改变其行为：

template <typename Func>
void wrapper(Func f) {
    if constexpr (noexcept(f())) {
        // Do something if f doesn't throw...
        f();
    } else {
        // Do something else if f might throw...
        try {
            f();
        } catch (...) {
            // Handle exception...
        }
    }
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

在这个示例中，wrapper 函数使用 if constexpr 来在编译时检查传递给它的函数 f 是否可能抛出异常，并根据结果选择不同的行为。