lvalue 인수는 범용 참조보다 lvalue 참조 매개 변수를 선호합니까?

Question

범용 참조를 가지고 노는 동안, clang과 gcc가 과부하 해결에 동의하지 않는이 인스턴스를 발견했습니다.

#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 위의 호출은 모호합니다. 그러나 clang은 T& 오버로드를 선택하고 성공적으로 컴파일합니다.

어떤 컴파일러가 잘못 되었습니까? 그 이유는 무엇입니까?

편집 :
VS2013 미리보기에서 동일한 코드가 테스트되었으며 clang과 일치합니다. gcc쪽에있는 Intellisense 제외 :-)

Answer 1

"universal reference"는 매개 변수를 foo&으로 추론합니다. 첫 번째 템플릿은 또한 매개 변수를 foo&으로 추론합니다.

C++에는 T&이 T&&보다 특수화되도록 기능 템플릿에 대한 부분 정렬 규칙이 있습니다. 따라서 첫 번째 템플릿을 예제 코드에서 선택해야합니다.