关键字decltype（C++）

关键字decltype

在C++98中，编写模板函数时，一个问题是非总能知道应在声明中使用哪种类型。例如：

template<class T1,class T2>
void ft(T1 x, T2 y) {
    ...
    ?type? xpy = x + y;
    ...
}

xpy应为什么类型呢？由于不知道ft()将如何使用，因此无法预先知道这一点。因此，在C++98中，没有办法声明xpy的类型。
因此，C++11新增的关键字decltype提供了解决方案。可这样使用该关键字：

int x;
decltype(x) y;  //make y the same type as x

给decltype提供的参数可以是表达式，因此在前面的模板函数ft()中，可使用下面的代码：

decltype(x + y) xpy = x + y;

因此，可以这样修复前面的模板函数ft()：

template<class T1, class T2>
void ft(T1 x, T2 y) {
    ...
    decltype(x + y) xpy = x + y;
    ...
}

decltype比这些演示的要复杂些。为确定类型，编译器必须遍历一个核对表。假设有如下声明：

decltype(expression) var;

则核对表的简化版如下：
第一步：如果expression是一个没有用括号括起的标识符，则var的类型于该标识符的类型相同，包括const等限定符。
第二步：如果expression是一个函数调用，则var的类型与函数的返回类型相同。
第三步：如果expression是一个左值，则var为指向其类型的引用。

声明：以上整理自个人理解和Stephen Prata 著的《C++ Primer Plus》