类型说明符auto和decltype

类型说明符auto和decltype

auto和decltype都是C++11标准提出来的类型说明符，都可以通过编译器自动推断出表达式的类型，从而用这个类型定义新的变量，如：

double v1 = 9.8, v2 = 1.3;
auto v3 = v1 + v2;
decltype(v1 + v2) v4;

// 我们可以通过typeid().name()来查看变量的类型，需要加上头文件typeinfo
// 可以看到v3和v4的类型都是d，即double类型
cout << typeid(v3).name() << " " << typeid(v4).name();	

auto和decltype的区别

1 初始值

auto在定义变量时必须要有初始值，而decltype则不一定需要初始值，比如上面的代码所示，auto需要从用来初始化的表达式中推出断出新定义变量的类型，而decltype则是将表达式写在括号内，先推断出类型，再去定义变量。

2 顶层const

auto一般会忽略掉顶层const和引用，只保留底层const。而decltype会保留顶层const和引用。（如果你对顶层const和底层const有疑问，请点击这篇博客：https://blog.youkuaiyun.com/whatiscode/article/details/108723598）

int i = 0;
const int ci = i, &cr = ci;
auto a = ci;	//a是一个整数（ci的顶层const特性被忽略掉了）
auto b = cr;	//b是一个整数（cr的引用特性被忽略掉了）
auto c = &i;	//c是一个整型指针
auto d = &ci;	//d是一个指整型常量的指针（底层const被保留）

decltype(ci) x = 0;	//x的类型是const int（ci的顶层const特性被保留）
decltype(cr) y = x;	//y的类型是const int&，y绑定到x（cr的引用特性被保留）

3 括号

对于decltyp所用的表达式来说，在变量名上加上一对括号得到的类型和不加括号时会有不同。如果decltype给变量加上了一层或者多层括号，那么编译器就会把它当成一个表达式，decltype得到的类型将会是引用。（变量是一种可以作为赋值语句左值的特殊表达式）

int i = 0;
decltype((i)) d;	//错误：d是int&，必须初始化
decltype(i) d;		//正确，d是int，未初始化

4 数组

当表达式表示一个数组时，auto推断出的类型将会是一个指针，指向该数组的第一个元素的地址，而decltype推断出的类型将会是一个数组。

int ia[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};						//ia是一个含有10个整数的数组
auto ia2(ia);													//ia2是一个整型指针，指向ia的第一个元素
decltype(ia) ia3 = {10, 11, 12, 13, 14, 15, 16, 17, 18, 19};	//ia3是一个含有10个整数的数组

decltype和解引用

如果表达式的内容是解引用操作，则decltype将得到引用类型。

int i =43, j = 12, *p = &i;
decltype(*p) c = j;	//c是int&，引用类型，必须初始化