9.2　类定义的作用域与可见域

同函数一样，类的定义没有生存期的概念，但类的定义有作用域和可见域。

使用类名创建类的对象时，首要的前提是类名可见，类名是否可见取决于类定义的可见域，该可见域同样包含在其作用域中，类本身可被定义在3种作用域内，这也是类定义的作用域。

1.全局作用域

在函数和其他类定义的外部所定义的类称为全局类，绝大多数的C++类是定义在该作用域中，我们在前面定义的所有类都是在全局作用域中，全局类具有全局作用域。

2.类作用域

一个类可以定义在另一类的定义中，这是所谓的嵌套类。举例来说，如果类A定义在类B中，A的访问权限是public，则A的作用域可认为和B的作用域相同，不同之处在于必须使用B：A的形式访问A的类名。当然，如果A的访问权限是private，则只能在类内使用类名来创建该类的对象，无法在外部创建A类的对象。代码9.2展示了嵌套类的应用。

代码9.2　public嵌套类PublicClassSample

输出结果如下所示。

【代码解析】代码第6行的point类定义在line类里，嵌套类point的成员函数既可以定义成内联的，也可以在类line外定义，但要合理使用作用域限定符“：”。

注意

嵌套类的成员函数不能内联在外部类中。

point类定义的访问权限是public，因此，不仅可以在line类内通过诸如“point pt1；”的形式创建point类对象，还可以在line类外部使用诸如“line：point pt（1，3）；”的形式创建point类对象，此时，point类既可在line内可见，也可在line外可见，其作用域与全局类line相同。

如果point类定义的访问权限是private，则只能在line类内创建point类对象，在line类外部无法再通过“line：point”的形式访问point类名，此时，point类名只在嵌套类line内可见。

3.块作用域

类的定义在代码块中，这是所谓的局部类，该类完全被块包含，其作用域仅仅限于定义所在块，不能在块外使用类名声明该类的对象，如代码9.3所示。

代码9.3　块作用域类ClassInBlock

输出结果如下所示。

【代码解析】代码第11行的point类是在函数Work中定义的局部类，因此，只能在Work函数访问类名，通过类名声明该类对象，在Work函数外（如main函数中）不能访问point类，如果在main函数中使用了诸如“point pt1；”的语句，编译器将会指出“point类未定义”。

注意

局部类必须完全定义在局部作用域内。所以，它的所有成员函数必须是内联的，这就决定了局部类的成员函数都是很简单的。

4.类名也存在覆盖

和普通变量的覆盖原则一样，类名也存在“屏蔽”和“覆盖”，不过，依旧可使用作用域声明符“：”指定具体使用的类名，如“：类名”访问的是全局类，使用“外部类：嵌套类”访问嵌套类。

注意

在类成员函数内可用“this-＞成员名”的形式访问类成员，但不能用“this-＞嵌套类名”的形式访问嵌套类。