我知道有许多函数永远不会抛出，但编译器无法自行确定。在所有这些情况下，我应该在函数声明中添加noexcept吗?

Noexcept很棘手，因为它是函数接口的一部分。特别是，如果您正在编写一个库，您的客户端代码可以依赖于noexcept属性。稍后可能很难更改它，因为您可能会破坏现有的代码。当您实现仅供您的应用程序使用的代码时，这可能不是一个大问题。

如果你有一个不能抛出的函数，问问自己它是否会像stay noexcept一样，还是会限制将来的实现?例如，您可能希望通过抛出异常来引入对非法参数的错误检查(例如，对于单元测试)，或者您可能依赖于其他可能改变其异常规范的库代码。在这种情况下，保守起见，不省略例外。

另一方面，如果你确信函数永远不会抛出，并且它是规范的一部分是正确的，你应该声明它为noexcept。但是，请记住，除非你的实现发生了变化，否则编译器将无法检测到违反no_type的情况。

在哪些情况下我应该更加小心地使用noexcept，在哪些情况下我可以使用隐含的noexcept(false)?

这里有四类你应该关注的函数，因为它们可能会产生最大的影响:

移动操作(移动赋值操作符和移动构造函数) 互换操作 内存释放器(operator delete, operator delete[]) 析构函数(尽管它们是隐式的noexcept(true)，除非你将它们设置为noexcept(false))

这些函数通常应该是noexcept，库实现很可能会使用noexcept属性。例如，std::vector可以在不牺牲强异常保证的情况下使用非抛出的move操作。否则，它将不得不返回到复制元素(就像在c++ 98中所做的那样)。

这种优化是在算法级别上的，不依赖于编译器优化。它可能会产生重大影响，特别是如果复制这些元素的成本很高的话。

在使用noexcept之后，我什么时候才能真正看到性能的改善?特别地，请给出一个c++编译器在添加noexcept后能够生成更好的机器代码的代码示例。

noexcept相对于无异常规范或throw()的优点是，当涉及到堆栈展开时，标准允许编译器有更多的自由。即使在throw()情况下，编译器也必须完全展开堆栈(并且必须以与对象结构完全相反的顺序进行)。

另一方面，在noexcept情况下，不需要这样做。没有要求堆栈必须展开(但编译器仍然允许这样做)。这种自由允许进一步的代码优化，因为它降低了总是能够展开堆栈的开销。

有关noexcept、堆栈展开和性能的相关问题更详细地讨论了需要堆栈展开时的开销。

我还推荐Scott Meyers的书“Effective Modern c++”，“Item 14:如果函数不会触发异常，则声明函数noexcept”，以供进一步阅读。

正如我这些天一直在重复的:语义第一。

添加noexcept、noexcept(true)和noexcept(false)首先是关于语义的。它只是附带地限制了一些可能的优化。

作为一个阅读代码的程序员，noexcept的存在类似于const:它帮助我更好地理解什么可能发生，什么可能不发生。因此，花些时间考虑是否知道函数是否会抛出是值得的。提醒一下，任何类型的动态内存分配都可能抛出。

现在来看可能的优化。

最明显的优化实际上是在库中执行的。c++ 11提供了许多特性，允许知道函数是否为noexcept，如果可能的话，标准库实现本身将使用这些特性来支持它们所操作的用户定义对象上的noexcept操作。比如move语义。

编译器可能只从异常处理数据中删减了一些内容，因为它必须考虑到您可能说谎的事实。如果标记为noexcept的函数抛出异常，则调用std::terminate。

选择这些语义有两个原因:

立即受益于noexcept，即使依赖还没有使用它(向后兼容) 允许在调用理论上可能抛出，但对于给定参数不期望抛出的函数时指定noexcept

noexcept can dramatically improve performance of some operations. This does not happen at the level of generating machine code by the compiler, but by selecting the most effective algorithm: as others mentioned, you do this selection using function std::move_if_noexcept. For instance, the growth of std::vector (e.g., when we call reserve) must provide a strong exception-safety guarantee. If it knows that T's move constructor doesn't throw, it can just move every element. Otherwise it must copy all Ts. This has been described in detail in this post.

我知道有许多函数永远不会抛出，但编译器无法自行确定。在所有这些情况下，我应该在函数声明中添加noexcept吗?

Noexcept很棘手，因为它是函数接口的一部分。特别是，如果您正在编写一个库，您的客户端代码可以依赖于noexcept属性。稍后可能很难更改它，因为您可能会破坏现有的代码。当您实现仅供您的应用程序使用的代码时，这可能不是一个大问题。

