C++ 中const和复合类型 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