Propagazione di eccezioni e std :: future

Question

La mia comprensione è che quando un'operazione asincrona genera un'eccezione, verrà propagata a un thread che chiama std::future::get(). Tuttavia, quando tale thread chiama std::future::wait(), l'eccezione non viene immediatamente propagata, ma verrà lanciata in seguito a una chiamata a std::future::get().

Tuttavia, in uno scenario del genere, che cosa dovrebbe accadere a tale eccezione se l'oggetto futuro esce dall'ambito dopo una chiamata a std::future::wait(), ma prima di una chiamata a std::future::get()?

Per chi è interessato, ecco un semplice esempio. In questo caso, l'eccezione viene silenziosamente gestita dal pacchetto filo/futuro:

#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

È ignorato e scartato, proprio come se si wait() per un valore, ma mai get() esso.

wait() dice semplicemente "bloccare fino a quando il futuro è pronto", essere pronto con un valore o un'eccezione. Spetta al chiamante effettivamente il valore (o eccezione) get(). Di solito ti basta usare get(), che aspetta comunque.

Answer 2

vs2012 \ VC11 \ crt \ future.cpp

c'è un errore con il

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

questo codice generato un acceso non valida per "_Future_messages" perché _Mycode.value() ritorno 4.

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

// esempio di codice

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; 
}