auto和decltype

auto

auto：编译器通过初始值推断变量类型–auto定义的变量必须有初始值

//auto在同一语句中可以声明多个对象，但必须为同一类型
auto i = 0, *p = &i // 正确，均为int
auto sz = 0, tz = 3.1 // 错误

//auto使用引用作为初始值时，使用**引用对象的类型**作为auto类型
int &a = i;
auto x = &a; // x类型为int

//auto一般会忽略顶层const
const int a = 1, &ar = a; // 顶层const
int i = 0;
const int ai = i; // 顶层const
auto b = a; //int b，丢掉了const
auto c = &ar; // int c，丢掉了const
auto d = &a; // int *d
auto e = &ai; // int *e
auto &f = a; // int &f

//手动加const
const auto cb = a; // const int cb
const auto &cf = a; // const int &cf

decltype

从表达式类型推断变量类型

decltype(f()) sum = x // sum的类型为函数f()返回值的类型

//会保留顶层const
const int ci = 0, &cj = ci;
decltype(ci) x = 0; // const int x = 0
decltype(cj) y = x; // const int &y = x
//引用只作为指向的对象的同义词出现，只有在decltype处例外

// decltype的结果可以是引用类型
int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // int b
decltype(*p) c = i; // int &c = i

// decltype中的表达式如果加上括号，一定是一个引用类型
decltype((i))  d = i; // int &d = i

decltype((variable)) 双层括号，得到的一定是一个引用