c++ - 左值参数是否更喜欢左值引用参数而不是通用引用？

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 Preview上测试了同样的代码，和clang一致；除了 Intellisense，它在 gcc 方面 :-)

Answer 1

“通用引用”将参数推导出为foo&。第一个模板还将参数推导出为 foo&。

C++ 对函数模板有一个偏序规则，这使得 T& 比 T&& 更专业。因此，必须在您的示例代码中选择第一个模板。