以前剛好有研究過這個
NRVO:
1.啟動條件,缺一不可
return語句為非靜態之物件名稱
物件與函數返回類型相同,忽略CV修飾
該物件非函數的參數
2.符合以上條件時可省略ctor的呼叫,特別注意以下事項
copy語意仍在
屬於implementation-defined
3.阻止NRVO的情況
物件類型與函數返回類型不同,例如兩種類型有繼承關係時
涉及if/else這種條件分支
return語句不是"物件名稱",例如reference(非物件)、三元運算子、物件成員、指標指
向的內容
RVO:
1.啟動條件
以prvalue初始相同類型時,忽略CV修飾
2.符合以上條件時可省略ctor的呼叫,特別注意以下事項
copy語意仍在
屬於implementation-defined,僅存在C++17以前的版本
guaranteed copy elision:
1.啟動條件
以prvalue初始相同類型時,忽略CV修飾
2.符合以上條件時可省略ctor的呼叫,特別注意以下事項
無copy語意
屬於standard,C++17以後才有
move ctor:
1.啟動條件,擇一即可
用std::move包起來
return語句為非靜態之物件名稱
return語句為prvalue
2.符合以上條件時可呼叫move ctor,特別注意以下事項
有NRVO、RVO、guaranteed copy elision時不考慮這個
3.阻止move的情況,此時會呼叫copy ctor
所選ctor的參數類型不是該變數類型的rvalue ref時,以lvalue重新選擇(兩類型有繼承
關係時發生)
物件不可為const,因為T(T&&)不吃const
return語句不是"物件名稱",例如reference(非物件)