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

四、追踪返回类型

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

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

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

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

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也就是构成追踪返回类型函数的两个基本元素。

2、使用追踪返回类型的函数

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

#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;   
}        

输出：

d = 7
d = 21.98

定义了两个模板函数Sum和Mul，它们的参数的类型和返回值都在实例化时决定。而由于main函数中还使用了auto，整个例子中没有看到一个“具体”的类型声明。
auto 会追踪 decltype() 推导出的类型。

可以关注公众号：Kevin的嵌入式学习站，整理不易，但您的点赞、关注、收藏就是对我最大的鼓励！