auto与decltype区别

<span style="font-size:18px;">//const 与auto和decltypeconst int a(4);auto aa(a);//int      const auto aa2(a);//const int  可以通过加上const使得aa2被顶层const修饰decltype(a) ad (4);//const intconst decltype(a) ad2(4);//const 也可以加但是多余const int*a1(&a);auto a1a(a1);//const int * auto能够识别底层constdecltype(a1) a1d;//const int *    //constexpr 与auto和decltypeconstexpr int b(4);auto ba(b);//intdecltype(b) bd (4);//const int//bd并不解释为decltype int 类型而是 const int类型。这正说明decltype是const一种特殊情况// &与auto和decltypeconst int &d(4);struct my2 {auto da(d);//auto变量不能放到结构体里面};auto da(d);//int 通过表达式结果的类型推断struct my {decltype(d) dd;};cout << sizeof(my) << endl;//4decltype(d) dd(4);//const int &  decltype与表达式的类型密切相关   //[] 与auto和decltypeint e[5];auto ea(e);//int * 编译器最终将[]解析成指针同时auto又是通过表达式结果的类型推断decltype(e) ed;//int ed[5]  //() 与auto和decltypeint f();auto fa(f);//int (*fa)()decltype(f) fd;//int fd();</span>

由上述代码可总结出 区别：

auto是通过初始值表达式的返回结果推断其类型，也可以说是编译后的类型，所以对于初始值表达式为数组 引用 顶层const函数 等通过auto得到的类型出入比较大。

Decltype推断对象的类型与表达式形式密切相关。所以所以对于初始值表达式为数组 引用 顶层const函数 等通过decltype完全一致。特别的对于表达式的结果为左值时（包括 * 、前置++  -- 、 （表达式）），推断出引用类型。

通过这些区别，我们可以得到他们的应用：

<span style="font-size:18px;">        int a(4);auto aa(a);//拷贝一个变量的类型和值decltype(a) ad(a);//拷贝一个变量的类型和值int array[5];decltype(array) c;//创建一个同样的数组，在不知道array元素个数的情况下int ra[10][2];decltype (ra) rac;//完美拷贝其类型int(*f[2])();decltype (f) fc;</span>