《Effective C++》读书笔记条款02 尽量以const，enum，inline替换#define

Effective C++在此条款中总结出两个结论

1.对于单纯常量，最好以const对象或enum替换#define

2.对于形似函数的宏，最好改用inline函数替换#define

接下来我们进行详细的探讨。

const替换#define的讨论

例如：

#define ASPECT_RATIO 1.653

原书给出的解释大意是：

你所使用的名称（ASPECT_RATIO）可能并未进入记号表（symbol table），原因也许是记号名称ASPECT_RATIO从未被编译器看见，也许在编译器开始处理源码之前他就被预处理器移走了。从而导致一个后果：当你运用此常量但获得一个编译错误信息时，这个信息也许会提到1.653而不是ASPECT_RATIO（因为所有的ASPECT_RATIO都被1.653代替），使得debug出现困难，因为你可能对1.653来自何处毫无概念，特别在多个文件都定义了ASPECT_RATIO时，无法确定是哪一个常量出了问题。

记号表：每个可重定位目标模块都有一个符号表，它包含m所定义和引用的符号的信息，在链接器的上下文中，有三种不同的符号: 1.由m定义并能被其他模块引用的全局符号 2.由其他模块定义并被模块m引用的全局符号 3.只被模块m定义和引用的本地符号

可重定位目标文件：     包含二进制代码和数据，其形式可以在编译时与其他可重定义目标文件合并起来，创建一个可执行目标文件。

解决之道是以一个常量替换上述的宏：

const double AspectRatio = 1.653;

作为一个语言常量，AspectRatio肯定会被编译器看到，当然会进入记号表内。此外对浮点常量而言，使用常量可能比使用#define导致较小量的码，因为预处理器盲目将宏名称替换为1.653，可能导致目标码（object code）出现多份1.653,若改用常量绝不会出现相同情况。

以常量替换#define，有两种特殊情况值得注意：

1.定义常量指针。若要在头文件内定义一个指向常量的常量指针，需要些const两次

        const char* const pc = "c++";//指向常量字符串的常量char*型指针

一个小知识点是，string对象比char*类型的指针更合意，所以pc定义成下面的样式更好些

        const std::string pc("c++");//常量string对象

2.class类内的专属常量，为保证至多只有一个实体，必须声明为static。

class GamePalyer { private:    static const int NumTurns = 5;//常量声明式    int scores[NumTurns];//使用该常量 }

对于static类型的class专属常量，若它是整数类（例如int，char，bool），只要不取他们的地址，可以声明并使用它们而无须提供定义式。

如果必须用到定义式，必须在实现文件而不是头文件如下定义

const int GamePlayer::NumTurns;//NumTurns的定义

由于NumTurns已在声明时获得初值，因此定义时不可以再设初值。如果你的编译器不支持static成员在其声明式上获得初值，可以将初值放在定义式。

static const int NumTurns;//声明 const int GamePalyer::NumTurns = 5;//定义

以enum替换#define的讨论

当你在class编译期间需要一个class常量值，如果你的编译器不允许static整数型class常量完成类内初值设定，可使用enum。

class GamePlayer { private:     enum { NumTurns = 5 };     int scores[NumTurns]; }

这样做的好处是enum不允许取地址，有时这正是我们想要的。如果不想让别人获得一个pointer或reference指向你的整数常量，enum可以帮助实现这个约束。

inline替换#define的讨论

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

对于这种宏的调用，有时会发生不可思议的事情

int a = 5, b = 0; CALL_WITH_MAX(++a,b);//a被累加二次 CALL_WITH_MAX(++a,b+10);//a被累加一次

这时可以使用template inline函数避免这些缺陷

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