1 类型转换与模板实参
1)自动转换的只有:const转换, 数组及函数到指针的转换
注:不同大小相同元素的数组是不同的类型
2)相同模板参数名对应的实参类型必须相同
3)不同模板参数名对应的实参类型可以不同,但必须兼容
2 函数模板的返回值问题
函数模板只会对函数参数列表的类型进行推断不会对返回值推断
解决方法:
1) 显示模板参数
注: 显示指定了模板类型参数在类型转换上和普通函数参数一样
template <typename T1, typename T2, typename T3>
T1 alternative_sum(T2, T3)
------------------------------------------------------------------------------
auto v = alternative_sum<int>(i, j);
v为int
2) 尾置返回类型
template <typename It>
auto fcn(It first, It larst) -> decltype(*first)
{
return *first;
}
注:对迭代器的decltype运算符返回的只能是对象的引用,不能是值.
可以借助remove_reference<decltype(*first)>::type
3 函数指针与实参推断
程序上下文必须满足:对每个模板参数能唯一确定起类型或值
4 引用与模板实参推断
1) 左值引用
T& ---> 实参必须是一个左值
f1(i) i(int) T int
f1(ci) ci (const int) T const int
f1(5) 错误,不是左值
const T& ---> 实参可以是对象(const或非const), 临时对象, 或字面值常量
注:当函数实参是const时, T将不是const类型
f2(i) i(int) T int
f2(ci) ci (const int) T int
f2(5) 5是右值 T int
注: const参数可以绑定到一个右值
2) 右值引用
T&&
------出入实参 T
左值 左值引用
右值 对象类型
左值引用 左值引用
右值引用 右值引用
引用折叠只能用于间接创建的引用的引用.
右指引用的常用用途:1) 模板转发, 模板重载
5 std::move原理
template <typename T>
typename remove_reference<T>::type&& move(T&& t){
reurn static_cast<typename remove_reference<T>::type&&>(t);
}
注:将一个左值static_cast转到一个右值引用是允许的.
6 转发std::forward
forward<T> 返回类型是T&&