หากคุณใช้ C ++ 11 std::futureอาจทำในสิ่งที่คุณกำลังมองหานั่นคือสามารถดักจับข้อยกเว้นโดยอัตโนมัติที่ทำให้มันอยู่ด้านบนสุดของเธรดผู้ปฏิบัติงานและส่งผ่านไปยังเธรดแม่ในจุดที่std::future::getเป็น เรียกว่า. (เบื้องหลังสิ่งนี้เกิดขึ้นเหมือนกับในคำตอบของ @AnthonyWilliams มันเพิ่งถูกนำไปใช้สำหรับคุณแล้ว)
ข้อเสียคือไม่มีวิธีมาตรฐานในการ "เลิกใส่ใจ" a std::future; แม้แต่ตัวทำลายของมันก็จะปิดกั้นจนกว่างานจะเสร็จ [แก้ไข 2017: พฤติกรรมการปิดกั้นตัวทำลายเป็นความผิดพลาดเฉพาะของฟิวเจอร์สหลอกที่ส่งคืนstd::asyncซึ่งคุณไม่ควรใช้อีกต่อไป ฟิวเจอร์ปกติไม่ได้ปิดกั้นในตัวทำลายของพวกเขา แต่คุณยังไม่สามารถ "ยกเลิก" งานได้หากคุณกำลังใช้งานstd::future: งานที่ทำตามสัญญาจะยังคงทำงานอยู่เบื้องหลังแม้ว่าจะไม่มีใครรับฟังคำตอบอีกต่อไปก็ตาม]นี่คือตัวอย่างของเล่นที่อาจชี้แจงสิ่งที่ฉัน หมายความว่า:
#include <atomic>
#include <chrono>
#include <exception>
#include <future>
#include <thread>
#include <vector>
#include <stdio.h>
bool is_prime(int n)
{
if (n == 1010) {
puts("is_prime(1010) throws an exception");
throw std::logic_error("1010");
}
/* We actually want this loop to run slowly, for demonstration purposes. */
std::this_thread::sleep_for(std::chrono::milliseconds(100));
for (int i=2; i < n; ++i) { if (n % i == 0) return false; }
return (n >= 2);
}
int worker()
{
static std::atomic<int> hundreds(0);
const int start = 100 * hundreds++;
const int end = start + 100;
int sum = 0;
for (int i=start; i < end; ++i) {
if (is_prime(i)) { printf("%d is prime\n", i); sum += i; }
}
return sum;
}
int spawn_workers(int N)
{
std::vector<std::future<int>> waitables;
for (int i=0; i < N; ++i) {
std::future<int> f = std::async(std::launch::async, worker);
waitables.emplace_back(std::move(f));
}
int sum = 0;
for (std::future<int> &f : waitables) {
sum += f.get(); /* may throw an exception */
}
return sum;
/* But watch out! When f.get() throws an exception, we still need
* to unwind the stack, which means destructing "waitables" and each
* of its elements. The destructor of each std::future will block
* as if calling this->wait(). So in fact this may not do what you
* really want. */
}
int main()
{
try {
int sum = spawn_workers(100);
printf("sum is %d\n", sum);
} catch (std::exception &e) {
/* This line will be printed after all the prime-number output. */
printf("Caught %s\n", e.what());
}
}
ฉันเพิ่งลองเขียนตัวอย่างการทำงานเหมือนกันโดยใช้std::threadและstd::exception_ptrแต่มีบางอย่างผิดปกติกับstd::exception_ptr(โดยใช้ libc ++) ดังนั้นฉันจึงยังไม่ได้ใช้งานจริง :(
[แก้ไข 2017:
int main() {
std::exception_ptr e;
std::thread t1([&e](){
try {
::operator new(-1);
} catch (...) {
e = std::current_exception();
}
});
t1.join();
try {
std::rethrow_exception(e);
} catch (const std::bad_alloc&) {
puts("Success!");
}
}
ฉันไม่รู้ว่าฉันทำอะไรผิดในปี 2013 แต่ฉันแน่ใจว่ามันเป็นความผิดของฉัน]