promise如何在MSVC、GCC和Clang中存储const类型？

Question

最近，我开始用MSVC编译一段代码，这段代码总是用GCC和Clang编译的。这段代码产生了一个有趣的编译错误(被截断):

C:/data/msvc/14.33.31424-Pre/include\future(311) error C2678: binary '=': no operator found which takes a left-hand operand of type 'const Result' (or there is no acceptable conversion)
<source>(7): note: could be 'Result &Result::operator =(Result &&)'
<source>(7): note: or       'Result &Result::operator =(const Result &)'

这段代码的最小示例：

#include <future>
#include <iostream>

struct Result {
    int data{0};
};

// getting rid of constness resolves the problem for MSVC
using result_t = const Result; 
using promise_result_t = std::promise<result_t>;

auto compute_result(promise_result_t result)
{
    Result some_result{10};
    result.set_value(std::move(some_result));
}

int main()
{
    promise_result_t my_promise;
    auto my_future = my_promise.get_future();
    std::thread thread(compute_result, std::move(my_promise));
    std::cout << "result: " << my_future.get().data;
    thread.join();
    return 0;
}

• 使用Clang 11成功编译：https://godbolt.org/z/o6Ge85rxG
• 使用GCC 12成功编译：https://godbolt.org/z/x1rhqhfGT
• MSVC 19出错：https://godbolt.org/z/4jMYhTj3n

很明显，移除< code>std::promise存储的< code>const解决了这个问题，但是我很好奇是否有人尝试深入研究不同编译器的< code>std::promise实现。

允许此代码使用GCC和Clang编译和工作，但在使用MSVC时产生编译错误的区别可能是什么？（通过GCC和Clang中存储数据的指针进行操作？）

Answer 1

看起来像是MSVC问题，在此处报告：

https://developer community . visual studio . com/t/STD::promise-works-error-for-const/10092031

并链接到 GitHub 上的问题：

https://github.com/microsoft/STL/issues/2599