auto与decltype

今天搜狗笔试的一道选择题，原题给忘了，但记得所考的知识点。知识点很基础，但很容易忽视。

具体内容可参考C++ Primer。

[b]auto :变量取auto后，其所对应的类型[/b]

auto一般会忽视顶层const，保留底层const。但如果将引用类型设为const，则会保留相应的顶层const。下面是C++ Primer书

中的例题，我给出了相应的标注。个人觉得比较容易犯错的地方是对常量对象取地址和对引用加auto。

int main()
{
/*    int i = 0, &r = i;
auto a = r;

const int ci = i, &cr = ci;

auto b = ci;
auto c = cr;
auto d = &i;//指针
auto e = &ci;//对常量对象取地址是底层const
const auto f = ci;

auto &g = ci;
//const &h = 42;错误，不能为非常量引用绑定字面值
const auto &j = 42;

a = 42;
b = 42;
c = 42;
//d = 42;错误，应为*d=42;
//e=42;  错误,首先e为指针，其次e为底层const，不能修改其指向对象的值（*e=42）
//可以让e指向其它对象，e=d;
//g=42，错误，常量引用
*/

const int i = 42;
int x = 35;

auto j = i;
j = 35;

const auto &k = i;//常量引用
//k=x；错误

auto *p = &i;//对常量对象取地址
//*p=35错误，p=&x正确

return 0;
}

View Code

decltype

这个类型写代码目前还没遇到过。它的作用是返回操作数的数据类型。

处理顶层const和引用的方式与auto不完全相同。decltype返回该变量的类型，包括顶层const和引用。

const int ci = 0, &cj = ci;
decltype(ci) x = 0;//const int
decltype(cj)y = x;//const int &
//decltype(cj) z; 错误，z是引用，必须初始化

decltype和引用：

有些表达式将向decltype返回一个引用类型--当该表达式的结果对象能作为一条赋值语句的左值

int i = 42, *p = &i, &r = i;
decltype(r + 0) b;//decltype(r)返回的是引用，但r+0返回的是r所指类型
//decltype(*p) c; 这个很容易犯错，解引用指针是表达式，返回的是可以赋值的对象，
//因此，c的类型是int&，而非int

decltype所用的表达式，加括号和不加括号不同。如果给变量加上一层或多层括号，编译器会把它当作表达式。而变量是一种可以

作为赋值语句左值的特殊表达式，所以这样的decltype就会得到引用类型：

decltype((i))d;错误，d为引用，必须初始化

另外赋值操作也是会产生引用的一种典型表达式：

int a = 3, b = 4;

decltype(a) c = a;//c=3
decltype(a=b)d = a;//d为a的引用

auto和decltype还有一层区别是在数组上。当使用数组作为一个auto变量的初始值时，推断得到的类型为指针而非数组；

decltype不会发生上述转换。

int ia[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
auto ia2(ia);//ia2为int* 指针，指向ia的第一个元素
//ia2=42;错误，不能用int值给指针赋值
auto ia3(&ia[0]);//这两个操作等价

decltype(ia)ia4 = { 0 };
//ia4=p;错误，不能用整型指针赋给ia4
ia4[4] = 5;

另外再补充一点多维数组有关的知识：当用范围for语句访问多维数组时，除了最内层的循环，其他所有层的循环的控制变量都应该

是引用类型。

int a[3][4] = { 0 };

for (auto &row : a)
{
for (auto &col : row)
{
col = 1;
}
}

编译器初始化时会自动将数组转为指针，如果不是引用，row的类型就变成了int*，内层的循环就不合法了。