C++异常规格说明 函数异常声明语法

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++ 允许使用

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()

noexcept 规范（现代 C++ 推荐）

noexcept

语法：

返回类型 函数名(参数列表) noexcept(常量表达式);

其中常量表达式为

true

false

常见形式：

Simplified

AI写作、平面设计、编辑视频和发布内容。专为团队打造。

下载

• 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);           // 明确可能抛出异常
template
void 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;

template
T create() noexcept(std::is_nothrow_default_constructible::value);

总结

现代 C++ 中应使用

noexcept

throw(...)

noexcept

基本上就这些。异常规范虽小，但在编写高效、安全的 C++ 代码时不可忽视。