通过引用将参数传递给std :: thread函数是否安全？

Question

#include <thread>
#include <string>
#include <vector>
#include <chrono>

using namespace std;

void f(const vector<string>& coll)
{
    this_thread::sleep_for(1h);

    //
    // Is coll guaranteed to be valid before exiting this function?
    //
}

int main()
{
    {
        vector<string> coll(1024 * 1024 * 100);
        thread(f, coll).detach();
    }

    //
    // I know std::thread will copy arguments into itself by default, 
    // but I don't know whether these copied objects are still valid
    // after the std::thread object has been destroyed.
    //

    while (true);
}

通过引用将参数传递给std :: thread函数是否安全？

Answer 1

作为@ TC的评论，你没有传递对线程的引用，你只需在线程中复制一个向量：

thread(f, coll).detach(); // It's NOT pass by reference, but makes a copy.

如果你真的想通过引用传递，你应该这样写：

thread(f, std::ref(coll)).detach(); // Use std::ref to pass by reference

然后，如果线程试图访问向量，代码将获得段错误，因为当线程运行时，很可能向量已经被破坏（因为它超出了它在主程序中的范围）。

所以对你的问题：

通过引用将参数传递给std::thread函数是否安全？

• 如果你确定在线程运行期间对象仍然有效，那么这是安全的。
• 如果物体被破坏是不安全的，你会得到段故障。

Answer 2

• 在退出此功能之前， coll是否保证有效？

  • 更新：是的。 当你通过coll到的构造函数std::thread的main功能，是因为coll是一个对象，它是decay复制。 这个decay副本基本上move了向量（因此它变为rvalue），它将在执行线程期间绑定到f中的coll参数。 （感谢@Praetorian的评论）

• 通过引用将参数传递给std::thread函数是否安全？

  • 你的论点decay复制，所以你却从未通过引用传递任何东西std::thread 。

• 参考std::decay ： http ： //www.cplusplus.com/reference/type_traits/decay/

• 这个问题中的接受答案std :: thread带有可移动的，不可复制的参数，解释了传递给std::thread的参数会发生什么