追踪返回类型

先看一个例子：

template<typename T1, typename T2>
decltype(T1 + T2) Sum(T1 &t1, T2 &t2)
{
	return t1 + t2;
}

这样的写法虽然看似不错，不过编译器在推导decltype(t1 + t2)时，表达式中的t1和t2都未声明（编译器只会从左向右读入符号），按照C/C++编译器规则，变量使用前必须已经声明，为了解决这个问题，C++11引入了新语法——追踪返回类型，来声明和定义这样的函数。

template<typename T1, typename T2>
 auto Sum(T1 &t1, T2 &t2) -> decltype(T1 + T2)
{
	return t1 + t2;
}

我们把函数的返回值移至参数声明之后，复合符号->decltype（t1 + t2）被称为追踪返回类型。而原本函数返回值的位置由auto关键字占据，这样，我们就可以让编译器来推导Sum函数模板的返回类型了。而auto占位符合->return_type也就是构成追踪返回类型函数的两个基本元素。