c++新特性：noexcept

noexcept 是C++11引入的新特性，用于指示函数是否抛出异常。它是一种异常规范（Exception Specification）的一部分，用于帮助开发者更好地管理和处理异常，提高代码的可靠性和性能。

基本语法

return_type function_name(parameters) noexcept;

• return_type 是函数的返回类型。
• function_name 是函数的名称。
• parameters 是函数的参数列表。
• noexcept 是关键字，用于指示函数是否抛出异常。

noexcept 后面可以跟一个表达式，用于指定在函数体中是否抛出异常，例如 noexcept(true) 表示不抛出异常，noexcept(false) 表示可以抛出异常。

noexcept 用途

1. 性能优化： 当编译器知道函数不会抛出异常时，它可以进行一些优化，提高代码的执行速度。这对于性能关键的应用程序特别有用。
2. 异常安全性： 在某些情况下，你可能希望确保函数不会抛出异常，以确保程序状态的一致性。通过使用noexcept，你可以更好地控制异常的传播，确保在异常发生时进行适当的处理。
3. 静态断言： 你可以使用static_assert结合noexcept来在编译时检查函数是否抛出异常。这可以用于强制确保某些函数不会抛出异常，以满足项目的特定需求。

示例

#include <iostream>
#include <vector>
void may_throw() {
    throw std::runtime_error("An exception occurred");
}
//noexcept(false),noexcept(true)
void no_throw() noexcept(false) {
    // 不抛出异常
}
int main() {
    try {
        may_throw();
    } catch (const std::exception& e) {
        std::cerr << "Caught an exception: " << e.what() << std::endl;
    }
    if (noexcept(no_throw())) {
        std::cout << "no_throw() does not throw exceptions." << std::endl;
    } else {
        std::cout << "no_throw() may throw exceptions." << std::endl;
    }
    return 0;
}

在这个示例中，may_throw() 函数可以抛出异常，而 no_throw() 函数被标记为noexcept，表示它不会抛出异常。在main函数中，我们捕获了may_throw() 函数抛出的异常，并使用 noexcept 运算符检查了 no_throw() 函数的异常规范。

noexcept 的注意事项

1. 异常规范的一致性： 如果函数在声明和定义中都使用了noexcept，那么它们的异常规范必须一致，即要么都不抛出异常，要么都可能抛出异常。否则，这将引发编译错误。
2. 不要滥用noexcept： 不是所有的函数都适合使用noexcept，只有在确定函数不会抛出异常或者确实需要管理异常时才应使用它。滥用noexcept 可能会导致错误的代码。
3. 异常处理： 如果你使用了noexcept，仍然应该在适当的地方进行异常处理，以确保程序的健壮性。

总结

noexcept 是一项有助于提高代码性能和异常安全性的特性。它可以用于优化代码、确保异常的可控性和满足项目的需求。然而，它需要慎重使用，以确保正确性和可维护性。