C++线程程序中子函数异常如何传播至main函数？

问题场景 #

我尝试理解C++中不同函数间的异常如何传播并返回至main函数，现有代码示例如下：

main.cpp:

int run () {
..
try {
  testException(file);
} catch (const std::exception &e) {
    std::cerr << "Error: " << e.what() << std::endl;
}
return 0;
}

test.cpp:

std::exception_ptr g_exceptionPtr = nullptr;

void testThread() {
   std::this_thread::sleep_for(std::chrono::milliseconds(100));
   ..
}

void testException(const std::string &file) {
  TestCSV csv(file);
  try {
    std::thread input(testThread);
    csv.writeToCSV(file, a, b, c);
    input.join();
  } catch (const std::runtime_error &e) {
      g_exceptionPtr = std::current_exception();
      std::rethrow_exception(g_exceptionPtr);
  }
}

test_csv.cpp:

TestCSV::writeToCSV(const std::string &file, const std::string &a, const std::string &b, const std::string &c) {
..
std::ofstream outFile(file);
    if (!outFile.is_open()) {
      throw std::runtime_error("Unable to open file for writing.");
    }
}

希望将writeToCSV抛出的错误传播到main.cpp中处理，但目前该异常仅在test.cpp中被捕获，无法重新抛出至main.cpp。

问题根源 #

从代码逻辑看，writeToCSV抛出的std::runtime_error会被testException中的try-catch块捕获，理论上重新抛出后应该能向上传播到run函数的catch块。实际无法传播的可能原因包括：

• 使用全局std::exception_ptr重新抛出异常时，可能因意外状态（如未正确捕获当前异常、全局变量被篡改）导致异常传播失效；
• 存在示例未展示的代码（如testException外部额外的try-catch、run函数的try块未完整包裹调用）阻止了异常向上传播；
• 代码中存在隐含的异常吞掉逻辑（如catch块中遗漏throw或错误处理）。

解决方案 #

1. 简化异常重新抛出逻辑 #

去掉全局std::exception_ptr，在catch块中直接使用throw;重新抛出当前捕获的异常，这是C++中重新抛出异常的标准方式，避免全局变量带来的潜在问题：

void testException(const std::string &file) {
  TestCSV csv(file);
  try {
    std::thread input(testThread);
    csv.writeToCSV(file, a, b, c);
    input.join();
  } catch (const std::runtime_error &e) {
      // 直接重新抛出当前异常，无需全局指针
      throw;
  }
}

2. 验证代码结构完整性 #

• 确保run函数中的try块完整包裹testException的调用，没有遗漏；
• 确认main函数正确调用了run函数，例如：

  int main() {
      return run();
  }
  

3. 排查额外异常拦截逻辑 #

检查代码中是否存在未展示的try-catch块（如testException被其他函数的try-catch包裹），这类逻辑会拦截异常，导致无法传播到main函数。

内容的提问来源于stack exchange，提问作者Preeti