noexcept关键字有什么作用 C++11异常说明符使用指南

noexc++ept用于声明函数不抛出异常。在c++11中，noexcept替代了throw()，可出现在函数声明或定义末尾，如void func() noexcept;表示func不会抛异常；也可带布尔参数，如noexcept(false)表示可能抛异常。与throw()相比，noexcept性能更好、安全性更高，支持编译时常量表达式优化。建议在移动构造函数、析构函数、自定义容器类等场景使用noexcept以提升性能和接口清晰度；但需注意若在noexcept函数中抛异常会导致程序终止，且并非所有函数都适合加noexcept，模板函数可结合条件判断使用。合理使用noexcept能优化性能并明确代码意图。

在C++11中，

noexcept

关键字的作用是用来明确声明一个函数是否会抛出异常。简单来说，它是一个更现代、更高效的异常说明符，用来替代早期版本中的

throw()

语法。

什么是

noexcept

？

noexcept

可以出现在函数声明或定义的末尾，表示这个函数不会抛出任何异常。例如：

void func() noexcept;

这表示

func()

不会抛出异常。与之相对的是：

立即学习“C++免费学习笔记（深入）”；

void func();

这表示该函数可能会抛出异常（但不指定具体类型）。

你也可以带一个布尔参数，比如

noexcept(false)

，这样就表示函数可能抛出异常。不过一般直接写

noexcept

就表示

true

，也就是不抛出。

noexcept

和

throw()

有什么区别？

在C++11之前，我们常用

throw()

来限制异常类型，比如：

void func() throw(); // 不抛出任何异常 void func() throw(int); // 只能抛出int类型的异常

但这种写法已经被C++11废弃了，主要原因有：

• 性能差：运行时检查异常规范并抛出

  std::unexpected
• 安全性低：不能很好地支持模板和泛型编程

而

noexcept

是编译时常量表达式，可以在编译时做更多优化，比如移动构造函数是否安全等。

什么时候应该使用

noexcept

？

使用

noexcept

主要有两个好处：

• 性能优化：某些标准库操作（如

  std::vector

  扩容时的移动构造）会优先选择标记为

  noexcept

  的函数。

• 接口清晰：告诉调用者这个函数不会抛异常，有助于写出更健壮的代码。

常见使用场景包括：

• 移动构造函数/移动赋值运算符
• 析构函数（默认就是

  noexcept

  ）

• 自定义容器类的操作
• 需要保证异常安全的系统级函数

举个例子：

class MyClass { public:     MyClass(MyClass&&) noexcept; // 表示移动构造不会抛异常 };

如果你确定某个函数不会抛出异常，就应该加上

noexcept

，这样可以让编译器做出更好的优化决策。

使用

noexcept

需要注意什么？

虽然

noexcept

好用，但也有几个点需要注意：

• 如果你在

  noexcept

  函数里抛出了异常，程序会调用

  std::terminate()

  直接终止。

• 并不是所有函数都适合加

  noexcept

  ，尤其是那些内部调用了可能抛异常的函数。

• 对于模板函数，可以用条件判断来决定是否

  noexcept

  ，例如：

template<typename T> void my_swap(T& a, T& b) noexcept(noexcept(a = std::move(b))) {     a = std::move(b); }

这段代码的意思是：只有当对T类型执行移动赋值不会抛异常时，

my_swap

才被标记为

noexcept

。

基本上就这些。合理使用

noexcept

不仅能提升性能，还能让代码意图更清晰。但别滥用，只在确实不会抛异常的地方加上它。