C++_decltype 关键字

一、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 都可以用来推断类型，但是二者有几处明显的差异：

1. auto忽略顶层const，decltype保留顶层const
2. 对引用操作，auto推断出原有类型，decltype推断出引用
3. 对解引用操作，auto推断出原有类型，decltype推断出引用
4. auto推断时会实际执行，decltype不会执行，只做分析

decltype简化核对表：

1. 有如下声明：

decltype (expression) var;

第一步：
如果expression是一个没有用括号括起的标识符，则var的类型与该标识符的类型相同，包括const等限定符

第二步：
如果expression是函数调用，则var的类型与函数返回类型相同
注意：并不会实际调用函数，编译器通过查看函数的原型来获悉返回类型，而无需实际调用函数。

第三步：
如果expression是一个左值，则var为指向其类型的引用。这种情况已经在第一步处理过了。要进入第三步，expression不能是未用括号括起的标识符，那就用括号将其括起

decltype((expression)) var

第四步：
如果前面的条件都不满足，var的类型将与expression相同