Dlaczego usunięto const && przeciążenie as_const?

Question

Na blog on the progress of C++17 czytam co następuje:

P0007 proponuje szablon funkcji pomocnika as_const, który po prostu zaczyna odniesienie i zwraca go jako odniesienie do const.

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

Dlaczego przeciążenie const&& usunięty?

Answer 1

Zastanów się, co by się stało, jeśli nie ma tego przeciążenia, i starają się przekazać w const rvalue:

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 
} 

To byłaby przyjęta, ponieważ T byłoby wywnioskować jak const S i uzupełnienia tymczasowe może wiązać się const S &. W wyniku tego przypadkowo uzyskasz odwołanie do lwartej wartości tymczasowej, która zostanie zniszczona zaraz po zainicjowaniu ref. Niemal wszyscy użytkownicy przyjmujący wartości l (zmienne lub parametry funkcji) nie oczekują, że zostaną przekazane tymczasowo; po cichu przyjmowanie tymczasowych oznacza, że ​​łatwo można uzyskać ciche odnośniki.