在 c++ 函数中管理异常传播的陷阱包括：隐藏的异常、嵌套异常和函数混乱。最佳实践包括明确指定抛出的异常、仅捕获特定异常、考虑传递异常和使用 exception_ptr。通过这些最佳实践，您可以提高代码的可靠性和可维护性。

C++ 函数的陷阱：如何管理函数中的异常传播

C++ 中的异常处理机制提供了一种优雅的方式来处理错误条件和意外事件。然而，在函数设计中管理异常传播却是一个常见的陷阱。如果处理不当，可能会导致代码不可靠和难以维护。

异常传播的陷阱：

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

• 隐藏的异常： 函数可能抛出异常，但调用方没有捕获，导致程序崩溃或未定义行为。
• 嵌套异常： 捕获异常时，另一个异常可能再次抛出，导致难以追踪和调试。
• 函数混乱： 如果函数在不同情况下抛出多个异常，调用方必须处理所有这些异常，导致函数杂乱无章。

最佳实践：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 明确指定抛出的异常： 在函数的 noexcept 规范中声明抛出的异常类型，或使用 throw() 关键字指定 nothrow 函数。
• 捕获特定异常： 仅捕获引发后需要采取特定操作的异常。
• 考虑传递异常： 如果函数无法处理特定异常，请考虑将其传递给调用方。
• 使用 exception_ptr： 捕获异常并将其存储在 exception_ptr 对象中，以便在需要时重新抛出。

实战案例：

考虑以下示例函数：

void foo() {
  try {
    // ...代码
    throw std::runtime_error("Error!");
  } catch (std::exception& e) {
    // 处理异常
  }
}

如果调用方不捕获异常，程序将崩溃。要解决此问题，调用方可以如下捕获异常：

int main() {
  try {
    foo();
  } catch (std::exception& e) {
    // 处理异常
  }
  return 0;
}

如果函数无法处理特定的异常，可以将异常传递给调用方，如下所示：

void foo() {
  try {
    // ...代码
    throw std::invalid_argument("Invalid argument!");
  } catch (std::exception& e) {
    if (e.what() == "Invalid argument!") {
      // 处理特定异常
    }
    throw; // 将其他异常传递给调用方
  }
}

使用 exception_ptr 可以在需要时重新抛出异常，如下所示：

void foo() {
  try {
    // ...代码
    throw std::runtime_error("Error!");
  } catch (std::exception& e) {
    auto e_ptr = std::make_exception_ptr(e);
    // ...代码
    std::rethrow_exception(e_ptr);
  }
}

通过遵循这些最佳实践，您可以有效管理 C++ 函数中的异常传播，提高代码的可靠性和可维护性。