c++ primer 中讲的顶层const 和 底层 const 理解

c++ primer 中讲的    顶层const 和 底层 const   以前没搞懂的顶层const和底层const,这次看了后感觉明白了。

首先,const是一个限定符,被它修饰的变量的值不能改变

对于一般的变量来说,其实没有顶层const和底层const的区别,    而只有向指针这类复合类型的基本变量,才有这样的区别。

一 如何区分顶层const和底层const

指针如果添加const修饰符时有两种情况:

1 指向常量的指针:代表不能改变其指向内容的指针。声明时const可以放在类型名前后都可,拿int类型来说,声明时:const int和int const 是等价的。声明指向常量的指针也就是底层const,下面举一个例子:

  1. int num_a = 1;  
  2. int const  *p_a = &num_a; //底层const  
  3. //*p_a = 2;  //错误,指向“常量”的指针不能改变所指的对象  

注意:指向“常量”的指针不代表它所指向的内容一定是常量,只是代表不能通过解引用符(操作符*)来改变它所指向的内容。上例中指针p_a指向的内容就不是常量,可以通过赋值语句:num_a=2;  来改变它所指向的内容。

2 指针常量:代表指针本身是常量,声明时必须初始化,之后它存储的地址值就不能再改变。声明时const必须放在指针符号*后面,即:*const 。声明常量指针就是顶层const,下面举一个例子:

  1. int num_b = 2;  
  2. int *const p_b = &num_b; //顶层const  
  3. //p_b = &num_a;  //错误,常量指针不能改变存储的地址值  

其实顶层const和底层const很简单。 1.一个指针本身添加const限定符就是顶层const。(指针被限定则

                  2.而指针所指的对象添加const限定符就是底层const。(对象被限则 底) 

二 区分顶层const和底层const的作用

区分后有两个作用。

1 执行对象拷贝时有限制,常量的底层const不能赋值给非常量的底层const。也就是说,你只要能正确区分顶层const和底层const,你就能避免这样的赋值错误。下面举一个例子:

  1. int num_c = 3;  
  2. const int *p_c = &num_c;  //p_c为底层const的指针     还有一点记住  就是不能通过p_c去修改变量的值
  3. //int *p_d = p_c;  //错误,不能将底层const指针赋值给非底层const指针  
  4. const int *p_d = p_c; //正确,可以将底层const指针复制给底层const指针  

2 使用命名的强制类型转换函数const_cast时,需要能够分辨底层const和顶层const,因为const_cast只能改变运算对象的底层const。下面举一个例子:

  1. int num_e = 4;  
  2. const int *p_e = &num_e;  
  3. //*p_e = 5;  //错误,不能改变底层const指针指向的内容  
  4. int *p_f = const_cast<int *>(p_e);  //正确,const_cast可以改变运算对象的底层const。但是使用时一定要知道num_e不是const的类型。  
  5. *p_f = 5;  //正确,非顶层const指针可以改变指向的内容  
  6. cout << num_e;  //输出5  

原文地址:https://www.cnblogs.com/zhangkele/p/9131325.html

时间: 2024-10-07 04:09:20

c++ primer 中讲的顶层const 和 底层 const 理解的相关文章

C++中顶层const和底层const

1. 顶层 const 与底层 const 概念 指针本身是一个对象,由于,指针实际相应着内存单元的一段存储空间,然而,指针所指向的也是一个数据对象,因此,指针是一个常量与指针所指向的是一个常量是两个全然不同的概念, 顶层 const 表示的是 指针本身是一个常量, 底层 const 表示的是 指针所指的对象是一个常量,更普通情况下, 顶层 const 能够表示随意对象是一个常量,这对于算术类型.类.指针等不论什么数据类型都是成立的, 底层 const 则与指针和引用等复合类型的基本类型部分有关

彻底搞懂顶层const和底层const

看到这个顶层const和底层const,纠结了好久,经常记不住. 于是本人的强迫症发作,一定要记住,就写下了这个笔记... // ConsoleApplication1.cpp : 定义控制台应用程序的入口点. // #include "stdafx.h" #include <iostream> using namespace std; int _tmain(int argc, _TCHAR* argv[]) { int b = 0; int c = 1; const in

c++ 顶层const与底层const

顶层const是代表对象本身是一个常量(不可改变):      底层const是代表指向的对象是一个常量(指向的不可改变): 1 #include <iostream> 2 3 int main() 4 { 5 int i=0; 6 int* const p1=&i; //-----不能改变p1的值,这是一个顶层const 7 const int b=i; //-----不能改变b的值,这是一个顶层const(一般变量前const都是顶层const) 8 const int* p2=&

cosnt指针-顶层const和底层const

指针本身是一个对象,它可以指向另一个对象.因此,指针本身是不是常量和指针所指的对象是不是常量就是两个独立的问题. 顶层const表示指针本身是个常量. 底层const表示指针所指的对象是个常量. 下面所示,pi就是一个常量指针,不能修改pi的值.而pd则是一个指向常量的常量指针,既不能修改pd的值,也不能通过pd修改其指向对象的值. int i = 0; int *const pi = &i; const double d = 3.14; const double *const pd = &

【C++】顶层const和底层const

如前所述,指针本身是一个对象,它又可以指向另外一个对象.因此,指针本身是不是常量以及指针所指的是不是一个常量就是两个独立的问题.用名字顶层const(top-level const)表示指针本身是个常量,用名词底层const(low-level const)表示指针所指的对象是一个常量. 更一般的,顶层const可表示任意的对象是常量,这一点对任何数据类型都适用,如算术类型.类.指针等.底层const则与指针与引用等符合类型部分有关.比较特殊的是,指针类型既可以是顶层const也可以是底层con

看 C++ Primer 的58页, 讲拷贝时不能忽略 底层const这里的说的原因有点牵强, 这里给出自己的理解

extern const  int ci =42; const int * p2  = &ci; extern const  int *const p3= p2; int *p= p3;   //错,p没有底层const. 书上的解释是: p3是顶层const 也是底层const,拷贝p3可以不在乎其顶层const, 但是p3指向的是一个常量,因此不能用P3初始化p,  而p 只能指向非常量.  理解他说的意思是因为一个指向常量一个指向非常量. 但自己仔细想想, 底层const也可以指向一个非常

顶层const和底层const

As we’ve seen, a pointer is an object that can point to a different object. As a result,we can talk independently about whether a pointer is const and whether the objectsto which it can point are const. We use the term top-level const to indicate tha

C++ Primer 学习笔记_25_类与数据抽象(11)--const 用法小结、static与const以及static const(const static)

一.const 用法总结 1.可以对const 的用法做个小总结: const int n = 100;  //定义常量 const Test t(10); const int & ref = n;   //const引用 int& ref = n;  //Error [const与指针] const int* p; //const出现在*前面,表示*p是常量 (*p = 200; //Error) int * const p2;  //const出现在*后面,表示p2是常量 (p2 =

C++ Primer中文本查询示例Query的实现

最近在看C++ Primer复习C++的语法,看到书中15.9章中的文本查询示例时,觉得设计得非常不错,于是便动手照着实现了一个,修改了很久终于运行成功了,从中也学习到了很多的语法.下面把实现与总结分享给大家: 首先是在10.6.2节中实现的TextQuery类: TextQuery.h #ifndef __TestC____TextQuery__ #define __TestC____TextQuery__ #include <iostream> #include <vector>