Visual C++ 2010，右值引用错误？

问：

这是Visual C++ 2010中的错误还是正确的行为？

template<class T>
T f(T const &r)
{
    return r;
}

template<class T>
T f(T &&r)
{
    static_assert(false, "no way"); //< line # 10
    return r;
}

int main()
{
    int y = 4;
    f(y); //< line # 17
}

我想，函数 f（T &&） 永远不应该被调用，但它是用 T = int & 调用的。输出：

    main.cpp(10): error C2338: no way
          main.cpp(17) : see reference to function template instantiation 'T f(T)' being compiled
          with
          [
              T=int &
          ]

更新 1你知道任何C++x0编译器作为参考吗？我尝试过 comeau 在线试驾，但无法编译 r 值参考。

更新 2解决方法（使用 SFINAE）：

#include <boost/utility/enable_if.hpp>
#include <boost/type_traits/is_reference.hpp>

template<class T>
T f(T &r)
{
    return r;
}

template<class T>
typename ::boost::disable_if< ::boost::is_reference<T>, T>::type f(T &&r)
{
    static_assert(false, "no way");
    return r;
}

int main()
{
    int y = 4;
    f(y);
    // f(5); // generates "no way" error, as expected.
}

更新 3即使没有函数模板实例化，某些编译器也会在 static_assert（false， “no way”） 时触发。解决方法（感谢 @Johannes Schaub - litb）

template<class T> struct false_ { static bool const value = false; };
...
static_assert(false_<T>::value, "no way");

或

static_assert(sizeof(T) == sizeof(T), "no way");