[计算机软件及应用]第8章第四部分 类与对象.pptVIP

8.7 类的作用域和对象的生存期 8.7.1 类的作用域 类体定义了一个域。在类定义中声明的变量名和函数名，以及类的数据成员和成员函数，属于类的作用域。 程序代码本身就在类域内的程序可以直接访问类成员，只需简单地指出类成员的名字就可以引用它。位于类域内的程序文本包含两部分：第一部分程序文本就是类定义本身，类成员名可被用在类体中其声明之后；另一部分程序文本是在类体外定义的类成员，这部分程序文本，也可以直接使用类成员的名字。例如： class List { public: typedef int index_type; int getNumber(index_type); //类定义内，直接引用参数类型index_type private: int number[10]; }; int List::getNumber(index_type index) // 访问index_type { return number[index]; } // 访问number[] 上面代码中，要注意类成员在类体中的声明顺序。在类体中，先声明的成员不能使用后声明的成员。例如，如果成员getNumber的声明出现在typedef index_type 声明之前，则getNumber()的声明就是错的，因为它使用了未声明的名字index_type。 class List { public: int getNumber(index_type); // 错误,名字index_type还没有被声明 typedef int index_type; }; 在类定义中用到的名字必须先声明后使用的规则有两种例外的情况。一是用在inline成员函数定义中的名字，二是被用作缺省实参的名字。下面我们分别来看一下这两种情况。 先来看用在inline成员函数中的名字。下面这段代码在类体中定义了inline成员函数。 class List { public: typedef int index_type; int getNumber(index_type) // inline成员函数 { return number[index]; } // 访问私有成员number[] private: int number[10]; }; 上面代码中，成员函数getNumber()的参数类型index_type在成员函数声明时被检查，所以index_type必须在getNumber()定义前声明。相反，成员number[]却是在类体中getNumber()函数的定义之后被声明，这是可以的。因为inline成员函数体内的名字解析发生在类的完整域中。这就好像成员函数体是在类体结束前被最后处理一样，这时类的所有成员都已经被声明了。 与inline成员函数体内的名字相同，缺省实参的名字解析也是在类的完整域中。例如，下面的代码中，成员函数setRate()的声明使用了定义在后面的静态成员rate的名字: class Account { public: void setRate(double=rate); private: static double rate; }; double Account::rate=0.98; 虽然在成员函数声明中的缺省实参是在类的完整域中被解析的， 但是如果缺省实参引用了一个非静态成员,则程序仍然是错的。因为非静态数据成员的值在被使用之前必须被绑定到该类类型的对象上或绑定到指向该类类型的对象的指针上，把非静态数据成员用作缺省实参违背了这个限制。例如，如果把上面的例子改写为： class Account { public: void setRate(double=rate); private: double rate; }; 在类域外，可以通过成员访问操作符“.”和“-”以及域解析操作符“::”来访问类域中声明的成员。“.”和“-”操作符前面的名字给出了一个类类型的对象或指向一个类对象的指针，对于操作符后面的成员名编译器将在这个类的类域中查找。类似