问题描述
C++ Primer 第5版中,关于 auto 让我有点疑问:
里边说
auto 通常会忽略掉顶层的 const,底层 const 则会保留下来。因此,设置一个类型为 auto 的引用时,初始值中的顶层常量属性仍然保留。但仍然要注意,如果初始值已经绑定了引用,则此常量就不是顶层常量了。
这里的顶层常量和底层常量有哪些区别,导致了这样的说法?
问题解答
回答1:你看看const章节的内容就知道了。顶层常量是指内容不允许被修改的常量,比如const int* p; p是一个整型指针,它所指向的整型变量的指不能被修改。const修饰符是右结合,所以这里的const修饰int,表明内容不能修改。底层常量是指值能被修改,但地址不能被修改的常量。比如int* const p; const右边是指针,所以该语句定义了一个不能指向其他内存区域的指针,但该内存区域的值是可以被修改的
回答2:int i = 10;int j = 5;const int *p1 = &i;int * const p2 = &i;*p1 = 10; // illegalp1 = &j; // legal*p2 = 7; // legalp2 = &j; // illegal回答3:
简单的说就是:指针能不能改变,是顶层const;指针指向的东西能不能改变,是底层const。一般在类型推导的过程中,顶层的const都会被忽略,而底层const被保留。允许将顶层const变量赋值给非顶层const变量,但底层const不同的话,就不行。底层const不同相当于类型不同。
回答4:1L的回答是错的刚好说反了,您可以参考一下c++ primer第57页的内容。顶层const表示指针本身是个常量,即int *const p,而底层const则指的是指针或者引用的对象是常量,即const int*p