五、C++11新特性：追踪返回类型

四、追踪返回类型

声明：该笔记是在学习《深入理解C++11》、《C++11/14高级编程 Boost程序库探秘》时做的总结，方便以后巩固复习！

引入追踪返回类型的目的：

追踪返回类型配合auto与decltype会真正释放C++11中泛型编程的能力；简化函数的定义，提高代码的可读性。

对返回类型进行类型推导书写方式如下：

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

这样的写法虽然看似不错，不过对编译器来说有些小问题。编译器在推导decltype(t1 + t2)时的，表达

式中的t1和t2都未声明；而变量使用前必须已经声明。

为了解决变量使用前必须已经声明这个问题，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也就是构成追踪返回类型函数的两个基本元素。

使用追踪返回类型的函数

参数的类型和返回值都可在实例化时再确定

#include <iostream>
using namespace std;

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

template <typename T1, typename T2>
auto Mul(const T1 & t1, const T2 & t2) -> decltype(t1 * t2)
{
	return t1 * t2;
}

int main()
{
	auto a = 3;
    auto b = 4L;
    auto pi = 3.14;
    auto c = Sum(a, b);
    cout << "d = " << c << endl;   
    auto d = Mul(c, pi);
    cout << "d = " << d << endl;   
}