第9章 指针与引用.pdfVIP

第九章 指针与引用 在高级语言中，实现对内存单元操作的方式有两种。一是通过变量名，或者对象名和 成员名；其次就是通过指针。使用指针可以获得高质量的代码，可以对内存中各种类型的 数据进行快速处理，并且为函数之间的参数传递以及被调用函数通过返回参数返回多值提 供简洁高效的手段。引用是给变量或对象赋以别名，引用的本质是将程序正文中的多个标 识符与同一内存单元之间建立起了一种多对一的映射关系。指针和引用的数据类型都是通 过所指和所引用对象的数据类型派生而得，后者的数据类型称为指针和引用的基类型。 9.1 指针和引用的概念及其使用 9.1.1 指针和引用的概念 指针首先是变量或对象，指针的特殊之处在于它存放的是另一个变量或对象所在单元 的起始地址。引用是 C++为克服指针副作用引入的一种新的机制，引用可以理解为对象的别 名。 2．引用的概念 在没有引入引用机制之前，程序正文的同一作用域范围内，一个对象名只能与唯一的 一块内存单元相联系。程序正文中的标识符（即对象名）与内存单元之间的映射关系是一 对一的。引入引用机制之后，允许在程序正文中通过引用为已有名字的内存单元声明新的 名字，这个新名字称为该内存单元已有名字的引用名，俗称别名。从程序设计语言学的观 点看，引用机制的引入使得程序正文中的标识符可以与内存单元之间建立起一种多对一的 映射关系。使得一个已有名字和若干个引用名字共同标识同样的内存单元。 在 C 语言环境下，如果要在被调用函数环境中访问和操作调用环境中的变量，就必须 通过指针来实现这种要求。但是有了引用机制之后，可以将已有名字作用于调用函数环境， 而将对应的引用名字放在被调用函数环境之中，由于已有名字和引用名字标识的都是同样 的内存单元，因此被调用环境中对引用名字的访问和操作实际就是对调用函数环境中对应 对象的访问和操作，起到了与使用指针一样的效果。另外，引用名字不额外分配存储，对 引用名字的操作都是对引用标识的内存单元的值操作，不存在地址的修改和变化问题，因 此使用引用要比使用指针安全。这就是 C++中引入引用机制的根本目的之所在。 9.1.2 指针的声明 指针要先声明，通过初始化或赋值使指针和被指对象之间建立指向关系。指针经过运算 可以指向其他同类型的被指对象，并且可以通过指针来访问和操作其所指的对象。 声明指针的一般形式是： cv T * cv 标识符 1，* cv 标识符 2，…, * cv 标识符 n； 其中，T 是数据类型。cv是const、volatile 、或者const volatile ，它是可选项。* 是单目操作符，用于将其操作数说明为指针类型（The operand of the unary * operator shall have pointer type.）。 T可以是基本类型，也可以是类类型。cv修饰符可以修饰数据类型T，也可以修饰各个标 识符；修饰产生的含义在下面的例子中进行解释。标识符1、标识符2、…、标识符n是单目 操作符*的操作数。表达式：*标识符k (k=1,2,…,n)的作用是将标识符k说明为指针类型， 至于是何种类型的指针，则是由T的类型决定。指针类型是一种派生类型，T称为指针类型 的基类型。T的类型决定了指针所指对象的类型。 1 例 9-3 声明常量对象、常量指针、以及指向常量对象的常量指针，并解释其含义。 const int c1 = 100, c2=200,*pc1 = c1, *const cpc1 = pc1; 这里，const int声明一个常整型数据类型。因此，整型对象c1和c2在被初始化赋值为 100和200之后，其值不能够修改。pc1被声明为一个整型指针,所指对象应该是整型常对象。 本例中整型指针指向常对象c1，因此pc1是一个指向整型常对象的整型指针。由于pc1指向 的是常对象，因此pc1指向的对象不能被修改，但是pc1本身的内容可以被修改。 语句中*const cpc1将cpc1声明成为一个常量指针。所谓常量指针是指指针本身的值是 不能修改更新的。再考虑前面的const int，则cpc1应该解释为指向整型常对象的整型常指 针。这以为着，不仅cpc1的值不能更新，并且其所指对象c1的值也