2021.2.1学习日志
引用本身不是一个对象,因此不能定义指向引用的指针。但指针是对象,所以存在对指针的引用:
int i=42;int *P;// p是一个int型指针int *&r = P;// r是一个对指针p的引用r=&i;//r引用了一个指针,因此给r赋值&i就是令p指向i*r= 0;//解引用r得到i,也就是p指向的对象,将i的值改为0
要理解r的类型到底是什么,最简单的办法是从右向左阅读r的定义。离变量名最近的符号(此例中是&r的符号&)对变量的类型有最直接的影响,因此r是一个引用。声明符的其余部分用以确定r引用的类型是什么,此例中的符号*说明r引用的是一个指针。最后,声明的基本数据类型部分指出r引用的是一个int指针
面对一条比较复杂的指针或引用的声明语句时,从右向左阅读有助于弄清楚它的真实含义
2.4 const限定符
c 语言部分的称述
通过采用指针或数组作函数参数,可使调用者获得修改后的数据,但有时我们只希望将数据传到被调函数内部,而并不希望它们在丽数内被修改,此时,为防止数据被意外修改,也为了让函数的功能更明确(明确表示程序员的意图,不希望它们被修改),可使用const对参数进行限定。如例10.6所示,可将MyStrlen()声明为:
unsigned int MyStrlen (const char str[]) ;
或者
unsigned intMyStrlen (const char *pStr) ;
事实上,当声明一个指针变量时,这个指针变量本身的值以及它所指向的数据都可被声明为const。 const位于声明语句中的不同位置,将表示不同的含义。
(1) const放在类型关键字的前面。
假设有如下变量声明语句:
int a, b;const int *p = &a;
按照从右到左的顺序,可将这条变量声明语句读作:“p是一个指针变量,可指向一个整型常量( Integer Constant)”。它表明p是一个常量,而p不是。由于p是只读的,是不可以在程序中被改的,所以一且将 °p作为左值在程序中对其进行财值,将被视为非法操作。注意:虽然这里印的值是不可修改的,但p指向的变量a的值仍然是可以修改的,即对a执行赋值操作是合法的。因指针变量p的值是可以修改的,所以这里如果执行赋值操作p=&b也是合法的.经过这个赋值之后,指针变量P就不再指向变量a而指向变量b了。
(2) const 放在类型关键字的后面和*变量名的前面。
int const *P = &a;
按照从右到左的顺序,可将这条变量声明语句读作:“p是一个指针变量,可指向一个常量整数( Constant Integer)”。它表明p是一一个常量,而p不是。由于p是只读的,所以不能使用指针变量p修改这个“为常量的整型数" ,它和第一种情况是等价的。
(3) const放在类型关键字*的后面,变量名的前面。
int* constp = &a;
按照从右到左的顺序,可将这条变量声明语句读作:“p是一个指针常量,可指向一个整型(Integer)数据”。它表明p是一个常量,而却不是。由于p是一个常量指针,是只读的,其值是不可以被修改的,所以在程序中不能修改指针p.让它指向其他变量,但是它所指向的变量的值是可以修改的。例如,此时执行*p=20这样的赋值操作是合法的,而执行p=&b这样的赋值操作就是非法的。
(4)一个const放在类型关键字之前,另一个const放在类型关键字之后和变量名之前。
const int* constp = &a;
按照从右到左的顺序,可将这条变量声明语句读作:“”P是一个指针常量,可指向一个整型常量(neger Costn)"。它表明p和。p都是个常量,都是只读的。这时,无论执行.p=20还是执行p=&b这样的赋值操作,都将被视为非法操作。
在以上四种用法中,第一种用法较为常用.C语言的许多标准库函数都在函数的某些指针参数的类型前加上了co限定符,目的就是只允许函数访问该指针参数指向的地址单元中的内容,不允许修改其内容,从而对参数起到一定的保护作用,减少程序出错的机会。
c 部分
和c一样,const限定符是用来定义一种变量,它的值不能被随意修改。
像是用来表示缓冲区的大小,一来容易程序员的修改,二来可以避免程序修改了此值。
因为const的对象一旦创建后其值就不能再次进行修改,所以const对象必须进行初始化。
初始化和const
正如之前反复提到的,对象的类型决定了其上的操作。与非const类型所能参与的操作相比,const类型的对象能完成其中大部分,但也不是所有的操作都适合。主要的限制就是只能在const类型的对象上执行不改变其内容的操作。例如,const int和普通的int一样都能参与算术运算,也都能转换成一一个布尔值,等等。
默认状态下,const对象仅在文件内有效
当以编译时初始化的方式定义一个const对象时,就如对bufSize的定义一样:
const int bufSize = 512; //输入缓冲区大小
编译器将在编译过程中把用到该变量的地方都替换成对应的值。也就是说,编译器会找到代码中所有用到bufSize的地方,然后用512替换。
为了执行上述替换,编译器必须知道变量的初始值。如果程序包含多个文件,则每个用了const对象的文件都必须得能访问到它的初始值才行。要做到这一点, 就必须在每一个用到变量的文件中都有对它的定义(参见22.2节,第41页)。为了支持这一用法,同时避免对同一变量的重复定义,默认情况下,const对象被设定为仅在文件内有效。当多个文件中出现了同名的const变量时,其实等同于在不同文件中分别定义了独立的变量。
某些时候有这样种const 变量,它的初始值不是一 个常量表达式,但又确实有必要在文件间共享。这种情况下,我们不希望编译器为每个文件分别生成独立的变量。相反,我们想让这类const对象像其他(非常量)对象样工作, 也就是说, 只在一个文件中定义const,而在其他多个文件中声明并使用它。
解决的办法是,对于const变量不管是声明还是定义都添加extern关键字,这样只需定义一次就可以了:
/ file_ 1.cc定义并初始化了一个常量,该常量能被其他文件访问extern const int bufsize = fcn();/ file_ 1.h头文件extern const int bufSize; //与file 1.cc中定义的bufSize是同一个
如上述程序所示,file_ 1.cc 定义并初始化了bufSize.因为这条语句包含了初始值所以它(显然)是一次定义。然而,因为bufSize是一个常量,必须用extern加以厦定使其被其他文件使用。
file_ 1.h头文件中的声明也由extern做了限定,其作用是指明bufSize并非本文件所独有,它的定义将在别处出现。
如果想在多个文件之间共享const对象,必须在变量的定叉之前添加extern关键字。
2.4.1 const常量的引用
可以把引用绑定到const对象上,就像绑定到其他对象上一样,我们称之为对常量的引用。与普通的引用不同的是,对常量的引用不能被修改。