如果你有一个不能抛出的函数，问问自己它是否会像stay noexcept一样，还是会限制将来的实现?例如，您可能希望通过抛出异常来引入对非法参数的错误检查(例如，对于单元测试)，或者您可能依赖于其他可能改变其异常规范的库代码。在这种情况下，保守起见，不省略例外。

另一方面，如果你确信函数永远不会抛出，并且它是规范的一部分是正确的，你应该声明它为noexcept。但是，请记住，除非你的实现发生了变化，否则编译器将无法检测到违反no_type的情况。

在哪些情况下我应该更加小心地使用noexcept，在哪些情况下我可以使用隐含的noexcept(false)?

这里有四类你应该关注的函数，因为它们可能会产生最大的影响:

移动操作(移动赋值操作符和移动构造函数) 互换操作 内存释放器(operator delete, operator delete[]) 析构函数(尽管它们是隐式的noexcept(true)，除非你将它们设置为noexcept(false))

这些函数通常应该是noexcept，库实现很可能会使用noexcept属性。例如，std::vector可以在不牺牲强异常保证的情况下使用非抛出的move操作。否则，它将不得不返回到复制元素(就像在c++ 98中所做的那样)。

这种优化是在算法级别上的，不依赖于编译器优化。它可能会产生重大影响，特别是如果复制这些元素的成本很高的话。

在使用noexcept之后，我什么时候才能真正看到性能的改善?特别地，请给出一个c++编译器在添加noexcept后能够生成更好的机器代码的代码示例。

noexcept相对于无异常规范或throw()的优点是，当涉及到堆栈展开时，标准允许编译器有更多的自由。即使在throw()情况下，编译器也必须完全展开堆栈(并且必须以与对象结构完全相反的顺序进行)。

另一方面，在noexcept情况下，不需要这样做。没有要求堆栈必须展开(但编译器仍然允许这样做)。这种自由允许进一步的代码优化，因为它降低了总是能够展开堆栈的开销。

有关noexcept、堆栈展开和性能的相关问题更详细地讨论了需要堆栈展开时的开销。

我还推荐Scott Meyers的书“Effective Modern c++”，“Item 14:如果函数不会触发异常，则声明函数noexcept”，以供进一步阅读。

我认为现在给出一个“最佳实践”的答案还为时过早，因为还没有足够的时间在实践中使用它。如果在抛出说明符刚出来的时候被问到这个问题，那么答案将与现在大不相同。

不得不考虑是否需要在每个函数声明后添加noexcept将大大降低程序员的工作效率(坦率地说，这将是一种痛苦)。

那么，当函数明显不会抛出时使用它。

在使用noexcept之后，我什么时候才能真正看到性能的改善?[…就我个人而言，我不关心什么，因为给编译器提供了更多的自由，可以安全地应用某些类型的优化。

似乎最大的优化收益来自用户优化，而不是编译器的优化，因为可以检查noexcept和重载它。大多数编译器都遵循“如果不抛出就不惩罚”的异常处理方法，因此我怀疑它会在代码的机器代码级别上改变太多(或任何东西)，尽管可能会通过删除处理代码来减小二进制大小。

在四大函数中使用noexcept(构造函数，赋值函数，而不是析构函数，因为它们已经是noexcept了)可能会带来最好的改进，因为noexcept检查在模板代码中是“常见的”，比如在std容器中。例如，std::vector不会使用类的move，除非它标记为noexcept(或者编译器可以以其他方式推断它)。

这里有一个简单的例子来说明什么时候它真的很重要。

#include <iostream>
#include <vector>
using namespace std;
class A{
 public:
  A(int){cout << "A(int)" << endl;}
  A(const A&){cout << "A(const A&)" << endl;}
  A(const A&&) noexcept {cout << "A(const A&&)" << endl;}
  ~A(){cout << "~S()" << endl;}
};
int main() {
  vector<A> a;
  cout << a.capacity() << endl;
  a.emplace_back(1);
  cout << a.capacity() << endl;
  a.emplace_back(2);
  cout << a.capacity() << endl;
  return 0;
}

这是输出

0
A(int)
1
A(int)
A(const A&&)
~S()
2
~S()
~S()

如果我们在move构造函数中删除noexcept，输出如下

0
A(int)
1
A(int)
A(const A&)
~S()
2
~S()
~S()

关键的区别是A(const A&&) vs A(const A&&)。在第二种情况下，它必须使用复制构造函数复制所有值。效率很低!