lvalue binding to rvalue reference

Question

I am trying to understand how lvalues bind to rvalue references. Consider this code:

#include 

template
void f(T&&         


        

Answer 1

Since T is a template argument, T&& becomes a forwarding-reference. Due to reference collapsing rules, f(T& &&) becomes f(T&) for lvalues and f(T &&) becomes f(T&&) for rvalues.