一、使用const

存在问题1:宏名称可能没有进入记号表中

#define PI 3.141592654

记号名称​​PI​​也许从未被编译器看见,也许在编译器开始处理源码之前它就被预处理器替换了。

于是记号名称​​PI​​​有可能没有进入记号表内,当你运用次常量但获得一个编译错误信息是,这个错误信息也许会提示​​3.141592654​​​,而不是​​PI​​,对于不熟悉这个宏定义的人来说,会因为对它来自何处毫无概念而增加排错的时间;

解决方案:使用常量(const)替换宏(#define)

const double PI = 3.141592654
  • 作为一个语言常量,​​PI​​肯定会被编译器看到,所以当然会进入记号表内,也就不会存在上述问题;
  • 此外对于浮点常量而言,使用常量可能比使用​​#define​​​导致较小量的码,因为预处理器会盲目的将宏名称​​PI​​​替换为​​3.141592654​​​,从而导致目标码中出现多份​​3.141592654​​​,若改用常量​​PI​​则绝不会出现这样的情况;

注意

  • 当使用常量替换#define时,由于常量定义式通常被放在头文件内,因此有必要将指针声明为const;例如若要定义一个常量的​​char* name​​​字符串,必须写const两次:​​const char* const name = "Zhang San";​​​;推荐使用std::string:​​const std::string name ("Zhang San");​
  • class专属常量,为了将常量的作用域限制于class内,你必须让它成为class的一个成员;而为确保此常量至多只有一份实体,你必须让它成为一个static成员;
class GamePlayer {
private:
static const int NumTurns = 5; //常量声明式
int scores[NumTurns]; //使用该常量
}

通常C++要求你对所使用的任何东西提供一个定义式,但如果它是个class专属常量,又是static且为整数类型,则需特殊处理。只要不取它们的地址,你可以声明并使用它们而无须提供定义式。但如果你取某个class专属常量的地址,或纵使你不取地址而你的编译器却坚持要看到一个定义式,你就必须另外提供定义式:const int GamePlayer::NumTurns;(声明时获得初值,定义时不可以再设初值,旧式编译器不支持声明时赋初值,必须在定义式赋初值)

  • ​#define​​​无法创建一个class专属常量,也不能够提供任何封装性,因为​​#define​​并不重视作用域;

二、使用enum

存在问题:当你在class编译器件需要一个class常量值,例如上述的数组长度,此时万一你的编译器不允许static整数型class常量 完成 in classs初值设定

解决办法:可改用所谓的“the enum hack”补偿做法,其理论基础是:一个属于枚举类型的数值可权充int被使用

class GamePlayer {
private:
enum{NumTurns = 5}; //令NumTurns成为5的一个记号名称
int scores[NumTurns]; //使用该常量
}

注意

  • enum hack的行为某方面说比较像#define而不是const,有时候这正是我们想要的。例如取一个const的地址是合法的,但取一个enum的地址就不合法,而取一个#define的地址通常也不合法;
  • 如果你不想让别人获得一个pointer或reference指向你的某个整数常量,enum可以帮助你实现这个约束
  • 此外虽然优秀的编译器不会为“整数型const对象”设定另外的存储空间(除非你创建一个pointer或reference指向该对象),不够优秀的编译器却可能如此,enum和#define一样,绝不会导致非必要的内存分配;

三、使用inline

#define CALL_WITH_MAX(a,b) f((a) > (b) ? (a) : (b))

这种函数式的宏有太多的缺点,光是想到它们就让人痛苦不堪。

解决方案

template<typename T>
inline void callWithMax(const T& a, const T& b)
{
f(a > b ? a : b);
}

总结

有了const、enum、inline,我们对预处理器的需求降低了,但并非完全消除。#include仍然是必需品,而#ifdef / #ifndef也继续扮演控制编译的重要角色;

目前还不到预处理全面隐退的时候,但也应该尽量减少使用它的频率!

  • 对于单纯常量,最好以const对象或enum替换#define;
  • 对于形似函数的宏,最好利好inline函数替换#define;