Begünstigt ein lvalue-Argument einen Lvalue-Referenzparameter gegenüber einer universellen Referenz?

Question

Während ich mit universellen Referenzen spielte, stieß ich auf diese Instanz, bei der clang und gcc bei der Überladungsauflösung nicht übereinstimmen.

#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 Der obige Aufruf ist nicht eindeutig. clang wählt jedoch die T& Überladung und kompiliert erfolgreich.

Welcher Compiler ist falsch und warum?

Bearbeiten:
Getestet den gleichen Code auf VS2013 Preview, und es stimmt mit clang überein; außer Intellisense, die auf der Seite von gcc ist :-)

Answer 1

Die "universelle Referenz" leitet den Parameter auf foo&. Die erste Vorlage leitet auch den Parameter zu foo&.

C++ hat eine Teilordnungsregel für Funktionsvorlagen, die T& spezialisierter als T&& macht. Daher muss die erste Vorlage in Ihrem Beispielcode ausgewählt werden.