Warum std :: future <T> und std :: shared_future <T> nicht Mitglied swap() bieten?

Question

Alle Arten von Klassen in der C++ - Standardbibliothek haben eine Member-Swap-Funktion, einschließlich einiger polymorpher Klassen wie std::basic_ios<CharT>. Die Vorlagenklasse std::shared_future<T> ist eindeutig ein Werttyp, und std::future<T> ist ein Nur-Wert-Werttyp. Gibt es einen bestimmten Grund, sie bieten keine swap() Member-Funktion?

Answer 1

Member-Tausch war eine massive Leistungssteigerung vor std::move Unterstützung in C++ 11. So konnten Sie beispielsweise einen Vektor an einen anderen Ort verschieben. Es wurde in vector Größen ebenso verwendet, und es bedeutete, dass das Einfügen in einen Vektor von Vektoren war nicht vollständige Leistung Selbstmord.

Nach std::move angekommen C++ 11, mit vielen manchmal leeren Typen die Standardimplementierung von std::swap in:

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

wird grundsätzlich so schnell wie ein custom-written sein.

Bestehende Typen mit swap Mitgliedern sind unwahrscheinlich, sie (zumindest sofort) zu verlieren. Das Erweitern der API eines neuen Typs sollte jedoch gerechtfertigt sein.

Wenn std::future im Grunde ein Wrapper um ein std::unique_ptr<future_impl> ist, dann wird das obige 4 Zeiger Lesevorgänge, 3 Zeiger Schreibvorgänge und einen Zweig erfordern. Und ein optimierender Compiler, der ihn in die Zeile einfügte, konnte ihn auf 2 Zeigerlesevorgänge und 2 Zeigerschreibvorgänge reduzieren (unter Verwendung von SSA zum Beispiel), was eine optimierte .swap Elementfunktion tun könnte.

---

So weiß es Zwischen Zugang zum lhs und rhs nie auftritt, also die Existenz von tmp kann als-ob beseitigt werden, sobald es beweist tmp ist leer und hat daher eine no-op dtor.

Static single assignment, wobei Sie ein Programm so abbrechen, dass jede Zuweisung zu einem Primitiv eine brandneue Variable (mit Metadaten) erstellt. Sie beweisen dann Eigenschaften über diese Variable und eliminieren redundante.