C++中如何使符号常量的作用域为类

C++中如何使符号常量的作用域为类

有时候，使符号常量的作用域为类很有用。例如，类声明可能使用字面值 30来指定数组的长度，由于该常量对于所有对象来说都是相同的，因此创建一个由所有对象共享的常量是个不错的主意。您可能以为这样做可行:

class Bakery
{
private:
    const int Months = 12; // declare a constant? FAILS
    double costs[Months];
    ...

但这是行不通的，因为声明类只是描述了对象的形式，并没有创建对象。因此，在创建对象前，将没有用于存储值的空间(实际上，C++11提供了成员初始化，但不适用于前述数组声明，第12章将介绍该主题)。然而，有两种方式可以实现这个目标，并且效果相同。
第一种方式是在类中声明一个枚举。在类声明中声明的枚举的作用域为整个类，因此可以用枚举为整型常量提供作用域为整个类的符号名称。也就是说，可以这样开始Bakery声明:

class Bakery
{
private:
    enum { Months = 12 };
    double costs[Months];
    ...

注意，用这种方式声明枚举并不会创建类数据成员。也就是说，所有对象中都不包含枚举。另外，Months 只是一个符号名称，在作用域为整个类的代码中遇到它时，编译器将用 30 来替换它。
由于这里使用枚举只是为了创建符号常量，并不打算创建枚举类型的变量，因此不需要提供枚举名。顺便说一句，在很多实现中，ios_base 类在其公有部分中完成了类似的工作，诸如 ios_base::fixed 等标识符就来自这里。其中，fixed是ios_base类中定义的典型的枚举量。参见【0voice C++】

C++提供了另一种在类中定义常量的方式–使用关键字static:

class Bakery
{
private:
    static const int Months = 12;
    double costs[Months];
    ...

这将创建一个名为 Months 的常量，该常量将与其他静态变量存储在一起，而不是存储在对象中。因此，只有一个 Months 常量，被所有 Bakery 对象共享。第 12章将深入介绍静态类成员。在C++98中，只能使用这种技术声明值为整数或枚举的静态常量，而不能存储 double 常量。C++11消除了这种限制。