這部分真是相當(dāng)難理解税弃,我只是簡單寫寫自己學(xué)到的東西
std::move
引用不管是引用左值還是引用右值纪岁,引用本身都始終是左值,而std::move可以強制把左值轉(zhuǎn)換成右值引用则果。
簡單來講幔翰,std::move就完成了這樣一個類型轉(zhuǎn)換:static_cast<T&&> (left_value)
引用折疊
萬能引用實現(xiàn)的原理機制就是引用折疊。
引用折疊分為四種情況:
- 左值-左值:& &
- 左值-右值:& &&
- 右值-左值:&& &
- 右值-右值:&& &&
折疊的規(guī)則也很簡單:其中只要有一個左值就折疊成左值引用西壮,兩個都是右值就折疊成右值引用遗增。
主要的問題是怎么才會出現(xiàn)這種兩個引用在一起的情況呢?直接這樣寫是不合法的款青。
看看這個例子:
template<typename T>
void f (T&& param)
...
int x=1;
...
f(1);
f(x);
在這段代碼中:
f(1)做修;1是右值;T被推導(dǎo)成int&&抡草;實例化后的f:void f(int&& &¶m)
饰及;引用折疊后:void f(int&& param)
;
f(x)康震;x是左值燎含;T被推導(dǎo)成int&;實例化后的f:void f(int& &¶m)
腿短;引用折疊后:void f(int& param)
屏箍;
引用折疊實現(xiàn)的過程大概就是這樣。
移動語義
C++11之前橘忱,對象的復(fù)制過程一般使用copy構(gòu)造函數(shù)赴魁,把整個對象從一片內(nèi)存copy到另外一片內(nèi)存中,如果產(chǎn)生了 該對象的一個臨時對象钝诚,就會先創(chuàng)建原對象的一個副本尚粘,然后再刪除臨時對象,對于某些對象來說工作量非常大敲长,做了很多無用功郎嫁。
而另外一種方法是不把對象copy到另外一個地方秉继,就讓它留在原來的地方,只是把該對象的所有權(quán)“移動”給新對象泽铛。這個方法就是移動語義尚辑。
移動語義主要用于對象的移動構(gòu)造函數(shù)和移動賦值運算符中。這兩個函數(shù)都使用右值盔腔,如果要讓它們使用左值杠茬,直接使用std::move轉(zhuǎn)換即可。
完美轉(zhuǎn)發(fā)
萬能引用綁定了一個右值后弛随,引用本身卻是左值瓢喉,std::forward可以把它轉(zhuǎn)換成右值,實現(xiàn)完美轉(zhuǎn)發(fā)舀透。
std::forward<T>(val)
栓票,原理是在forward函數(shù)里面又實現(xiàn)了一次引用折疊
template<typename T>
T&& forward(T ¶m)
{
...
return static_cast<T&&>(param);
}