C++ 模板类型推导过程中的隐式类型转换

在一篇 《CUJ：高效使用标准库：显式函数模板参数申明与STL 》中发现了这么一端话：

  基于全面，需要指出，对我们的例子的自动参数推导中，左值到右值的转换不是在推导出模板参数前所使用的唯一一个隐式类型转换。

  在决定模板参数类型前，编译器执行下列隐式类型转换：

    左值变换
    修饰字转换
    派生类到基类的转换

  见《C++ Primer》（[注2]，P500）对此主题的完备讨论。

  简而言之，编译器削弱了某些类型属性，例如我们例子中的引用类型的左值属性。举例来说，编译器用值类型实例化函数模板，而不是用相应的引用类型。同样地，它用指针类型实例化函数模板，而不是相应的数组类型。它去除const修饰，绝不会用const类型实例化函数模板，总是用相应的非const类型。

  底线是：自动模板参数推导包含类型转换，并且在编译器自动决定模板参数时某些类型属性将丢失。这些类型属性可以在使用显式函数模板参数申明时得以保留。

这才发现我以前对模板推断的过程的理解有很大错误，于是写了一段代码进行测试

template< typename T >
void print_type( T t )
{
std::cout << typeid(t).name() << std::endl;
}

int _tmain(int argc, char* argv[])
{
const char *a=0;
char * b=0;
int const c=10;
const int* d=0;
const int e=0;
const int &f=e;
print_type(a);
print_type(b);
print_type(c);
print_type(d);
print_type(e);
print_type(f);
}

答案读者可以自己测试。唯一可以说的就是，C++ 的模板推导系统区分 * 和 const *, 因此 d 的输出是 int const *