const 限定符与指针

目录

前言

const 初始化

const 的引用

指针与const

顶层const 与 底层const

---

 

前言

在编程中，变量是非常好用的。可以很容易改变其值的大小。但有时也会造成麻烦，比如程序员不小心改变了某一变量的值，所以为了使某一个变量的值一旦定义便无法改变。c++中引入了const 这一限定符。

const int a = 10; 

比如在定义了上面的 a后 ，所有对a 的赋值操作都是无效的。但要正因为注意的是const 对象一旦创建，便无法更改。所以const 对象 一定要初始化。

const int a = 23; //正确
const int b;    //错误

const 初始化

与非const 类型 的变量相比，const 类型 同样可以完成 大部分的操作。主要的对const类型的限制是，无法执行对const 类型变量的值的改变。const类型变量除了直接赋值，也可以拷贝其他变量的值。比如：

int i=43;
const int j=i;
int k=j;

为什么呢？j 说到底存的是还是整型数。并且 j 的常量特征 会在拷贝操作完成后发挥作用。当用 i 去初始化 j 时 ，根本不需要在意 i 是不是const 类型的变量。拷贝一个对象的值不会改变它，一旦拷贝完成。新的对象与原来的对象就没什么关系了。

还值得注意的是：默认状态下，const对象 仅在当前文件有效。

那怎么才能在一个文件定义了一个const类型，在其他文件也能用到呢？这时候我们可以使用 extern关键字，只需定义一次即可。

const 的引用

常量的引用（对const 的引用）与其他引用 不同的是：常量引用不能改变与其绑定的对象的值.

const int i=23;
const int &j=i;//正确
j=33;//错误
int &r=i;//错误

不能用非常量去引用常量，因为不能通过引用改变常量的值。不知道c++引用的可以去自行查找。

初始化。同时初始化常量引用时允许使用仍以的表达式作为初始值，只要该表达式的结果能转化成引用的类型即可。而且值得注意的是：对const的引用可以是一个非const的对象。

因为常量引用仅仅是对引用对象的操作有限制，对引用对象是不是常量没有限制。

int i=32;
const int &j=i;
const int &m=34;
const int &n=j *2;
//以上正确
int &c=j;//错误
j=4;//错误

指针与const

 指向常量的指针不能改变其指向的对象的值。同样的，我们要想存放常量的地址，就需要用到指向常量的指针。

const double d=2.33;//d 是常量 不能改变
double *p=&d;//错误，p是普通指针
const double *pp=&d;//正确
*pp=4.22;//错误，pp指向的对象的值不能改变

但是允许令一个指向常量的指针指向一个非常量的对象：

double dd = 3.14;
const double* pl = ⅆ//但是不能通过pl 改变dd 的值

所谓指向常量的指针或引用，不过是指针或引用“自以为是”罢了，它们觉得自己指向了常量，所以不会去改变所指对象的值。

常量指针同样必须初始化，却初始化后就不能再改变了。但是不同的书写方法的含义又是不一样的，比如：

int a = 0;
int* const pr = &a;
double b = 3.14;
const double* pl = &b;

我们要想搞明白其中的含义，可以从右向左阅读。比如在此例中

离pr最近的符号是const 意味着pr 本身是一个常量对象，而它的类型是 int* ，所以pr 存储的地址是无法改变的，但是这个地址指向的值是可以改变的。

同理我们可以看出，pl 是一个指向常量的指针，所以pl 恰好相反，pl 所指向的对象值无法改变 但可以修改pl 存储的地址。

double kk = 4.0;
*pr = 4;//正确
pr = &kk;//错误
*pl = 5.6;//错误
pl = &kk;//正确

同时，int const * p 与 const int* p 是等同的。 

顶层const 与 底层const

如上所述，一个指针本身是一个对象，它所指向的是另一个对象。因此指针本身是不是常量和指针指向的对象是不是常量是两回事儿。而我们一般用顶层const 表示指针本身是常量，用底层const 表示指针所指对象是一个常量。而且指针类型既可以是顶层const ，同时也是底层const。一般的，顶层const的概念对其他类型也是适用的。

int i = 4;
const int pi = 78;//顶层const
int* const pj = &i;//顶层const
const int* pl = π//底层const
const int& ri = pi;//用于声名和引用的const 都是底层const

执行拷贝操作时，二者也是不同的。其中，顶层const 几乎不受什么影响。但是底层const 的拷入和拷出的对象是相同的底层const资格，或是二者的数据类型可以转换。一般非常量可以转换成常量，反之不可。

int i = 0;
int* l = &i;
const int ci = 4;
int& r = ci;//错误，const int 不能转换为int
const int* p2 = l;//正确，int* 可以转换为 const int*