在看C++primer,在P58遇到一些问题:
const int &i = ci; //用于声明引用的const都是底层const
不是特别理解,因为在之前的程序中:
//用于声明引用的const都是底层constint i = 0;
int *cosnt p1 = &i; //不能改变p1的值,这是一个顶层const
const int ci = 42; //不能改变ci的值,这是一个顶层const
const int *p2 = &ci
不难看出p2是一个指向cnost int型的指针,可以指向任何一个,所以说可以改变p2的值,所以说是底层const,不难理解。
再看上面的引用r,”引用“的定义中指出,一旦初始化完成,引用将和它的初始值对象一直绑定在一起,也就是说无法再改变了,对比p2来说为什么r里面的const也是底层const?
刚又翻了翻书,
#1:一条声明语句由一个基本数据类型(base type)和紧随其后的一个声明符(declarator)列表组成。
#2:在基本数据类型、类型修饰符与声明符三者中,类型修饰符是声明符的一部分。
#3:底层const与指针和引用等复合类型的基本类型部分有关
至此,有了一个模糊的认识,所有的声明语句,由两部分构成:基本数据类型和声明符(包括类型修饰符)
const int &i = ci;
const int *p2 = &ci;
其中,类型修饰符&表示i是一个引用,类型修饰符*表示p2是一个指针,而之前的const int 表示两者都应该指向int型常量类型。
所以,我简单的把他们理解为,顶层const指的自己不能变,底层const指的别人不能变,基础比较差,也不知道这样理解对不对。