为什么 std::move 不能与 std::list 一起使用

Question

我无法编译下面的程序。

void toSin(std::list<double>&& list)
{
    std::for_each(list.begin(), list.end(), [](double& x)
    {
        x = sin(x);
    });
}

int main()
{
    std::list<double> list;
    const double pi = 3.141592;
    const double epsilon = 0.0000001;
    for (double x = 0.0; x < 2 * pi + epsilon; x = x + pi / 16)
    {
        list.push_back(x);
    }
    // Start thread
    std::thread th(toSin, std::move(list));
    th.join();
    return 0;
}

我得到 > 错误 C2664: 'void (std::list<double,std::allocator<_Ty>> &&)' : 无法将参数 1 从 'std::list<double,std::allocator<_Ty>>' 转换为 'std::list<double,std::allocator<_Ty>> &&'

Answer 1

我觉得你的编译器在这里错了。衰减（复制）的值类型应该可绑定到右值引用。

随便看看this quote from the documentation

3) 创建新的 std::thread 对象并将其与执行线程相关联。新的执行线程开始执行

std::invoke(decay_copy(std::forward<Function>(f)), decay_copy(std::forward<Args>(args))...);

基本上，您作为参数传递给std::thread 的构造函数的任何内容都将作为函数参数复制到该函数。

还要知道，如果你让它按值而不是按右值引用接受std::list 变量，你的函数将正常工作。更多详情请见Correct usage of rvalue references as parameters

---

如果您的意图是将变量的引用传递给线程函数，我通常使用 lambda

std::list<double> lst;
auto th = std::thread{[&lst]() {
    toSin(lst);
}};

但是你也可以使用std::ref 来达到同样的效果。我只是个人觉得 lambda 方法更清晰。

std::list<double> lst;
auto th = std::thread{toSin, std::ref(lst)};

---

Also as correctly pointed out in the comments，您的代码中有一个竞争条件，您应该使用mutex 来阻止它，或者等待线程完成

auto th = std::thread{[&lst]() {
    toSin(lst);
}};
th.join();

// then iterate and print out

Answer 2

我认为您可能会错过一些 #include，该代码适用于 Visual Studio 2015

#include <algorithm>
#include <list>
#include <thread>
void toSin(std::list<double>&& list)
{
    std::for_each(list.begin(), list.end(), [](double& x)
    {
        x = sin(x);
    });
}

int main()
{
    std::list<double> list;
    const double pi = 3.141592;
    const double epsilon = 0.0000001;
    for (double x = 0.0; x < 2 * pi + epsilon; x = x + pi / 16)
    {
        list.push_back(x);
    }
    // Start thread
    std::thread th(toSin, std::move(list));
    th.join();
    return 0;
}