c++ - std::promise 的 VC++ 实现

Question

我对 std::promise 的 VC++ 实现(Visual Studio 2015 和 2017)有一个奇怪的问题。 set_value_at_thread_exit() 似乎没有像宣传的那样工作——或者我可能误解了标准允许的内容和不允许的内容。以下代码在 clang 中编译和运行良好，但在使用 VS2015(在第二个 block 中)或 VS2017(在第三个 block 中)编译时会崩溃:

#include <future>
#include <thread>
#include <iostream>

int main()
{
    {
        std::cout << "Safe version... ";
        std::promise<int> promise;
        auto f = promise.get_future();

        std::thread
        (
            [](std::promise<int> p) 
            { 
                p.set_value(99); 
            }, 
            std::move(promise)
        )
        .detach();

        std::cout << f.get() << std::endl;
    }

    {
        std::cout << "Will crash VS2015... ";
        std::promise<int> promise;
        auto f = promise.get_future();

        std::thread(
            [p{ std::move(promise) }]() mutable 
            { 
                p.set_value_at_thread_exit(99); 
            }
        )
        .detach();

        std::cout << f.get() << std::endl;
    }

    {
        std::cout << "Will crash VS2017... ";
        std::promise<int> promise;
        auto f = promise.get_future();

        std::thread(
            [](std::promise<int> p) 
            { 
                p.set_value_at_thread_exit(99); 
            }, 
            std::move(promise)
        )
        .detach();

        std::cout << f.get() << std::endl;
    }
}

我试图通过慷慨地使用换行符来使差异可见。

问题似乎是在 MS 实现中，lambda 函数内的 promise 对象的析构函数尝试使用“破坏 promise ”异常更新共享状态，即使调用了 set_value_at_thead_exit() 也是如此。但是，这会失败并依次抛出系统错误。它发生在尝试锁定关联的互斥锁时。如果未调用 set_value_at_thread_exit()，f.get() 将按预期抛出 future_error。

查看 MS 实现 (VS2017)，我发现代码假装在线程退出时检查共享状态是否准备就绪，但什么都不做。所以我想知道这是否是一个错误，或者我是否误解了 API 并且应该确保 promise 的生命周期超出线程退出。

后者似乎是 VS2017 中第二个代码块中发生的事情，但不是 VS2015 中发生的事情 - 可能是由于 std::thread 的实现差异？!

如上所述，代码在

中运行良好

clang :http://rextester.com/FEZDS24592
海合会:http://rextester.com/WFKE61563

但崩溃了

VS2015 中的第二个 block :http://rextester.com/NODVFO14840
和 VS2017 中的第三个 block 。这可以在这里测试:http://webcompiler.cloudapp.net/

所以基本上我想知道我是否应该提出一个问题，或者我是否会因为我使用的语言完全错误而自欺欺人？

谢谢

Answer 1

事实证明，xxx_at_thread_exit() 在大多数当前实现中都存在问题。参见 this visual studio community issue了解详情。