关键字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》