移動構造函數是如何工作的？

Question

我無法理解C++移動語義。假設我想從一個方法返回一個大對象。爲了使這個操作更高效，我使用大對象類的移動構造函數。我調用一個方法來獲取一個大對象並將其傳遞給另一個將處理它的方法。

processLargeObject(getLargeObject()); 

餘寫方法getLargeObject()其中創建一個較大的對象。如果我創建的對象沒有新的操作符，我可以理解存儲是分配在堆棧上的。在我事先知道對象的大小並將其表示爲數組的情況下，可將此大對象定義爲double foo[1000000000];。現在移動構造函數裏面，如果我說

foo = other.foo; 

那麼移動的對象仍然會駐留在堆棧和堆棧擴展可以被覆蓋。

所以這不能是如何使用移動構造函數。移動構造函數只能用於移動堆中的物體嗎？

Answer 1

移動構造函數是如何工作的？

一招構造應該做一個淺副本 - 而不是一個深複製拷貝構造函數應該做的。除了進行淺拷貝之外，移動構造函數還「竊取」由移出的對象指向的任何資源（例如外部內存緩衝區，例如std::vector擁有的緩衝區）。

爲了使這個操作高效，我使用大對象類的移動構造函數。

從迂迴的角度來說，對象本身的大小並不會使得移動比複製更高效。當對象將指向可能被「盜取」的某些大型資源時，此舉很有效。如果你的意思是說這樣的外部資源是使對象「大」的話，那麼就足夠公平了。

移動構造函數只能用於移動堆中的物體嗎？

無論存儲對象的位置 - 無論是自動，動態還是靜態，都可以從中移動。只要類型是可移動的。

這個大對象可以被定義爲double foo[1000000000];

這是一個非常大的物體，不指向可能被竊取任何外部資源的一個很好的例子。移動一個雙精度數組與複製它完全一樣。