目录

模板中的万能引用

std::forward实现完美转发

C++11中与线程相关的std::ref

线程函数参数

用函数指针作为线程函数

用lambda表达式作为线程函数

---

模板中的万能引用

void Func(int& x)
{
	cout << "左值引用" << endl;
}
void Func(int&& x)
{
	cout << "右值引用" << endl;
}
void Func(const int& x)
{
	cout << "const左值引用" << endl;
}
void Func(const int&& x)
{
	cout << "const右值引用" << endl;
}

template<typename T>
void PerfectForward(T&& t)
{
	Func(t);
}

int main()
{
	PerfectForward(10); // 右值
	int a;
	PerfectForward(a); // 左值
	PerfectForward(std::move(a)); // 右值
	const int b = 8;
	PerfectForward(b); // const左值
	PerfectForward(std::move(b)); // const右值
	return 0;
}

全都是左值引用

如果将上面的函数模板改那为普通的函数，那么就限制了接收的类型，只能接收右值(后续也会被退化成左值)，无法接收左值，被const修饰的变量也是左值，即使它不能被修改。

std::forward实现完美转发

template<typename T>
void PerfectForward(T&& t)
{
	Func(std::forward<T>(t));
}

std::forward 完美转发：变量为左值/右值传入函数模板中(函数模板参数T&&)，该形参需要传入函数模板中调用的一个函数时，该形参保持原来的属性(即在传入函数模板之前的属性)传入。

下面可以看到右值引用a传入func函数时出现报错(无法将右值引用绑定到左值)，这因为右值引用a此时已经变为了可以被修改的左值，这一点需要注意。

要想成功传参到func函数中可以使用std::move或std::forward，如下：

move：将左值a转换为右值。

forward：让右值引用b保持原来保持原来3的右值属性。

注意：左值引用具有左值属性，右值引用不具有右值属性(右值引用被转换为了左值引用)，右值引用可以被修改。

C++11中与线程相关的std::ref

要想在从线程内部改变外部主线程中的变量，可以将该外部变量传入到创建的线程对象中改变，从线程如何保证有效的改变这个外部变量就是一个问题。

用函数指针作为线程函数

#include <thread>
#include <mutex>
using namespace std;
mutex m;
int a = 9;
void ThreadFunc1(int& x) //参数类型为int是无法实现修改外部变量a的目的
{
    m.lock();
    x += 10;
    m.unlock();
}
int main()
{
    // 在线程函数中对a修改，不会影响外部实参，因为线程函数参数虽然是引用方式，但其实际引用的是线程栈中的拷贝
    thread t1(ThreadFunc1, a);//编译时会报错   传入到thread中的外部变量a，如果要改变a的话就必须是ref(a)
    t1.join();
    cout << a << endl;

    // 如果想要通过形参改变外部实参时，必须借助std::ref()函数
    thread t2(ThreadFunc1, std::ref(a)); //编译正常
    t2.join();
    cout << a << endl;
    return 0;
}

void ThreadFunc2(int* x)
{
    m.lock();
    *x += 10;
    m.unlock();
}
int main()
{
    thread t3(ThreadFunc2, &a);
    t3.join();
    cout << a << endl;
    return 0;
}

用lambda表达式作为线程函数

int main()
{
    int x1 = 0;
    int x2 = 0;
    thread t1([x1]()mutable{x1++;}); //也无法改变外部的x1，因为值传递捕捉，在捕捉列表中的是x1的拷贝
    thread t2([&x2](){x2++;});
    t1.join();
    t2.join();
	return 0;
}

x1仍然是0，x2变为了1。

结论：当线程函数是lambda表达式时，将要修改的外部变量引用传递捕捉到捕捉列表中，就可以修改该外部变量了。

关于lambda中的mutable：当引用传递捕捉变量，lambda默认不会对该引用加const；当值传递捕捉变量，lambda会默认对该值加const，可以使用mutable剔除该const修饰。