1.线程传参的过程
下面是thread的源代码
template< class Function, class... Args >
explicit thread( Function&& f, Args&&... args );
源代码很复杂，反正我是看不懂。但是有一点可以确定，默认情况下实参都是按值传入产生一个副本到thread中（很多人可能都见过这句话，但可能不清楚具体细节，下面举例说明）
实参从主线程传递到子线程的线程函数中，需要经过两次传递。第1次发生在std::thread构造时，实参按值传递并以副本形式被保存到thread的tuple中，这一过程发生在主线程。第2次发生在向线程函数传递时，此次传递是由子线程发起即发生在子线程中，并将之前std::thread内部保存的副本以右值的形式(通过调用std::move())传入线程函数。
1.1 内置类型的实参
1.1.1参数按值传递
默认情况下，所有参数（含第1个参数可调用对象）均按值并以副本的形式保存在std::thread对象中的tuple里。
这一点的实现类似于std::bind（不了解bind的可以去学习一下）
void func(int& a) //左值引用
{
a = 6;
}
int main()
{
int b = 1;
thread t1(func,b); //错误。对实参b按值拷贝产生一个副本，将该副本存放在thread的tuple，
//随后对副本 调用std::move,产生一个右值，而func中的参数a是左值
//引用，不能绑定到右值
cout << b << endl;
t1.join();
return 0;
}1.1.2如果想按引用传递，则需要调用std::ref
void func(int& a) //左值引用
{
a = 6;
}
int main()
{
int b = 1;
thread t1(func,std::ref(b); //std::ref传参时，先会创建一个std::ref类型的临时对象，
//其中保存着对b的引用。然后这个std::ref再以副本的形式保存在
//thread的tuple中。随后这个副本被move到线程函数，由于std::ref重载了
//operator T&(),因此会隐式转换为int&类型，因此起到的效果就好象b直接
//被按引用传递到线程函数中来
cout << b << endl;//b的输出为6
t1.join();
return 0;
}1.2 类类型的实参
1.2.1 传递的是左值对象
class A {
private:
int m_i;
public:
A(int i) :m_i(i) { cout << "转换构造" <<std::this_thread::get_id()<<endl; }
A(const A& a):m_i(a.m_i) {cout << "拷贝构造" <<std::this_thread::get_id()<< endl;}
A(A&& a):m_i(a.m_i) { cout << "移动构造" << std::this_thread::get_id()<<endl;}
~A() {cout << "析构函数" <<std::this_thread::get_id()<< endl;}
};
void myPrint2(const A& a)
{cout << "子线程参数地址是" <<&a<<std::this_thread::get_id()<< endl;}//4.子线程参数地址是0157D48049564
int main() {
int i = 5;
A myobj(i);//1.转换构造25964 6.析构函数25964
cout << "主线程id是" <<std::this_thread::get_id()<< endl;//2.主线程id是25964
thread mytobj(myPrint2,myobj); //3.拷贝构造25964 5.析构函数49564
//分析一下为什么上面会调用拷贝构造
//myobj是一个左值对象，因此调用拷贝构造来生
//成一个副本放入tuple中。这个过程发生在主线程中
mytobj.join();
return 0;
}1.2.2 传递的是临时对象（即右值对象）
class A {
...//定义与前面一样
};
void myPrint2(const A& a) //定义与前面一样
{...} //4.子线程参数地址是00DED638 30492
int main() {
int i = 5;
cout << "主线程id是" <<std::this_thread::get_id()<< endl;//1.主线程id是33312
thread mytobj(myPrint2,A(i));//2.转换构造33312，3.移动构造33312
//4.析构函数33312 5.析构函数30492
//首先，A（i)会调用转换构造生成一个临时对象
//随后对这个临时对象按值拷贝到thread中
// 由于临时对象是个右值，因此调用的是移动构造
//这两个构造都发生在主线程中
mytobj.join();
return 0;
}关于临时对象还有种可能
class A {
...//定义与前面一样
};
void myPrint2(const A& a) //定义与前面一样
{...} //4.子线程参数地址是00E7D800 28216
int main() {
int i = 5;
A a(i); //1.转换构造41312 6.析构函数41312
cout << "主线程id是" <<std::this_thread::get_id()<< endl;//2.主线程id是41312
thread mytobj(myPrint2,std::move（a）);//3.移动构造41312 5.析构函数28216
//4.析构函数33312 5.析构函数30492
//因为move(a）返回的是一个右值，会调用移动构造生成到thread的
//tuple中。同样的，这一步发生在主线程中
mytobj.join();
return 0;
}1.2.3 传递的参数需要隐式类型转换
class A {
...//定义与前面一样
};
void myPrint2(const A& a) //定义与前面一样
{...} //3.子线程参数地址是00FFF7E4 28552
int main() {
int i = 5;
cout << "主线程id是" <<std::this_thread::get_id()<< endl;//1.主线程id是50076
thread mytobj(myPrint2,i);//2.转换构造28552 4.析构函数28552
//分析：首先i按值传入副本到thread，其类型仍然是int，这一步发生在主线程
//随后，子线程调用move向线程函数传参时,发生int到A的隐式类型转换（调用
/转换构造），这一步发生在子线程中
mytobj.join();
return 0;
}
需要说明的是，我看很多人认为如果调用detach的话，一旦主线程在子线程前面结束，那么i会被销毁，导致隐式类型转换时出错。我觉得这是错误的，因为在主线程中，已经生成了一个i的副本到thread的tuple中，就算主线程结束，i被销毁，但i的副本不会，除非是像前面提到的const char*类型的指针，因为指针和指针的副本都指向同一个内存块，一旦指针指向的主线程内存被销毁，那么指针副本指向的就是被销毁的内存，导致野指针，
1.2.4 传递的参数是指针
void func(const string& s)
{ cout <<"子线程id是 " << std::this_thread::get_id() << endl; }
int main(){
const char* name = "Santa Claus";
thread t(func, &w, name); //ok。首先name在主线程中以const char*类型作为副本被保存
//在thread中，当向线程函数func传参时，会先将之前的name副本隐式转
//换为string临时对象再调用move传给func的参数s
//同时要注意，这个隐式转换发生在子线程调用时，即在子线程中创建这个临
// 时对象。这就需要确保主线程的生命周期长于子线程，否则name副本就会
/变成野指针，从而无法正确构造出string对象。
//std::thread t6(&Widget::func, &w, string(name)); //为避免上述的隐式转换可以带来的bug。可
//以在主线程先构造好一个string临时对象，
//再传入thread中。这样哪怕调用的是
//detach，子线程也很安全
t.join(); //如果这里改成t.detach,并且如果主线程生命期在这行结束时（意味着主线程在子线程前面
//完成运行），就可能发生野指针现象。
}1.3 传入智能指针unique_ptr
智能指针其实也是个模板类，这里单独拿出来讲一下
void myPrint3(unique_ptr<A> pgn) {cout << myp.get() << endl;}//00E6BEB8
int main() {
unique_ptr<int> myp(new int(100));
thread mytobj(myPrint3,myp); //错误，首先unique_prt无法进行拷贝，只能移动。而myp是一个
//左值，不能对它进行移动构造产生一个副本放入thread
thread mytobj(myPrint3,std::move(myp));//ok,std::move(myp)返回一个右值，因此调用移动构造产
//生一个副本放到thread中，这些都发生在主线程
mytobj.join();
return 0;
}
再者，讨论一下上述代码在使用detach时的情况。在此之前看下面代码
class B {
private:
int m_b;
public:
B(int b) :m_b(b) { cout << "转换构造" << endl; }
~B() { cout << "析构函数" << endl; }
};
void myPrint3(unique_ptr<B> pgn) { cout << pgn.get() << endl; }
int main() {
unique_ptr<B> t1(new B(5));
{
unique_ptr<B> t2 = std::move(t1);
cout << "时间点1" << endl;
}
cout << "时间点2" << endl;
return 0;
}
输出结果：
转换构造
时间点1
析构函数
时间点2
这说明t1被销毁时不会调用类B的析构函数，也不会释放分配的堆区内存。因为t1所含的指针由于后面的move操作已经被置空了。t2退出作用域时自动销毁，调用类的析构函数，并释放堆区内存
回过头
void myPrint3(unique_ptr<int> pgn) {cout << myp.get() << endl;}
int main(){
unique_ptr<int> myp(new int(100));
thread mytobj(myPrint3,std::move(myp));
mytobj.detach();//即使主线程比子线程先结束，那么myp在销毁时也不会释放堆区内存
//此时pgn包含的指针指向那块堆区内存。
//那么pgn在C++运行时库中销毁时，会释放堆区内存，不会造成内存泄漏
//因此用detach也是安全的
}到此这篇关于C++多线程传参的实现方法的文章就介绍到这了,更多相关C++多线程传参内容请搜索aitechtogether.com以前的文章或继续浏览下面的相关文章希望大家以后多多支持aitechtogether.com！
