C++ 中const和复合类型
1.const和引用
可以把引用绑定在常量上,称之为,对常量的引用。不能对那个引用赋值。
如:
const int ci = 1024; const int &ri = ci;
解读:ri是对ci的引用。ri的const意思是视ci为变量。
对于常量,只能使用“对常量的引用”这个引用方式 int &ri = ci;是错误的,因为ci不能赋值,但是可能会对ri赋值从而影响const限定。
所以,他们(制定标准的人)创造了 对常量的引用 的 引用方式。
下面高能!!!
上面说:
视ci为变量
为什么?
2.对常量的引用方式引用变量
int i =2048; const &ri = i;
解读:ri 把 i 视为变量,然后引用它
效果:不能对ri赋值,但是可以对i赋值。这里i是变量。
所以:“对常量的引用” 是一种引用|方式|! 对于真正的常量,必须使用这种方式,对于变量,这种方式使代码不得通过引用来赋值。
这么想:你想开放一个对象,别人只能读取,但你可以修改这个对象的值。
int i; //你的对象 const int &ri = i; //把这个传出去
对常量引用可以绑定:常量,变量。。。字面值,表达式!!!
int i = 5; const int &ri1 = i; //const int& 绑定到 int 变量 const int &ri2 = 9; //正确:对常量引用可以 const int &ri3 = r1 * 2; //正确:反正ri是对常量的引用 int &r4 = r1 * 2; //错误:普通引用就认命吧
r3绑定的是当时对这个表达式的求值得结果,是一个临时量。
引用和const的那些事就完了。
噩梦,复合类型还有一个,指针
3.指针和const
好消息:指针和引用差不多。
于是:
指向常量的指针
const int i = 2; const int *pci = &i;
很像吧,一样,对于常量,必须使用指向常量的指针。
现在指向变量:
int ii = 2; const int *pci = ⅈ
同样,解引用pci后不能赋值,但是可以直接对ii赋值。
大菜来了!!!
4.const指针
复习:指针是对象,而引用不是。
const指针 就是说:指针对象本身是常量,允许把指针本身定义为对象。
效果:const指针不能更改指向对象的地址。
人话:1.必须初始化2.只能指向一处。
把*放在const关键字的前面,就说明指针本身是常量。
int i = 0; //管你的想指变量还是常量 int *const cpi = &i; //将一直指向 i ;
大招:
指向常量的指针 和 常量指针是分开的.
const int *const cpci = &i;
分析:指向常量的常量指针。
性质:1.必须初始化(来自常量指针的属性)
2.指向是不会再变了(来自常量指针的属性)
3.既可以指常量,也可以指变量(来自指向常量的指针的属性)
5.解脱
上面的定义太绕口了。好爽,这就是为什么C++难了。
定义:
拿指针做示例
顶层const:表示指针本身是常量
底层const:表示指针指向的对象是常量(或者看作是常量)
推理:
1.引用没有顶层const,引用不是对象,只是绑定。
2.简单基本类型的常量都是顶层的。
3.指针可以既是顶层const又是底层const
坑:不要忽视底层const
int i; const int *pc = &i; int * p = pc; //错误,pc具有底层const
底层const使用示例:只读器
int i; const int *ci = &i; //把这个传出去,只读的呦。
关于定义怎么理解,个人看法:
const int | *const p;
指向对象的基本数据类型| 声明符
表示指向常量 | 表示指针本身是常量
底层const | 顶层const