2.5.3 decltype类型指示符

练习2.36

#include <iostream>
using namespace std;

int main() {
	int a = 3, b = 4;
	decltype (a) c = a; //c是一个整数，初始值为3
	decltype ((b)) d = a; //d是一个引用
	++c; // c = 4
	++d; // d = 4， a = 4
	cout << "a = " << a << endl; 
	cout << "b = " << b << endl;
	cout << "c = " << c << endl;
	cout << "d = " << c << endl;
	a = 5; //看c和d是否跟着改变
	cout << "c = " << c << endl; //c不变，因为c只是和a类型相同
	cout << "d = " << d << endl; //d跟着a改变，因为d绑定了a

}

练习2.37

int a = 3, b = 4;
decltype (a) c = a; //c是一个整数，初始值为3
decltype (a = b) d = a; //d是一个引用，引用的类型是a的类型，也就是int，值为3
cout << "c = " << c << endl;
cout << "d = " << c << endl;

练习2.38
如果decltype使用的表达式是一个变量，则decltype返回该值的类型（包括顶层const和引用在内），而auto通常会忽略顶层const，保留底层const。

const int i = 42;
auto j = i; //j是整数
decltype (i) k = 30; // k是一个整型常量，不可更改其值

设置一个类型为auto的引用时，初始值中的顶层常量属性仍然被保留，这一点和decltype一致。

const int i = 42, &r = i;
auto &j = i; //j是对整型常量的引用
decltype (r) k = 30; // k是对整型常量的引用

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

const int a = 42;
int b = 42, *q = &b;
auto *p = &a; //注意，此处的*是修饰符，说明p是指针，p是一个pointer to a constant integer
decltype (*q) c; //此处的*是解引用符，得出的c是引用类型。

其次，auto不能能让定义的变量初始化时得到表达式的类型，还可以得到值，而decltype仅得到表达式的类型。它的初始值需要另外定义。

相同点：
整数

int a = 42;
auto b = a;
decltype (a) c; 
//b和c都是int，b的值为42，c未初始化

底层const

#include <iostream>
using namespace std;

int main() {
	const int a = 42;
	int b = 30;
	auto e = &a; //e是指向整数常量的指针，底层const int *
	cout << e << endl;
	decltype(&a) f = &a; //f必须初始化，也是底层const int*
	cout << f << endl;
	e = &b; //e可以指向别的对象
	f = &b; //f也可以
	cout << e << endl;
	cout << f << endl;
}