在多线程之间传递参数时,不能简单地把线程创建当作函数调用,在进行子函数调用时,父函数的局部变量不会被销毁,而在创建线程时,若没有join该线程,那么局部变量可能会被销毁,致使引用或指针失效。
下面的代码是不安全的引用传递例子:
#include <chrono>
#include <functional>
#include <iostream>
#include <thread>
int task(int x, std::function<void(int)> fun);
void call_back_func(int y);
int main()
{
std::cout << task(64, call_back_func) << '\n';
std::this_thread::sleep_for(std::chrono::seconds(5));
std::cout << "finish\n";
return 0;
}
int task(int x, std::function<void(int)> fun)
{
std::thread([&] { // 建立线程,并以引用方式传递参数
std::this_thread::sleep_for(std::chrono::seconds(3));// task函数会在sleep过程中返回
fun(x * 2); // 使局部变量x失效
}).detach();
return 1;
}
void call_back_func(int y)
{
std::cout << y << '\n';
}
期望输出结果:
1
128
finish
实际输出:
1
43690
finish
正确方式是通过值传递参数,或保证在访问实参时实参没有被销毁。
按值传递参数代码:
#include <chrono>
#include <functional>
#include <iostream>
#include <thread>
int task(int x, std::function<void(int)> fun);
void call_back_func(int y);
int main()
{
std::cout << task(64, call_back_func) << '\n';
std::this_thread::sleep_for(std::chrono::seconds(5));
std::cout << "finish\n";
return 0;
}
int task(int x, std::function<void(int)> fun)
{
std::thread([=, &fun] { // 按值传递x, 按引用传递fun,因为
std::this_thread::sleep_for(std::chrono::seconds(3));// call_back_func是全局函数,保证了生命周期
fun(x * 2);
}).detach();
return 1;
}
void call_back_func(int y)
{
std::cout << y << '\n';
}