C++ 中的异常规格说明（Exception Specification）用于声明一个函数可能抛出的异常类型。它帮助开发者了解函数的异常行为，也能在编译或运行时限制异常的传播。不过需要注意的是，C++11 起废弃了动态异常规范（
throw(type)），转而推荐使用
noexcept。以下是关于函数异常声明的语法和用法说明。 动态异常规范（已弃用） 注意：C++11 起已被弃用，C++17 起移除，不建议在新代码中使用。
早期 C++ 允许使用
throw(type_list)来指定函数可能抛出的异常类型。
语法：
返回类型 函数名(参数列表) throw(类型列表);
示例：
void func() throw(int); // 只能抛出 int 类型异常 void func() throw(); // 不抛出任何异常（等价于 noexcept） void func() throw(int, std::bad_alloc); // 可抛出 int 或 std::bad_alloc
如果函数抛出了未列在
throw()中的异常，程序会调用
std::unexpected()（C++17 起已移除），导致未定义行为或终止。 noexcept 规范（现代 C++ 推荐）
noexcept是 C++11 引入的异常规范，用于表明函数是否可能抛出异常。
语法：
返回类型 函数名(参数列表) noexcept(常量表达式);
其中常量表达式为
true时，表示不会抛出异常；为
false时，表示可能抛出异常。
常见形式：
void func() noexcept;
— 等价于noexcept(true)
，函数不会抛出异常void func() noexcept(false);
— 函数可能抛出异常void func() noexcept(expression);
— 根据 expression 的值决定是否允许异常
示例：
void swap_data(int& a, int& b) noexcept; // 保证不抛异常，常用于移动操作 void risky_op() noexcept(false); // 明确可能抛出异常 template<typename T> void copy_if_safe(T& a, T& b) noexcept(std::is_nothrow_copy_assignable<T>::value);
使用
noexcept的好处包括：
- 编译器可进行更多优化
-
标准库中某些操作（如 vector 扩容）会优先选择
noexcept
的移动构造函数 - 提高程序的异常安全性和性能
异常规范位于函数声明的参数列表之后，尾随返回类型之前或之后，取决于语法风格。
示例：
void foo() noexcept; auto bar() noexcept -> void; template<typename T> T create() noexcept(std::is_nothrow_default_constructible<T>::value);总结
现代 C++ 中应使用
noexcept替代旧的
throw(...)异常规范。它更简洁、性能更好，且被标准库广泛采用。对于不会抛出异常的函数（如析构函数、移动操作、swap 等），应尽量标记为
noexcept。
基本上就这些。异常规范虽小，但在编写高效、安全的 C++ 代码时不可忽视。
以上就是C++异常规格说明 函数异常声明语法的详细内容，更多请关注知识资源分享宝库其它相关文章！
发表评论:
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。