Un argomento lvalue preferisce un parametro di riferimento lvalue su un riferimento universale?

Question

Mentre giocavo con riferimenti universali, mi sono imbattuto in questa istanza in cui clang e gcc non sono d'accordo sulla risoluzione di sovraccarico.

#include <iostream> 

struct foo {}; 

template<typename T> 
void bar(T&) { std::cout << "void bar(T&)\n"; } 

template<typename T> 
void bar(T&&) { std::cout << "void bar(T&&)\n"; } 

int main() 
{ 
    foo f; 
    bar(f); // ambiguous on gcc, ok on clang 
} 

gcc reports la chiamata sopra è ambigua. Tuttavia, clang seleziona l'overload T& e viene compilato correttamente.

Quale compilatore è sbagliato e perché?

Modifica:
Testato lo stesso codice su VS2013 Preview, e concorda con clang; ad eccezione di Intellisense, che è sul lato gcc :-)

Answer 1

Il "riferimento universale" deduce il parametro su foo&. Il primo modello deduce anche il parametro su foo&.

C++ ha una regola di ordinazione parziale per i modelli di funzione che rende T& più specializzato di T&&. Quindi il primo modello deve essere scelto nel codice di esempio.