auto与decltype

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

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

auto :变量取auto后，其所对应的类型

       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;
}

         

     

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*，内层的循环就不合法了。