C++ 中不应抛出异常的函数总结

在 C++ 中，异常处理是一个重要的特性，它允许程序在遇到错误时能够优雅地恢复。

然而，并不是所有的函数都适合抛出异常。以下是一些不应抛出异常的函数类型：

1. 析构函数：
   • 析构函数负责资源的清理和释放。如果析构函数抛出异常，并且没有被捕获，那么程序可能会终止。这会导致资源泄露或程序状态的不一致。
2. 移动构造函数和移动赋值运算符：
   • 移动构造函数和移动赋值运算符负责对象的移动语义。如果这些函数抛出异常，那么可能会导致资源泄露或对象状态的不一致。
3. swap 函数：
   • swap 函数用于交换两个对象的状态。如果 swap 函数抛出异常，那么可能会导致对象状态的不一致。
4. 内存分配和释放函数：
   • 如operator new和operator delete，这些函数负责内存的分配和释放。如果这些函数抛出异常，那么可能会导致内存泄露或程序崩溃。
5. 标准库中的非抛出异常函数：
   • 标准库中的一些函数，如 hash、less 等。

总之，在设计函数时，应仔细考虑是否应该抛出异常。对于上述类型的函数，最好使用错误码、断言或其他机制来处理错误，而不是抛出异常。这样可以提高程序的健壮性和可靠性。

更进一步地，可参见如下详细介绍：

1. 全局对象的初始化过程不可抛出异常
2. 析构函数不可抛出异常
3. 内存回收函数不可抛出异常
4. 对象交换过程不可抛出异常
5. 移动构造函数和移动赋值运算符不可抛出异常
6. 异常类的拷贝构造函数不可抛出异常
7. 异常类的构造函数和异常信息相关的函数不应抛出异常
8. 与标准库相关的 hash 过程不应抛出异常