decltype 说明符[c++11]

在我们编写函数模板的时候可能会遇到很多的问题

template<typename T1,typename T2>
void function(T1 x, T2 y)
{
    ...
    ? type ? result = x + y;
    ...
}

上面的例子中，我们可以发现一个很明显的问题——有时候在函数模板中我们并不知道某个表达式产生的结果具体是什么类型。

decltype关键字[c++11]

c++11新增的关键字decltype可以用于解决上述问题

#include <iostream>
 
using namespace std;
 
template<typename T1,typename T2>
void function(T1 x, T2 y)
{
    decltype(x + y) result = x + y;
    cout << result << endl;
}
 
int main()
{
    function(10, 20);
    function(10, 52.1); 
}

decltype关键字用于查询表达式的数据类型，为确定类型编译器必须遍历一个核对表

假设有如下声明：

1	`decltype(expression) var;`

第一步，如果expression是一个没有用括号括起的标识符，则var的类型和标识符的类型相同，包括const等限定符。
- ?
  1
  2
  3
  4
  5
  6
  7
  double x = 1.1;
  double& rx = x;
  const double* pd;
  
  decltype(x) a; //a is type double
  decltype(rx) b = x; //b is type double &
  decltype(pd) c; //c is type const double *
第二步，如果expression是一个函数调用，则var的类型与函数的返回值类型相同（不会调用函数）。
- ?
  1
  decltype(function(2)) num; //不会调用函数
第三步，如果expression是一个用括号括起来的左值，则var为指向其类型的引用。
- ?
  1
  2
  3
  4
  5
  int num1 = 95;
  
  decltype(num1) x = 100; //x is type int
  
  decltype((num1)) y = num1; // y is type int &
第四步，如果前面的条件都不满足，则var的类型和expression的类型相同。
- ?
  1
  2
  3
  4
  5
  6
  7
  8
  int a = 10;
  int b = 20;
  int& ra = a;
  int& rb = b;
  
  decltype(100L) num1 = 100;//num1 is type long
  decltype(a * b) num2 = 100;//num2 is type int
  decltype(ra + rb) num3 = 10;//num3 is type int

注意：和sizeof一样decltype不需要对操作数求值

decltype的常见用法

结合typedef使用
后置返回类型

1）需要多次声明的时候可以结合typedef使用

#include <iostream>
 
using namespace std;
 
template<typename T1,typename T2>
void function(T1 x, T2 y)
{
    typedef decltype(x + y) xy_type;
    xy_type num1 = x + y;
    xy_type num2 = x * y;
    xy_type num3 = x / y;
    cout << "x + y: " << num1 << endl;
    cout << "x * y: " << num2 << endl;
    cout << "x / y: " << num3 << endl;
}
 
int main()
{
    function(10, 20);
}

2）c++11后置返回类型

文章开头的例子中我们不难发现另一个的问题——在创建函数模板的时候我们并不能够确定返回值的具体类型。那么我们能够利用类似于decltype(x + y)来确定函数的返回值类型吗？

答案是：不能，因为此时还未声明参数x、y。针对此问题c++11中给出了解决方案——后置返回类型

#include <iostream>
 
using namespace std;
 
template<typename T1,typename T2>
auto function(T1 x, T2 y)->decltype(x + y)
{
    return x + y;
}
 
int main()
{
    cout << function(10, 20) << endl;
}