c++学习总结--复合类型，const。

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

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

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

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

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

如：

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

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

关于const引用：

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

实际上，这种形式正式下面要讲的顶层const，约定指向对象时const，它是可以直接用常数为引用赋值，注意对比上面的。

这也正是为什么可以为顶层const的函数参数传递常数的原因。

const int &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;指约束自己，指针本身是常量。

顶层const和底层const：

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

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

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

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

关于顶层const的拷贝，举例子：

int i = 0;
const int c = 2;
i = c;

c是一个顶层const，因为它本身就是不可改变的对象，这种值拷贝并不在乎c是否为const。

关于底层const的拷贝，也举个例子：

const int *b = 2;
int *p = b; //错误的

这种情况下是错误的，底层const的拷出是严格的，b已经约定了它指向的对象是不会被改变的，而p变量本身没有这种约定，b是不放心的。也就是说底层const在拷出的时候是严格的，双方都应该是底层const。但是对于底层const，拷入确实可以的：

int i = 0;
const *p = &i;

这是可以的，普通的int *可以转换成const int*。

const形参和实参：

实际上，顶层const作为形参是会被编译器忽略掉的，什么意思，我们看个例子：

 

void fun(const int a);
void fun(int a);

 

看这两种函数声明，我们以为很开心的重载了，但是最后确报错了，实际上，忽略了顶层const，这两种声明是完全一样的。

我们可以对比这一种情况，如果还分不清底层或者顶层const的话：

void fun(const int& a);
void fun(int &a);

尽量使用常量引用：

实际上，在前面已经提到过：

int a = 1;
int &b = a;
//我们可以这么用
/但不可以这么用
int &c = 1;  //不可以
//但可以这么用
const int &d = 1;

要是是这样一个函数：

void fun(int &a);

如果这么调用：

fun(2);

会报错。

但是如果是这样的声明：

void fun(const int &a);

就不会报错了。