Rozsyłanie wyjątków i std :: future

Question

Rozumiem, że gdy operacja asynchroniczna zgłasza wyjątek, zostanie ona propagowana z powrotem do wątku, który wywołuje std::future::get(). Jednakże, gdy taki wątek wywołuje std::future::wait(), wyjątek nie jest natychmiast propagowany - zostanie zgłoszony podczas kolejnego wywołania std::future::get().

Jednak w takim scenariuszu, co ma stać się z takim wyjątkiem, jeśli przyszły obiekt wykracza poza zakres po wywołaniu std::future::wait(), ale przed wywołaniem do std::future::get()?

Dla zainteresowanych, oto prosty przykład. W tym przypadku wyjątek jest cicho obsługiwane przez gwintu/pakiet przyszłości:

#include "stdafx.h" 
#include <thread> 
#include <future> 
#include <iostream> 

int32_t DoWork(int32_t i) 
{ 
    std::cout << "i == " << i << std::endl; 
    throw std::runtime_error("DoWork test exception"); 
    return 0; 
} 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    auto f = std::async(DoWork, 5); 
    try 
    { 
     //f.get();  // 1 - Exception does propagate. 
     f.wait();  // 2 - Exception does NOT propagate. 
    } 
    catch(std::exception& e) 
    { 
     std::cout << e.what() << std::endl; 
     return -1; 
    } 
    return 0; 
} 

Answer 1

To jest ignorowane i odrzucane, podobnie jak jeśli wait() dla wartości, ale nigdy get() nim.

wait() po prostu mówi "blokuj do przyszłości", bądź gotowa z wartością lub wyjątkiem. Od osoby wywołującej zależy wartość (lub wyjątek). Zwykle po prostu użyjesz get(), która i tak czeka.

Answer 2

vs2012 \ vc11 \ crt \ future.cpp

występuje błąd w

static const char *const _Future_messages[] = 
{ // messages for future errors 
"broken promise", 
"future already retrieved", 
"promise already satisfied", 
"no state" 
}; 

to wygenerowany kod nieprawidłowy acceso do "_Future_messages", ponieważ _Mycode.value() zwrotny 4.

const char *__CLR_OR_THIS_CALL what() const _THROW0() 
    { // get message string 
    return (_Get_future_error_what(_Mycode.value())); 
    } 

// przykładowy kod

std::future<int> empty; 
try { 
    int n = empty.get(); 
} catch (const std::future_error& e) { 
    const error_code eCode = e.code(); 
    char *sValue = (char*)e.what(); 
    std::cout << "Caught a future_error with code " << eCode.message() 
       << " - what" << sValue << endl; 
}