C++中异常规范用于声明函数可能抛出的异常类型,C++11起推荐使用noexcept替代已弃用的throw()。1. 动态异常规范throw(type)在C++17中被移除,若抛出未列异常将导致未定义行为;2. noexcept规范通过noexcept或noexcept(expression)声明函数是否抛异常,提升性能与安全性;3. noexcept常用于移动构造、swap等操作,标准库优先选择noexcept函数进行优化;4. 异常规范位于参数列表后,现代C++建议对不抛异常的函数显式标注noexcept。

C++ 中的异常规格说明(Exception Specification)用于声明一个函数可能抛出的异常类型。它帮助开发者了解函数的异常行为,也能在编译或运行时限制异常的传播。不过需要注意的是,C++11 起废弃了动态异常规范(
throw(type)
),转而推荐使用
noexcept
。以下是关于函数异常声明的语法和用法说明。
动态异常规范(已弃用)
注意:C++11 起已被弃用,C++17 起移除,不建议在新代码中使用。
早期 C++ 允许使用
throw(type_list)
来指定函数可能抛出的异常类型。
语法:
返回类型 函数名(参数列表) throw(类型列表);
示例:
立即学习“C++免费学习笔记(深入)”;
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 的值决定是否允许异常
示例:
立即学习“C++免费学习笔记(深入)”;
void swap_data(int& a, int& b) noexcept; // 保证不抛异常,常用于移动操作void risky_op() noexcept(false); // 明确可能抛出异常templatevoid copy_if_safe(T& a, T& b) noexcept(std::is_nothrow_copy_assignable::value);
使用
noexcept
的好处包括:
编译器可进行更多优化 标准库中某些操作(如 vector 扩容)会优先选择
noexcept
的移动构造函数 提高程序的异常安全性和性能
异常规范的位置
异常规范位于函数声明的参数列表之后,尾随返回类型之前或之后,取决于语法风格。
示例:
立即学习“C++免费学习笔记(深入)”;
void foo() noexcept;auto bar() noexcept -> void;templateT create() noexcept(std::is_nothrow_default_constructible::value);
总结
现代 C++ 中应使用
noexcept
替代旧的
throw(...)
异常规范。它更简洁、性能更好,且被标准库广泛采用。对于不会抛出异常的函数(如析构函数、移动操作、swap 等),应尽量标记为
noexcept
。
基本上就这些。异常规范虽小,但在编写高效、安全的 C++ 代码时不可忽视。
以上就是C++异常规格说明 函数异常声明语法的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1473960.html
微信扫一扫
支付宝扫一扫