C++ std:：future_错误代码（）与其what（）不匹配

遵循Kerrek的指南。我尝试了类似的示例代码，但没有达到我的期望

也就是说，捕获的future_errc错误的成员函数代码与其what不匹配。确切地说，调用代码正确返回，并且返回下一位代码的信息。我怀疑这在VisualStudio2012中是错误的

示例代码：

std::future<int> test_future_error1()
{
    std::promise<int> prom;
    std::future<int> fu = prom.get_future();

    prom.set_value(5566);

    return fu;
}
//---------------------------------------------------------------
std::future<int> test_future_error2()
{
    std::promise<int> prom;
    std::future<int> fu = prom.get_future();
    std::future<int> fu2 = prom.get_future();   // throw std::future_errc::future_already_retrieved

    prom.set_value(5566);

    return fu;
}
//---------------------------------------------------------------
std::future<int> test_future_error3()
{
    std::promise<int> prom;
    std::future<int> fu = prom.get_future();

    prom.set_value(5566);
    prom.set_value(7788);   // throw std::future_errc::promise_already_satisfied

    return fu;
}
//---------------------------------------------------------------
std::future<int> test_future_error4()
{
    std::promise<int> prom;
    std::future<int> fu = prom.get_future();

    return fu;
}   // throw std::future_errc::broken_promise at fu.get()
//---------------------------------------------------------------
std::future<int> test_future_error5()
{
    std::future<int> fu;

    return fu;
}   // throw std::future_errc::no_state at fu.get()
//---------------------------------------------------------------
int _tmain(int argc, _TCHAR* argv[])
{
    try {

        std::future<int> fu = test_future_error3();
        int a = fu.get();

        std::cout << "a= " << a << std::endl;
    } catch(const std::future_error &e) {

        std::cout << "future_error:" << std::endl;
        if( e.code() == std::future_errc::broken_promise )
            std::cout << "code() == std::future_errc::broken_promise" << std::endl;
        else if( e.code() == std::future_errc::future_already_retrieved )
            std::cout << "code() == std::future_errc::future_already_retrieved" << std::endl;
        else if( e.code() == std::future_errc::promise_already_satisfied )
            std::cout << "code() == std::future_errc::promise_already_satisfied" << std::endl;
        else if( e.code() == std::future_errc::no_state )
            std::cout << "code() == std::future_errc::no_state" << std::endl;
        else
            std::cout << "code() == unknown" << std::endl;
        std::cout << "what() == " << e.what() << std::endl;

    } catch(const std::exception &e) {
        std::cout << "excepton: " << e.what() << std::endl;
    }

    std::system("pause");
    return 0;
}

---

这是不受欢迎的错误结果，但完全符合C++11标准。C++11只需要哪些异常类返回一些实现定义的字符串。为什么示例代码只有五个test\u future\u errorX函数，而只使用其中一个？

future_error:
code() == std::future_errc::promise_already_satisfied
what() == no state