C++ 中 auto 和顶/底层常量的问题

ddxxx
  • 6

C++ Primer 第5版中,关于 auto 让我有点疑问:

里边说

auto 通常会忽略掉顶层的 const,底层 const 则会保留下来。因此,设置一个类型为 auto 的引用时,初始值中的顶层常量属性仍然保留。但仍然要注意,如果初始值已经绑定了引用,则此常量就不是顶层常量了。

这里的顶层常量和底层常量有哪些区别,导致了这样的说法?

回复
阅读 4.3k
4 个回答

简单的说就是:
指针能不能改变,是顶层const;
指针指向的东西能不能改变,是底层const。
一般在类型推导的过程中,顶层的const都会被忽略,而底层const被保留。
允许将顶层const变量赋值给非顶层const变量,但底层const不同的话,就不行。底层const不同相当于类型不同。

miamy
  • 2
新手上路,请多包涵
1L的回答是错的
刚好说反了,您可以参考一下c++ primer第57页的内容。顶层const表示指针本身是个常量,即int *const p,而底层const则指的是指针或者引用的对象是常量,即const int*p
qianlv
  • 2
新手上路,请多包涵
int i = 10;
int j = 5;
const int *p1 = &i;
int * const p2 = &i;
*p1 = 10; // illegal
p1 = &j;   // legal
*p2 = 7;   // legal
p2 = &j;   // illegal
青春不谢
  • 289

你看看const章节的内容就知道了。顶层常量是指内容不允许被修改的常量,比如const int* p; p是一个整型指针,它所指向的整型变量的指不能被修改。const修饰符是右结合,所以这里的const修饰int,表明内容不能修改。
底层常量是指值能被修改,但地址不能被修改的常量。比如int* const p; const右边是指针,所以该语句定义了一个不能指向其他内存区域的指针,但该内存区域的值是可以被修改的

宣传栏