追踪返回类型函数是指把函数的返回类型后置,这在模板类型推导过程中非常有用处,比如下面的代码:
template<typename T1, typename T2>
decltype(t1+t2) Sum(T1&t1, T2& t2)
{
return t1+t2;
}
在上面这个函数定义中,decltype无法推导出t1+t2的类型,因为编译器是从左向右处理的,当处理到decltype的时候,编译器还不知道t1+t2的类型, 追踪返回函数就是为了解决这个问题而生的,上面的函数我们可以声明如下:
template<typename T1, typename T2>
auto Sum(T1&t1, T2& t2) -> decltype(t1+t2)
{
return t1+t2;
}
这样的话,decltype就可以根据t1,t2的类型推导出函数Sum的返回类型了。