C++中的noexcept关键字如何使用？（异常安全保证）

noexcept是C++11引入的编译期异常契约，声明函数不抛异常以支持优化和标准库高效路径；需谨慎使用，仅用于真正不抛异常的函数，否则触发std::terminate。

noexcept 是 C++11 引入的关键字，用于声明函数**不会抛出任何异常**。它不是运行时检查机制，而是一种编译期契约——告诉编译器“我保证不抛异常”，从而支持更激进的优化，并让标准库（如 std::vector 的移动操作）在类型满足 noexcept 时启用更高效的路径（比如移动而非拷贝）。

基本语法与两种写法

noexcept 可以单独使用，也可带常量表达式：

void f() noexcept; —— 明确承诺不抛异常，若违反（如内部调用抛异常的函数），程序直接调用 std::terminate() 终止，不栈展开。
void g() noexcept(noexcept(expr)); —— 条件 noexcept：当 expr 调用本身是 noexcept 时，g 也是；否则不是。常用于转发函数或模板中自动推导异常规格。

哪些函数强烈建议加 noexcept

以下函数若逻辑上确实不抛异常，加上 noexcept 能提升性能与正确性：

析构函数（默认是 noexcept，显式写上更清晰）
移动构造函数和移动赋值运算符（std::vector 等容器扩容时依赖此判断能否安全移动）
swap 函数（标准库算法常要求 noexcept swap 以保证强异常安全）
某些关键工具函数（如 size()、empty()、data() 等只做简单访问的操作）

noexcept 不是万能的，注意这些陷阱

盲目添加可能引发未定义行为或掩盖问题：

如果函数体内调用了可能抛异常的代码（例如 new 失败、throw、调用未标记 noexcept 的第三方函数），又声明了 noexcept，一旦触发就会立即终止程序。
虚函数的 noexcept 规格必须与基类一致（协变规则），否则编译报错；子类不能比父类更“宽松”（即基类 noexcept，子类不能不写或写成可能抛异常）。
函数指针类型包含 noexcept 信息，void(*)() noexcept 和 void(*)() 是不同类型，不可混用。

如何检查一个函数是否是 noexcept

用标准库类型特性 std::is_nothrow_xxx 或 noexcept(operator) 运行期表达式：

static_assert(noexcept(obj.f()), "f must be noexcept");
if (noexcept(a + b)) { /* 安全执行加法 */ }
std::is_nothrow_move_constructible_v 判断类型 T 是否可无异常移动构造

noexcept 是构建异常安全接口的重要拼图，它不增加运行时开销，但要求开发者对函数行为有准确把握。用得好，能让代码既高效又健壮；滥用则可能导致静默崩溃。关键在于——只对真正不抛异常的函数加，且保持契约一致性。

# 工具 # 栈 # c++ # 标准库 # 常量 # 运算符 # 赋值运算符 # if # 父类 # 子类 # 构造函数 # 析构函数 # throw # void # 指针 # 虚函数 # 接口 # 指针类型 # operator # 算法 # 就会 # 两种 # 也可 # 能让 # 报错 # 而非 # 则可 # 第三方 # 它不

返回目录在线咨询

上一篇：Javascript 对cookie操作详解及实例
下一篇：做蛋糕的网站,私人怎么在网上卖蛋糕？

您的项目需求