如何保存异常并稍后抛出

Question

假设我想创建一个异常对象，但稍后抛出。我的用例是在线程中生成异常，但我需要从主线程中抛出它(因为没有人在子线程中捕获它(

using namespace std;
runtime_error *ex = nullptr;
thread myThread( [&ex]{
if (something_went_wrong) {
ex = new runtime_error("Something went wrong");
return;
}
} );
myThread.join();
if (ex != nullptr) {
throw *ex;
}

就其价值而言，编译器似乎对此很满意，但我可以看出，这充其量只是一个资源泄漏。有正确的方法吗？

Answer 1

std::exception_ptr是存储异常的C++工具。它通常可以避免额外的分配。

std::exception_ptr ex = nullptr;
std::thread myThread( [&ex]{
if (something_went_wrong) {
ex = std::make_exception_ptr(std::runtime_error("Something went wrong"));
return;
}
} );
myThread.join();
if (ex != nullptr) {
std::rethrow_exception(ex);
}

由于它可以存储任何类型的异常，因此可以通过包装lambda来存储线程中可能抛出的任何异常：

std::thread myThread( [&ex]{
try {
// do things
} catch (...) {
ex = std::current_exception();
}
} );

---

或者，您可以使用std::optional<std::runtime_error>

std::optional<std::runtime_error> ex;
std::thread myThread( [&ex]{
if (something_went_wrong) {
ex.emplace("Something went wrong");
return;
}
} );
myThread.join();
if (ex) {
throw *ex;
}

不会泄漏，因为你没有动态分配

Answer 2

这是我找到的一个解决方案，但我更喜欢unique_ptr解决方案。在这里写它是为了完整：

using namespace std;
runtime_error *ex = nullptr;
thread myThread( [&ex]{
if (something_went_wrong) {
ex = new runtime_error("Something went wrong");
return;
}
} );
myThread.join();
if (ex != nullptr) {
runtime_error e2 = *ex;
delete ex;
throw e2;
}