【C++ Primer 第16章】2. 模板实参推断

模板实参推断：对于函数模板，编译器利用调用中的函数实参来确定模板参数，从函数实参来确定模板参数的过程被称为模板实参推断。

 类型转换与模板类型参数

与往常一样，顶层const无论在形参中还是在是实参中，都被会忽略。

• const转换：可以将一个非const对象的引用（或指针）传递给const的引用（或指针）形参。

• 数组或函数指针转换：一个数组实参可以转换为一个指向其首元素的指针。类似的，一个函数实参可以抓转换一个该函数类型的指针。

 1 template <typename T> T fobj(T, T)  //实参被拷贝
 2 template <typename T> T fret(const T&, const T&) //引用
 3 
 4 string s1("a value");
 5 const strng s2("another value");
 6 fobj(s1, s2);    //调用fobj(string, string); const被忽略
 7 fret(s1, s2);    //调用fret(const string&, const string&); const被忽略
 8 
 9 int a[10], b[42];
10 fobj(a, b);       //调用fobj(int*, int*);
11 fret(a, b);       //错误