类作用域
在类中定义的名称(数据成员名和成员函数名)的作用域都为整个类,作用于为整个类的名称只在该类中是已知的,在类外是不可知的。因此,可以在不同类中使用相同的类成员名而不会引起冲突。
类作用域意味着不能从外部直接访问类的成员,公有成员函数也是如此。也就是说,要调用共有成员函数,必须通过对象。
在类声明或成员函数定义中,可以使用未修饰的成员名称。构造函数名称在被调用时,才能被识别,因为它的名称与类名相同。在其他情况下,使用类成员名时,必须根据上下文使用直接成员运算符(.)、间接成员运算符(->)或作用于解析符(::)。
作用域为类的常量
在类中直接声明常量是不可行的:
class Bakery
{
private:
const int Months = 12; //无效
double costs[Months];
...
因为声明类只是描述了对象的形式,并没有创建对象。
有两种方式可以实现这个目标:
第一种是在类中声明一个枚举。
在类声明中声明的枚举的作用域为整个类,因此可以用枚举为 整型常量 提供 作用域为整个类 的符号名称:
class Bakery
{
private:
enum {Months =12};
double costs[Months];
...
注意:用这种方式声明枚举并不会创建类数据成员。也就是说,所有对象中都不包含枚举。Months只是一个符号名称,在作用域为整个类的代码中遇到它时,编译器用12来替换它。
在很多实现中,ios_base类在其公有部分中完成了类似的工作,诸如ios_base::fixed等标识符就来自这里。fixed是ios_base类中定义的典型的枚举量。
第二种方式是使用关键字static:
class Bakery
{
private:
static const int Months = 12;
double costs[Months];
...
这将创建一个名为Months的常量,该常量与其他静态变量存储在一起,而不是存储在对象中。因此,只有一个Months常量,被所有Bakery对象共享。
作用域内枚举(C++11)
传统的枚举存在一些问题,其中之一是两个枚举定义中的枚举量可能发生冲突。
假设一个程序包含下面的代码:
enum egg {Small, Medium, Large, Jumbo};
enum t_shirt {Small, Medium, Large, Xlarge};
这将无法编译通过,因为egg Small和t_shirt Small位于相同的作用域内,它们将发生冲突。
为避免这种问题,C++11新增了一种枚举,其枚举的作用域为类:
enum class egg {Small, Medium, Large, Jumbo};
enum class t_shirt {Small, Medium, Large, Xlarge};
也可以用struct代替class。
这种方式需要使用枚举名来限定枚举量:
egg choice = egg::Large;
t_shirt choice = t_shirt::Large;
C++11还提高了作用域内枚举的类型安全,在作用域内枚举不能隐式地将枚举量转换为整型。在必要时可进行显式转换:
int Frodo = int(t_shirt::Small);
C++11作用域内枚举的底层类型默认为int,也可指定底层类型(必须为整型):
enum class : short pizza {Small, Medium, Large, XLarge}; //指定底层类型为short