爲什麼的std ::未來<T>和std :: shared_future <T>不能提供成員交換（）？

Question

所有種在C++標準庫類有一個成員交換功能，包括一些多態類等std::basic_ios<CharT>。模板類別std::shared_future<T>顯然是一個值類型，而std::future<T>是一個只能移動的值類型。有沒有什麼特別的原因，他們不提供swap()會員功能？

Answer 1

會員交換是之前在C++ 11 std::move支持大規模的性能提升。例如，您可以將一個載體移動到另一個位置。它也用於vector調整大小，這意味着插入矢量媒體並不是完全表現自殺。

std::move後到達C++ 11，與許多有時空類型的std::swap默認實現：

template<class T> 
void swap(T& lhs, T& rhs) { 
    auto tmp = std::move(rhs); 
    rhs = std::move(lhs); 
    lhs = std::move(tmp); 
} 

將是基本上一樣快，自定義編寫的一個。

現有各類與swap成員都不會失去他們（至少立即）。但是，擴展新類型的API應該是合理的。

如果std::future基本上是一個圍繞std::unique_ptr<future_impl>的包裝，那麼上述需要4個指針讀取，3個指針寫入和一個分支。並且一個優化編譯器將其內聯到一個優化的.swap成員函數可以將其降低到2個指針讀取和2個指針寫入（例如使用SSA ）。

---

因此它知道到lhs和rhs中間訪問永遠不會發生，因而tmp存在可以消除作爲-如果一旦它證明tmp是空的，並因此具有無操作析構函數。

Static single assignment，其中您將程序分解爲每個對基元的賦值創建一個全新變量（帶有元數據）。然後證明有關該變量的屬性，並刪除多餘的屬性。