auto

• auto 相当于一个占位符，在编译阶段自动推导变量类型，它需要表达式
• auto 推导的类型总是值类型，不会推导出引用类型

auto 还有一种特殊用法：后置返回值类型声明

auto foo() -> 返回值类型声明 {}

decltype

decltype 相比于 auto，也是在编译阶段可以推导出引用类型，配合 auto 使用，可以更加简洁，同时，也不需要表达式

int x = 0;

decltype(x) x1;  // 没有初始化，可以推导出 x1 的类型是 int
decltype(x)& x2 = x;  // x2 是 int&，引用必须赋值
decltype(x)*    x3;      // 推导为int，x3是int*
decltype(&x)    x4;      // 推导为int*，x4是int*
decltype(&x)*   x5;      // 推导为int*，x5是int**
decltype(x2)    x6 = x2;  // 推导为int&，x6是int&，引用必须赋值

decltype(auto) x7 = (x);  // 更简洁的写法 auto 相当于右侧表达式的占位，直接通过表达式推导，(expr) 是引用类型

const / volatile

• const 修饰的变量和宏定义不同，他运行在运行时，是不可改的变量
• 通过配合 volatile 关键字，可以通过指针地址来修改 const 修饰的数据内容，但是不提倡。
• 大多数情况下，编译器会优化 const 值，例如在替换源码中的 const 为原始值
• volatile 表示禁止编译器的优化

// 需要加上volatile修饰，运行时才能看到效果
const volatileint MAX_LEN  = 1024;
auto ptr = (int*)(&MAX_LEN);
*ptr = 2048;
cout << MAX_LEN << endl;      // 输出2048

const 还有修饰的位置不同，其含义也不同

string name = "abc";
const string* ptr1 = &name;  // 表示指针的内容不可改
// *ptr1 = "b"  // raise error

string* const ptr2 = &name;  // 表示指针不能变，数据可变

class Demo {
	int a() const;  // 表示这个过程是幂等的，不会修改对象的状态，即隐式的 const this
	const int b();  // 返回一个 const int 类型的值
}