一、decltype 简介
从表达式的类型推断出要定义的变量类型
作用:
选择并返回操作数的数据类型,在此过程中,编译器分析表达式并得到它的类型,却不计算表达式的值。
基本用法:
#include <iostream>
int getSize();
int main(void)
{
int tempA = 2;
/*1.dclTempA为int*/
decltype(tempA) dclTempA;
/*2.dclTempB为int,对于getSize根本没有定义,但是程序依旧正常,因为decltype只做分析,并不调用getSize,*/
decltype(getSize()) dclTempB;
return 0;
}
decltype总结:
decltype 和auto 都可以用来推断类型,但是二者有几处明显的差异:
- auto忽略顶层const,decltype保留顶层const
- 对引用操作,auto推断出原有类型,decltype推断出引用
- 对解引用操作,auto推断出原有类型,decltype推断出引用
- auto推断时会实际执行,decltype不会执行,只做分析
decltype简化核对表:
1. 有如下声明:
decltype (expression) var;
第一步:
如果expression是一个没有用括号括起的标识符,则var的类型与该标识符的类型相同,包括const等限定符
第二步:
如果expression是函数调用,则var的类型与函数返回类型相同
注意:并不会实际调用函数,编译器通过查看函数的原型来获悉返回类型,而无需实际调用函数。
第三步:
如果expression是一个左值,则var为指向其类型的引用。这种情况已经在第一步处理过了。要进入第三步,expression不能是未用括号括起的标识符,那就用括号将其括起
decltype((expression)) var
第四步:
如果前面的条件都不满足,var的类型将与expression相同