decltype（C++11）

介绍

一个用来推导数据类型的函数。

背景

在c++具体编译的过程中，我们可能会需要获取某个变量的数据类型，早在c++11发布前，就有编译器为解决这一需求设计了相关函数，如gcc中的typeof函数，还有typeid函数。但是由于不同编译器之间并不统一，会造成许多不必要的麻烦。

现在c++规范推出了一个统一的获取数据类型的函数，即decltype函数。

分析

刚刚学习c++的时候不能理解这个函数的用处是正常的。因为在c++刚开始学的时候，对泛型的接触并不多，这个函数的用处自然也不明显。所以接下来的内容推荐在了解了泛型之后观看。

在接下来的代码中，我们需要设计一个函数，用来支持两个不同数据类型的变量的求和。

很明显，解决这一需求需要使用到template，也就是模板。

template<class R,class T1,class T2>
R sum(T1 x1,T2 x2){
	return x1+x2;
}

但是，如果纯用template，那我们在使用的时候只能这么写：

sum<返回值类型>(x1,x2);

可以看到，非常的丑陋。那我们可以用什么方法来让sum函数自动识别返回值类型呢。这个时候decltype函数就有用了。加入该函数后的代码如下：

template<class T1,class T2>
auto sum(T1 x1,T2 x2) -> decltype(x1,x2){
	return x1+x2;
}

这样我们在使用的时候直接打：

sum(x1,x2);

就可以了。

这就是decltype函数的一个具体用法。

虽然在C++14中auto得到了加强，可以不用返回值类型后置。但是我仍然推荐使用decltype函数判断返回值类型。

补充

‍接下来是对代码中使用到的知识的补充。
C++11中新增了一个功能---函数返回类型后置。格式为：

auto 函数名(形参) ->函数返回值类型 {
}