首页 > 代码库 > const,指针与引用的关系
const,指针与引用的关系
看完C++Primer第二章后,对于const,指针和引用以及后面的constexpr,auto之类的关系异常混乱,特此整理。
一、const必须初始化
const int i = 42;const int j = get_size();
二、const 和 引用
1.常量引用(对常量的引用):将引用与一个常量对象绑定
const int ci = 42;const int &r1 = ci;
2.除此之外,允许一个常量引用绑定一个非常量的对象,字面值或表达式
int i = 42;const int &r1 = i; //绑定一个非常量的对象const int &r2 = 42; //绑定一个字面值const int &r3 = r1 * 2; //绑定一个表达式
原因是:编译器使ri绑定了一个临时变量
int i = 42;const int temp = i;const int &r1 = temp;
其他绑定字面值,表达式都与之类似。
所以说,常量引用的初始化可以以四种方式初始化,除了显而易见的绑定常量对象外,还可以绑定非常量对象,字面值与表达式。
三、const 和 指针
1.指向常量的指针(指针指向的对象是const)
const int ci = 42;const int *cip = &ci;
完了以后就不能用pi去修改i的值了,因为i是const,pi是指向常量的指针。
另外,指向常量的指针和常量引用一样,指向的对象不一定要求一定是常量。
int i = 42;const int *cip = &i;
指向常量的指针只是说不能通过指针改变指向对象的值,但是对象的值可以由它自己改变。书上说,常量引用和指向常量的指针都是它们自以为是以为自己指向(引用)了常量,然后就束缚自己不能改变。。。嗯,好像很忠诚的赶脚。。。
2.常量指针(指针不能改变指向)(和指向常量的指针不一样)
int i = 42;int *const icp = &i; //常量指针double pi = 3.14;const double *const cbcp = π //指向常量对象的常量指针
常量指针是专一滴,可以用它去修改指向的对象,而指向常量对象的常量指针就比较纠结了,虽然对象是它的,但是它却不能去改变,也许这个对象比较demanding吧。。。
四、顶层和底层const
顶层表示指针是专一滴,本身是一个常量。
底层表示指针是忠诚滴,所指向的对象是一个常量。
(不要因为名字想当然地弄混了!)
int *const icp = &i; //顶层const int *cip = &i; //底层const int ci = 42; //顶层const也可以表示任意对象是常量
特此注意一点!!!当执行对象的拷贝操作时,拷入和拷出的对象必须具有相同的底层const资格,或者两个对象的数据类型必须能够相互转换。一般来说,非常量可以转换常量,反之常量不可以转换为非常量。书中原话,好长啊。。。什么意思呢
const int *const cicp = &i;int *p = cicp; //错误,如果p->cicp,那么改变*p就可以改变cicp的值,cicp储存的是i的地址,而cicp的指向是不能变的。int &r = ci; //错误,同理,如果r绑定了ci,那么改变r也可以改变ci,而ci是const int。
就是说,如果等号右边是 指向常量的指针,常量引用或者常量,那么等号左边必须也是 三者之一。(另外不知道上面的注释写的对不对。。。)
后续。。。
五、constexpr 和 常量表达式
六、类型别名 和 auto类型说明符