Warum wird die const && Überladung von as_const gelöscht?

Question

Auf einem blog on the progress of C++17 las ich folgendes:

P0007 schlägt eine Hilfsfunktion Vorlage as_const, die einfach eine Referenz nimmt und sie als Referenz zu const.

template <typename T> std::add_const_t<T>& as_const(T& t) { return t } 
template <typename T> void as_const(T const&&) = delete; 

Warum ist die const&& Überlastung gelöscht?

Answer 1

überlegen Sie, was passieren würde, wenn Sie nicht, dass die Überlastung haben, und versuchen, in einem const rvalue weitergeben müssen:

template <typename T> const T &as_const(T &t) { return t; } 
struct S { }; 
const S f() { return S{}; } 
int main() { 
    // auto & ref = as_const(S()); // correctly detected as invalid already 
    auto & ref = as_const(f()); // accepted 
} 

Diese akzeptiert werden würden, weil T als const S abgeleitet werden würde, und Provisorien binden können const S &. Das Ergebnis wäre, dass Sie versehentlich eine Lvalue-Referenz auf ein temporäres Objekt erhalten, welches direkt nach der Initialisierung von ref zerstört wird. Fast alle Benutzer, die lvales verwenden (ob Variablen oder Funktionsparameter), erwarten nicht, dass sie als Provisorien übergeben werden. Stillschweigendes Akzeptieren von Provisorien bedeutet, dass Sie leicht stillstehende Referenzen erhalten.