C++98/03:
在泛型编程中,可能需要通过参数的运算来得到返回值的类型。
template<typename R, typename T, typename U>
R add(T t, U u)
{
return t+u;
}
int a = 1;
float b = 2.0;
auto c = add<decltype(a+b)>(a,b); //我们想获得返回值类型,得通过decltype显式推导出返回值类型,比较麻烦。
- C++的返回值是前置语法,在返回值定义的时候参数变量还不存在。
C++11:
C++11返回类型后置:将 decltype 和 auto 结合起来完成返回值类型的推导。
template<typename T,typename U>
auto add(T t, U u) -> decltype(t+u)
{
return t+u;
}
总结
返回值类型后置语法,是为了解决 函数返回值类型依赖于参数 而导致难以确定返回值类型的问题。