c++学习笔记--复合类型，const。

Posted 2020-06-17

复习c++，有必要对一些东西做一下笔记，方便以后学习，如有问题，欢迎提出。

首先，最常用两种复合类型应该是引用和指针。

所谓复合类型，是在基本类型基础（如：int）上定义的类型。

引用是c++的一个复合类型，首先，它和指针不同的是它并不是一个对象，仅仅只是另一个对象的别名。而且，引用绑定的东西必须是一个对象，引用不是，所以定义引用的引用是

不合法的。也不能定义字面量的引用。同时，普通引用的绑定对象与引用定义类型必须相同。

如：

int &a=10;//错误的，必能定义字面量
double b = 1.22;
int &c = b;//错误，必须是同一种类型。

虽然，普通的引用不能这么定义。

但是const引用却可以，这意味着，像下面这样的代码是合理的：

const &a=10;
double b = 1.22;
const int &c=b;
const int &d = 2*b;

为什么const可以呢？这样代码在编译过程中是这样的

例如第三个：

int tem = b;
const int &c=tem;

系统生成了临时对象。在c++primer中，作者给了这样一个解释，const的引用时不允许对const所修饰的对象进行改变，这意味着，无法改变const引用所绑定的对象，自然也

无法改变tem，但是普通的引用，我们肯定是希望改变引用所绑定的对象的，不然为什么要用引用，既然如此，如果这个规则在普通引用也试用，那改变的将是临时对象，这肯定是矛盾的。

指针是另外一种符合类型。

指针是对象，这个和引用是不同的，它绑定的是另外一个对象的地址。对未知地址的操作可能造成意想不到的效果。所以在指针并不知道指向哪里是，可以先指向NULL,或者c++新标准的nullptr。NULL是预处理变量，不属于std空间，可以直接用。

看这两种指针定义：int *p[3]和int (*p)[3],有什么不同呢。

int *p[3],强调了p[3]保存的是int *，也就是这是一个保存指针的数组，内存是三个int单元。

int (*p)[3],强调的是p是指针，它指向的是一个大小为三的int数组。这意味着p+1，是下一个大小为三的数组首地址，可以当成一个n行3列的二维数组来用。

const是一个限定符，表示常量。

被const限定的指针和引用，相当于签订了协议，表示这个指针或引用所对应的值将不会改变，然而所对应的值是否是常量并不要求，就好像我只约束我自己，你那边怎么样我不管。

这意味着普通的指针或者引用不能绑定常量地址，而指向的常量指针或引用这可以绑定普通地址。

指向常量的指针：如：const int  *a；指约束指向的地址值应该是常量。

还有一种是 常量指针：int const*a;指约束自己，指针本身是常量。

top-level const（顶层const）：本身是const

low-leve const(底层const)：指向对象是const

之所以这样分类是，因为，底层const约束自己不改变指向的值，所以在执行拷贝或拷出的时候，它要严格约定双方都是底层，不允许对方改变指向对象的值。

而顶层const则约束的是自己，也就是指针或者别的基本数据类型本身不被改变，这意味着，在拷入和拷出并不需要都是顶层const，因为这样的操作不会改变他自己。