C++常量详解一(常量指针与常量引用的初始化)

时间:2022-06-01 16:38:28

1、常量

1.1、常量的初始化:
const对象一旦创建后其值就不能再改变,所以const对象必须初始化。这里我们要注意一点,像const int *p和const int &r都并不是const对象。因为const int *p只是表示不能通过p改变p所指的对象的值,p的值是可以变的,所以p可以不用初始化。至于r ,引用本身就不是对象,所以r也并不是const对象,r之所以一定初始化,是因为引用必须初始化。对于以上内容,你也可以理解为底层const 修饰的并不是const对象,还要注意像const int *const p1这种,这是一定要初始化的,这是const对象,因为它有一个顶层const。

1.1.1分清了const对象后,让我们先把目光聚集到const对象这里。

  const对象可以分为大致三类:

?
1
2
3
const int m
int *const p
const int *const q

而这前两类都可以用来给非const对象或者const对象初始化,因为这前两类都是顶层const,初始化时的拷贝是不会对他们的自身值做出什么改变,即以下代码均正确。

?
1
2
3
4
5
6
7
8
//第一类
int m1=m;//正确
const int m2=m;//正确
//第二类
int *p1=p;//正确
int *const p2=p;//正确
const int *p3=p;//正确
const int *const p4=p;//正确

而第三类则需要我们注意一下,因为第三类还有一个底层const。
const int *const q

?
1
2
3
4
int *q1=q;//报错
int *const q2=q;//报错
const int *q3=q;//正确
const int *const q4=q;//正确

底层const有一个限制:当执行对象的拷贝操作时,拷入和拷出的对象必须具有相同的底层const。
我们可以这样理解:const int *const q如果可以拷贝初始化给q1、q2,那么意味着我们可以通过q1、q1来改变q所指的对象的值,那这样q的底层const还有什么意义呢?

以上,是说这三类可以给哪些对象初始化,现在我们看看哪些可以给这三类初始化

第一类const int m

?
1
2
3
4
5
//以下一些变量不初始化,我把重点落在类型。
int m1;
const int m2;
const int m=m1;//正确
const int m=m2;//正确

第二类int *const p

?
1
2
3
4
5
6
7
8
9
10
//以下一些变量不初始化,我把重点落在类型。
int *p1;
int *const p2;
const int *p3;
const int *const p4;
 
int *const p=p1;//正确
int *const p=p2;//正确
int *const p=p3;//错误
int *const p=p4;//错误

这里的报错同样因为底层const有一个限制:当执行对象的拷贝操作时,拷入和拷出的对象必须具有相同的底层const

第三类 const int *const q

?
1
2
3
4
5
6
7
8
9
10
//以下一些变量不初始化,我把重点落在类型。
int *q1;
int *const q2;
const int *q3;
const int *const q4;
 
const int *const q=q1;//正确
const int *const q=q2;//正确
const int *const q=q3;//正确
const int *const q=q4;//正确

1.1.2 现在让我们把目光转回非const对象的初始化
这里主要有两类:

?
1
2
3
//以下一些变量不初始化,我把重点落在类型。
const int *p;
const int &r;

先考虑他们可以给哪些对象初始化
第一类 const int *p

?
1
2
3
4
5
//以下一些变量不初始化,我把重点落在类型。
int *p1=p;//报错
int *const p2=p;//报错
const int *p3=p;//正确
const int *const p4=p;//正确

此处同样由于低层const的限制

第二类 const int &r

?
1
2
3
//以下一些变量不初始化,我把重点落在类型。
int &r1=r;//错误
const int &r2=r;//正确

这里强调一下,引用不是对象,所以没有像 int *const &r或者const int *const &r这种形式

好,再考虑哪些可以给他们初始化
第一类 const int *p

?
1
2
3
4
5
6
7
8
9
10
//以下一些变量不初始化,我把重点落在类型。
int *p1;
int *const p2;
const int *p3;
const int *const p4;
 
const int *p=p1;//正确
const int *p=p2;//正确
const int *p=p3;//正确
const int *p=p4;//正确

因为const int *p意义在于表明不可以通过p改变它所指的对象的值,这个对象可以不是常量,只是p所指的对象对于p来说是常量,所以它所指的对象是否const 其实并没有关系。

第二类 const int &r

?
1
2
3
4
5
//以下一些变量不初始化,我把重点落在类型。
int &r1;
const int &r2;
const int &r=r1;//正确
const int &r=r2;//正确

这里const同样是指不能通过r改变它所引用的对象,所以它所引用的对象本身是不是const无关紧要。
纵观以上的错误,都是试图把底层const拷贝初始化给没有底层const的对象。
以上就是关于涉及到常量的指针和引用的初始化的解释了。

原文链接:http://blog.csdn.net/jang1996/article/details/52753965