自移動賦值是否可以與 C 標準函式庫中的「std::vector」一起使用？

C 標準庫中的自移動分配

在C 11 中，該標準提供了有關自移動分配的某些保證，特別是在標準內圖書館。讓我們研究一下這些保證意味著什麼。

根據 C 11 標準第 17.6.4.9 節，在「函數參數」主題下，規定如果函數參數綁定到右值引用參數，則實作可以假設此引用是參數獨有的。

這表示在 std::vector::operator=(vector&& other)，允許假設 other 是純右值。因此，如果 other 是純右值，則自移動分配是不可行的。

可能發生的情況是 v 將呈現資源較少（容量為零）。如果 v 的容量已經為零，則此操作將是無操作。

更新：

最新的工作草案 (N4618) 提供了更精確的定義MoveAssignable 要求。它指定表達式 t = rv（其中 rv 是右值）要求 t 僅在賦值之前匹配 rv 的值（如果它們不引用相同物件）。無論如何，rv 的狀態在賦值後變得不確定。附加註釋提供了進一步的說明：

「rv 仍必須滿足使用它的庫組件的要求，無論 t 和 rv 是否引用同一物件。」

以上是自移動賦值是否可以與 C 標準函式庫中的「std::vector」一起使用？的詳細內容。更多資訊請關注PHP中文網其他相關文章！