c – 为什么在推导类型时剥离模板参数的限定符？

在使用Microsoft 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打印的内容：

@H_669_2@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模板时要使用的类型时,剥离了引用到const的部分.调整示例时,调用f就像

f<T>( v );

类型是const int&在f和g中.这是为什么？这是指定的行为吗？我秘密地依赖于传递给f的v函数参数的类型,但显然它不是.