为什么在推导类型时去掉模板参数的限定符?

在用微软VisualStudio 2008构建一个小的示例程序时,我注意到一个奇怪的事情,即传递给模板的类型的演绎。举个例子:

template<class T>
void f( T v ) {
    x; // trigger a compile error
    (void)v;
}

template<class T>
void g( T v ) {
    f( v );
}

void h() {
  int i;
  g<const int &>( i );
}

cl /c foo.cpp 产生编译错误(按预期)。有趣的是'T'模板参数的值。以下是VisualStudio 2008打印的内容:

mini.cpp(3) : error C2065: 'x' : undeclared identifier
        mini.cpp(9) : see reference to function template instantiation 'void f<int>(T)' being compiled
        with
        [
            T=int
        ]
        mini.cpp(14) : see reference to function template instantiation 'void g<const int&>(T)' being compiled
        with
        [
            T=const int &
        ]

注意如何进入 g ,参数的类型为 const int & f 只是 int . 显然,在推导要在实例化 模板。当调整示例以便 f型 调用方式如下

f<T>( v );

类型是 两者都有 f型 克 . 为什么?这是特定的行为吗?我暗地里依赖 v f型