auto和decltype两种类型推断方式的区别（学习笔记）

auto和 decltype的区别主要有三个方面:

第一：auto类型说明符用编译器计算变量的初始值来推断其类型,而decltype虽然也让编译器分析表达式并得到它的类型，但是不实际计算表达式的值。

第二：编译器推断出来的auto类型有时候和初始值的类型并不完全一样，编译器会适当地改变结果类型使其更符合初始化规则。例如，auto一般会忽略掉顶层const,而把底层const保留下来。与之相反,decltype会保留变量的顶层const。

第三：与auto不同，decltype 的结果类型与表达式形式密切相关，如果变量名加上了一对括号，则得到的类型与不加括号时会有不同。如果 decltype使用的是一个不加括号的变量，则得到的结果就是该变量的类型;如果给变量加上了一层或多层括号，则编译器将推断得到引用类型。

代码解析：

#include<iostream>
#include<typeinfo>
using namespace std;

int main(){
	int a = 3;
	auto c1 = a;
	decltype(a) c2 = a;
	decltype((a)) c3 = a;
	
	const int d = 5;
	auto f1 = d;
	decltype(d) f2 = d;
	
	cou<<typeid(c1).name()<<endl;
	cou<<typeid(c2).name()<<endl;
	cou<<typeid(c3).name()<<endl;
	cou<<typeid(f1).name()<<endl;
	cou<<typeid(f2).name()<<endl;
	
	c1++;
	c2++;
	c3++;
	c3++;
	f1++;   //auto会忽略顶层const,所以不报错 
	f2++;   //报错：f2为整形常量，不能自加 
	cout<<a<<" "<<c1<<" "<<c2<<" "<<c3<<" "<<f1<<" "<<f2<<endl;
	return 0;
}

        对于第一组类型推断来说，a是一个非常量整数，c1的推断结果是整数，c2的推断结果也是整数，c3的推断结果由于变量a额外加了一对括号所以是整数引用。c1、c2、c3依次执行自增操作，因为c3是变量a的别名，所以c3自增等同于a自增，最终a、c1、c2、c3的值都变为4。

        对于第二组类型推断来说，d是一个常量整数，含有顶层 const，使用auto推断类型自动忽略掉顶层 const，因此 f1的推断结果是整数;decltype 则保留顶层const，所以f2的推断结果是整数常量。f1可以正常执行自增操作，而常量f2的值不能被改变，所以无法自增。