C++基本概念——const与基本类型和类、const与指针、const与引用

  从宏观上我们可以将const分为两大类，顶层const（top-level const）和底层const(low-level const)。顶层const可以表示任意的对象是常量，底层const则与指针和引用的复合类型部分有关。

cosnt与基本类型和类

---

  在编程过程中，我们常常使用const来声明那些值不希望被改变的变量。例如，

cosnt int buffer=90; //顶层const
const int sz; //错误，const一经声明必须进行初始化
const Item i=item; //Item是一个类，item是Item类中的对象

const与指针

---

  指针既可以是底层const，也可以是顶层cosnt。指针是顶层const的含义是指针本身的值不能被改变，指针是底层const的含义是不能通过指针修改被指向的对象（但是被指向的对象可能是const，也可能不是cosnt）。

int i=0;
int *const p1=&i; //不能改变p1的值，顶层const
const int ci=42;  //不能改变ci的值，顶层const
const int *p2=&ci;//允许改变p2的值，底层const
const int *const p3=p2;//右边的是顶层const,左边的是顶层const

  我们如何来记忆上面的形式呢？

• 以指针修饰符为界，分成左右两部分，例如第一个int｜* ｜const p1｜解释为只想int 的常量指针。同理，第二个是const int｜* ｜p1｜解释为指向const int 的指针。

const与引用

---

  可以把引用绑定到const对象上，就像绑定到其他对象上一样，我们称之为对常量的引用(reference to const)。如何来理解呢？我们可以通过一个例子来解释：

const int i=0;
const int &r1=i;
int j=9;
const int &r2=j;    //底层cosnt
const int &r3=3.14;

  上面这三种声明形式的都不能通过引用来改变引用对象的值，尽管j本身并不是一个常量。理解第三种情况，关键是要记住r3绑定在一个临时量上。

const int temp=3.14;
const int &r3=temp;