高质量C++/C编程指南[5]

 

第 5 章 常量

              常量是一种标识符，它的值在运行期间恒定不变。C语言用 #define 来定 义 常量（称 为 宏常量）。C++ 语言除了 #define外还可以用 const 来定 义 常量（称 为 const 常量）。

5.1 为 什 么 需要常量

如果不使用常量，直接在程序中填写数字或字符串，将会有什么麻烦？

（1）        程序的可 读 性（可理解性） 变 差。程序员自己会忘记那些数字或字符串是什么意思，用户则更加不知它们从何处来、表示什么。

（2）        在程序的很多地方 输 入同 样 的数字或字符串， 难 保不 发 生 书 写 错误 。

（ 3 ）        如果要修改数字或字符串， 则 会在很多地方改 动 ，既麻 烦 又容易出 错 。

 

l          【 规则 5-1-1 】尽量使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串。

例如：

              #define                              MAX   100                         /* C语言的宏常量 */

const int                      MAX = 100;                        // C++ 语言的const常量

const float      PI = 3.14159;        // C++ 语言的const常量

5.2 const 与 #define 的比 较

              C++ 语言可以用const来定义常量，也可以用 #define来定义常量。但是前者比后者有更多的优点：

（1）        const 常量有数据 类 型，而宏常量没有数据 类 型。编译器可以对前者进行类型安全检查。而对后者只进行字符替换，没有类型安全检查，并且在字符替换可能会产生意料不到的错误（边际效应）。

（2）        有些集成化的调试工具可以对 const 常量 进 行 调试 ，但是不能 对 宏常量 进 行 调试 。

 

l          【 规则 5-2-1 】 在 C++ 程序中只使用 const 常量而不使用宏常量，即 const 常量完全取代宏常量。

5.3 常量定 义规则

l          【 规则 5-3-1 】 需要 对 外公 开 的常量放在 头 文件中，不需要 对 外公 开 的常量放在定 义 文件的 头 部。 为 便于管理，可以把不同模 块 的常量集中存放在一个公共的 头 文件中。

l          【 规则 5-3-2 】 如果某一常量与其它常量密切相 关 ， 应 在定 义 中包含 这种关 系，而不 应给 出一些孤立的 值 。

例如：

const float    RADIUS = 100;

const float    DIAMETER = RADIUS * 2;

5.4 类 中的常量

有时我们希望某些常量只在类中有效。由于#define定义的宏常量是全局的，不能达到目的，于是想当然地觉得应该用const修饰数据成员来实现。const数据成员的确是存在的，但其含义却不是我们所期望的。const数据成员只在某个对象生存期内是常量，而对于整个类而言却是可变的，因为类可以创建多个对象，不同的对象其const数据成员的值可以不同。

              不能在类声明中初始化const数据成员。以下用法是错误的，因为类的对象未被创建时，编译器不知道SIZE的值是什么。

              class A

              {…

                            const int SIZE = 100;           // 错误，企图在类声明中初始化const数据成员

                            int array[SIZE];                    // 错误，未知的SIZE

              };

 

const数据成员的初始化只能在类构造函数的初始化表中进行，例如

              class A

              {…

                            A(int size);                           // 构造函数

                            const int SIZE ;    

              };

              A::A(int size) : SIZE(size)      // 构造函数的初始化表

              {

               …

              }

              A a(100);             // 对象 a 的SIZE值为100

              A b(200);             // 对象 b 的SIZE值为200

 

              怎样才能建立在整个类中都恒定的常量呢？别指望const数据成员了，应该用类中的 枚 举 常量来实现。例如

              class A

              {…

                            enum { SIZE1 = 100, SIZE2 = 200}; // 枚 举 常量

                            int array1[SIZE1]; 

                            int array2[SIZE2];

              };

              枚举常量不会占用对象的存储空间，它们在 编译时 被全部求 值。枚举常量的缺点是：它的 隐 含数据 类 型是整数，其最大 值 有限，且不能表示浮点数（如PI=3.14159）。