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 = ;
int x = ; auto j = i;
j = ; const auto &k = i;//常量引用
//k=x;错误 auto *p = &i;//对常量对象取地址
//*p=35错误,p=&x正确 return ;
}

decltype

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

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

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

 decltype和引用:

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

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

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

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

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

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

    int a = , b = ;

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

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

decltype不会发生上述转换。

    int ia[] = { , , , , , , , , ,  };
auto ia2(ia);//ia2为int* 指针,指向ia的第一个元素
//ia2=42;错误,不能用int值给指针赋值
auto ia3(&ia[]);//这两个操作等价 decltype(ia)ia4 = { };
//ia4=p;错误,不能用整型指针赋给ia4
ia4[] = ;

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

是引用类型。

   int a[][] = {  };

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

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

 
上一篇:一步步开发自己的博客 .NET版(5、Lucenne.Net 和 必应站内搜索)


下一篇:(转)python常用模块(模块和包的解释,time模块,sys模块,random模块,os模块,json和pickle序列化模块)