这部分真是相当难理解,我只是简单写写自己学到的东西
std::move
引用不管是引用左值还是引用右值,引用本身都始终是左值,而std::move可以强制把左值转换成右值引用。
简单来讲,std::move就完成了这样一个类型转换:static_cast<T&&> (left_value)
引用折叠
万能引用实现的原理机制就是引用折叠。
引用折叠分为四种情况:
- 左值-左值:& &
- 左值-右值:& &&
- 右值-左值:&& &
- 右值-右值:&& &&
折叠的规则也很简单:其中只要有一个左值就折叠成左值引用,两个都是右值就折叠成右值引用。
主要的问题是怎么才会出现这种两个引用在一起的情况呢?直接这样写是不合法的。
看看这个例子:
template<typename T>
void f (T&& param)
...
int x=1;
...
f(1);
f(x);
在这段代码中:
f(1);1是右值;T被推导成int&&;实例化后的f:void f(int&& &¶m)
;引用折叠后:void f(int&& param)
;
f(x);x是左值;T被推导成int&;实例化后的f:void f(int& &¶m)
;引用折叠后:void f(int& param)
;
引用折叠实现的过程大概就是这样。
移动语义
C++11之前,对象的复制过程一般使用copy构造函数,把整个对象从一片内存copy到另外一片内存中,如果产生了 该对象的一个临时对象,就会先创建原对象的一个副本,然后再删除临时对象,对于某些对象来说工作量非常大,做了很多无用功。
而另外一种方法是不把对象copy到另外一个地方,就让它留在原来的地方,只是把该对象的所有权“移动”给新对象。这个方法就是移动语义。
移动语义主要用于对象的移动构造函数和移动赋值运算符中。这两个函数都使用右值,如果要让它们使用左值,直接使用std::move转换即可。
完美转发
万能引用绑定了一个右值后,引用本身却是左值,std::forward可以把它转换成右值,实现完美转发。
std::forward<T>(val)
,原理是在forward函数里面又实现了一次引用折叠
template<typename T>
T&& forward(T ¶m)
{
...
return static_cast<T&&>(param);
}