为什么成员函数与局部函数不同地传递给 std::thread？

Question

我试图了解std::thread 是如何使用的。

标题如下：

template< class Function, class... Args >
explicit thread( Function&& f, Args&&... args );

• 如何识别f 是通用引用还是右值？根据我在网上找到的：

“如果推导 T 并且变量/参数类型是不合格的 T&& ，那么只有它是通用引用。”

unqualified T&& 指的是什么？ auto 或 template?

• 如果我有一个函数foo，我可以像std::thread(foo) 一样调用它。这是否意味着 foo 被用作左值引用，因为它不符合右值引用的条件？

• 为什么传递函数的方式与成员函数不同？如果 foo 是课程的一部分，您将无法像 std::thread(obj.foo) 那样使用它 - 而是 std::thread(&Class::foo, &obj) 有效。其背后的逻辑推理是什么？

• 如何将局部变量/向量传递给线程？我尝试了以下方法，但在函数本身中，即使vector.size() 确实输出正确，我也无法访问任何矢量元素。

void Class::foo(vector<int>v)
{
   std::cout<<v[0]; // prints nothing
}

int main(void)
{
    std::vector<int>v = {12,3};

    Class obj;

    std::thread t1(&Class::foo, &obj, v);

    t1.join();

}

Answer 1

不合格的T&&指的是什么？

指函数模板的函数参数。 f 和 args... 是参数。它们满足了所描述的转发引用的要求（只要模板类型参数没有显式传递，这种情况下就不会从函数参数中推断出类型）。

为什么传递函数的方式与成员函数不同？

因为非静态成员函数有一个隐式实例参数，并且因为它们不会隐式衰减为指向成员函数的指针。

如何将局部变量/向量传递给线程？

取决于上下文。复制通常是最简单的。