C++模板基础（二）

函数模板（二）
● 模板实参的类型推导
– 如果函数模板在实例化时没有显式指定模板实参，那么系统会尝试进行推导

template<typename T>
void fun(T input, T input2)
{std::cout << input << '\t' << input2 << std::endl;
}
int main(int argc, char *argv[])
{QCoreApplication a(argc, argv);fun<int>(3, 5.0); //OK, 5.0 static_cast to intfun(3, 5.0); //Error: 3 deducted to int but 5.0 deducted to doublereturn a.exec();
}

– 推导是基于函数实参（表达式）确定模板实参的过程，其基本原则与 auto 类型推导相似
● 函数形参是左值引用 / 指针：
– 忽略表达式类型中的引用
– 将表达式类型与函数形参模式匹配以确定模板实参
● 函数形参是万能引用
– 如果实参表达式是右值，那么模板形参被推导为去掉引用的基本类型
– 如果实参表达式是左值，那么模板形参被推导为左值引用，触发引用折叠
● 函数形参不包含引用
– 忽略表达式类型中的引用
– 忽略顶层 const

template<typename T>
void fun(T input)
{std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{QCoreApplication a(argc, argv);int x =3;int& ref = x;fun(ref); //T被推导为intconst int& ref2 = x;fun(ref2); //T被推导为intreturn a.exec();
}

template<typename T>
void fun(T input)
{std::cout << input << std::endl;
}
int main(int argc, char *argv[])
{QCoreApplication a(argc, argv);int x =3;const int* const ptr = &x;fun(ptr);//T被推导为const int*，忽略顶层const，ptr会不会被修改不会影响到input会不会被修改return a.exec();
}

– 数组、函数转换成相应的指针类型

系统的转换是有限的，不会考虑static_cast等等的转换。

参考
深蓝学院：C++基础与深度解析