摘要：异常安全性在现代 c++++ 中至关重要，可确保应用程序稳定性。函数的异常安全性类型包括：强异常安全性：任何异常都不会修改输入状态。基本异常安全性：仅特定异常会修改输入状态。最佳实践：const 函数不应抛出异常。用 noexcept 或 throw() 指定函数的异常抛出行为。使用智能指针自动释放资源。实战案例：add 函数实现基本异常安全性，而 add_strong 函数使用 try-catch 块实现强异常安全性，在发生异常时还原输入状态。注意事项：避免在构造函数/析构函数中

C++ 函数的进阶指南：异常安全性的考量

异常安全性是现代 C++ 编程中至关重要的一项考虑因素。在函数中正确处理异常可以确保应用程序的鲁棒性和稳定性。本文档将指导您了解 C++ 函数的异常安全性最佳实践，并附带实战案例。

异常安全性基础

异常安全性是指确保函数在发生异常时不会破坏应用程序状态的能力。有两种类型的异常安全性：

• 强异常安全性：函数保证无论出现任何异常，都不会修改其输入状态。
• 基本异常安全性：函数保证只有在特定类型的异常发生时才会修改其输入状态。

异常安全性实践

实现异常安全性需要遵循以下最佳实践：

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

• 不要在 const 函数中抛出异常：const 函数保证不修改其输入状态，而抛出异常会违反此保证。
• 明确指定可能抛出的异常：使用 noexcept 关键字明确指定函数不会抛出任何异常或 throw() 关键字指定函数可能抛出任何异常。
• 使用智能指针：智能指针（例如 std::unique_ptr 和 std::shared_ptr）可以在发生异常时自动释放资源，从而确保异常安全性。

实战案例

考虑以下示例：

int add(int num1, int num2) {
  return num1 + num2;
}

该函数基本异常安全，因为在任何情况下都不会修改其输入状态。然而，如果要修改其输入状态，则需要实现强异常安全性：

int add_strong(int& num1, int& num2) {
  try {
    return num1 + num2;
  } catch (...) {
    // 发生异常，还原输入状态
    num1 = 0; num2 = 0;
    throw;
  }
}

在该示例中，add_strong 函数使用 try-catch 块来捕获异常并还原输入状态，从而实现强异常安全性。

注意事项

处理异常时，需要考虑以下注意事项：

• 避免在构造函数/析构函数中抛出异常，因为它可能导致资源泄漏或对象处于无效状态。
• 考虑捕获特定的异常类型并执行适当的操作。
• 在抛出异常之前，确保释放所有资源并清理应用程序状态。这样做可以防止应用程序由于未处理的异常而崩溃。