C++新特性之decltype指定符

在上一篇我们学习了C++新特性的auto特性，其功能是对变量和函数的返回值进行类型推断。在C++新特性中还具有一个类型推断的指定符，那就是decltype。
C++新特性之auto指定符
那既然有了auto，那为什么还要出个decltype？两者有什么不同？等我们学完这个指定符就明白了。

语法

1. decltype(entity)         //检查实体的声明类型

2. decltype(expression)     //检查表达式的类型

举例

#include <iostream>

struct A {double x;};
const A* a;

decltype(a->x) y;           //y的类型是double
decltype((a->x)) z=y;       //z的类型是const double&（左值表达式）
//注意若对象名称被括号括着，则它被当做通常的左值表达式。从而decltype(x)和decltype((x))不是一种类型。

template <typename T,typename U>
auto add(T t,U u) ->decltype(t,u)   //上一篇中学到的返回类型为尾随指定类型
{
    return t+u;
}

int sub(int a,int b)
{
    return a-b;
}

int main()
{
    int i=33;
    decltype(i) j=i*2;

    decltype(a+1.3) b;      //b的类型为double
    decltype(sub(2,1)) d;   //d的类型为int
}

当我们认识到了decltype指定符，我们就可以知道auto和decltype的区别了：
1. 从含义上讲：auto是在不知道，或者不可能知道类型的情况下使用的，而decltype用于捕获某个实体或者表达式的类型。
2. 从具体用法上讲：
2.1. auto只保留底层const，而decltype无论顶层const还是底层const都会保留。
2.2. 如果表达式是引用类型，auto的类型是这个引用的对象的类型，decltype则还是引用类型。

学完上面的内容，我们是否了解两者的用法和区别呢？我想是的。