Question

根据cppreference，在致电std::future::get之后：

调用此方法后，
valid（）为false。

一旦共享状态准备就绪，该函数将解除锁定并返回（或抛出）释放其共享状态。这使得将来的对象不再有效：对于每个未来的共享状态，该成员函数最多应被调用一次。

在异常安全下：

当提供程序通过将其设置为异常来使其准备就绪时，该函数抛出存储在共享状态中的异常。请注意，在这种情况下，提供了一个基本保证，将来的对象被修改为不再是有效的未来（尽管它的名称，它本身就是这种类型的对象的有效状态）。

这两个描述都没有区分对get的调用返回值与抛出有关未来对象失效的异常的调用。

但是，所描述的行为并不是我在这个示例代码中看到的：

#include <chrono>
#include <future>
#include <iostream>
#include <stdexcept>


int foo()
{
    throw std::runtime_error("foo exception");
}


int main()
{
    std::future<int> futInt;

    futInt = std::async(std::launch::async, []() { return foo(); });

    while( !(futInt.valid() && futInt.wait_for(std::chrono::milliseconds(0)) == std::future_status::ready) )
        ;

    if( futInt.valid() )
    {
        int val;
        try
        {
            val = futInt.get();
        }
        catch( const std::exception& e )
        {
            std::cout << e.what() << std::endl;
        }
    }

    if( futInt.valid() )
    {
        std::cout << "This is TOTALLY UNEXPECTED!!!" << std::endl;
    }
    else
    {
        std::cout << "This is expected." << std::endl;
    }

    return 0;
}

我看到的输出是：

foo exception
This is TOTALLY UNEXPECTED!!!

我正在使用Visual Studio Premium 2013，版本12.0.30501.00更新2.这是编译器的错误，或者实际上是异常情况下的正确行为吗？我一直无法找到有关此问题的任何错误报告，所以不确定这是否是预期的行为。

编辑 - ＆lt; future＆gt;实施调查

稍微深入std::future实施，_Associated_state对象被标记为_Retrieved = true; AFTER 检查并抛出相关的异常（如果有）：

virtual _Ty& _Get_value(bool _Get_only_once)
    {   // return the stored result or throw stored exception
    unique_lock<mutex> _Lock(_Mtx);
    if (_Get_only_once && _Retrieved)
        _Throw_future_error(
            make_error_code(future_errc::future_already_retrieved));
    if (_Exception)
        _Rethrow_future_exception(_Exception);
    _Retrieved = true;
    _Maybe_run_deferred_function(_Lock);
    while (!_Ready)
        _Cond.wait(_Lock);
    if (_Exception)
        _Rethrow_future_exception(_Exception);
    return (_Result);
    }

我的猜测是应该交换异常检查和_Retrieved = true; - 应该立即将对象设置为检索（在_Get_only_once检查之后），然后应该遵循所有其他逻辑。 Ergo，编译器错误。

修改 - 解决方法

我认为以下内容应该足以直接调用get，直到实现修复：

template<typename T>
T getFromFuture(std::future<T>& fut)
{
    try
    {
        return fut.get();
    }
    catch( ... )
    {
        fut = {};
        throw;
    }
}

Answer 1

我使用gcc 5.2.0和clang 3.7.0在Linux上编译 - 两次使用64位。运行程序总是导致

foo exception
This is expected.

在我看来，Visual 2013会错误地处理这个问题。另见：

C ++§30.6.6/ 16-17

抛出：存储的异常，如果异常存储在共享状态中。

后置条件： valid() == false。

后置条件在抛出后被提及，因此必须始终保持，即使抛出异常。至少这是我的解释，虽然我不说标准。

我想您应该尝试使用Visual Studio 2015并报告错误，如果它显示相同的处理。

调用get（）后抛出异常，std :: future仍然有效

1 个答案: