从宏观上我们可以将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;