Effective C++ 读书笔记

把 C++ 语言理解成四个次语言的联邦：

• C：区块、语句、预处理器、内置数据类型、数组、指针等等
• Object-Oriented C++：类、封装、继承、多态、虚函数等等
• Template C++：泛型编程、模版元编程等等
• STL：容器、迭代器、算法、函数对象等等

对于内置类型而言，传值通常比传引用要高效；对于用户自定义的类型，传引用反而更高；对于模版编程的时候，肯定是使用传引用；但是对于 STL 的迭代器和函数对象而言，我们依旧还是使用传值。

尽量使用 const 定义常量，而不使用宏 #define 来给某个常量一个记号。因为宏是由预处理器处理的，在编译之前所有代码中的这个记号就被替换成那个常量了，导致编译器只能看到这个常量，而并不知道这个记号是何方神圣。在某些编译错误的时候，编译器只能看到替换后的常量，所以错误信息提示的也是那个常量，但是当那段代码不是你写的的时候，你往往不知道那个常量是干嘛用的——如果这个时候编译错误信息提示的不是那个常量而是那个记号，你往往很快就明白问题在哪里——所以这个时候如果用 const 来规规矩矩的定义一个常量，编译器看到了这个常量的名字，也就会提示你 “这个地方不能用这个名为 xx 的常量”，比 “这个地方不能用值为 xx 的常量” 来的更加明显。

如果编译器不支持在类内定义一个常量并且给其初始值，可以使用一个叫做 the enum hack 的技巧：因为一个属于枚举类型的数值可以充当一个 int 使用，并且 enum 类型的变量不允许取址，不会导致非必要的内存分配——这很像一个宏定义的常量，但是 enum 类型是被编译器看到的——所以在类内定义一个 enum 变量，然后就可以在类内把它当作一个常量来任意使用了。the enum hack 是模版元编程的基础技术，很多代码都会用到此技术。

综合上面两点，结论就是，对于单纯常量，最好用 const 对象或者 enum 记号来替换 #define。

不要使用宏来定义一个函数，调用这个宏的时候会遇到各种各样奇怪的问题。用 template 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);
}

为什么一定不要用那个宏定义的函数呢？看下面的例子：

//猜猜两个函数调用结果如何？
int a = 5, b = 0;
CALL_WITH_MAX(++a, b);
CALL_WITH_MAX(++a, b+10);

上面那个函数的 a 被累加了两次，而下面那个函数的 a 被累加一次。为什么呢？问题出在那个条件运算符上。条件运算符的运算顺序是：先看 ++a>b 是否满足，如果满足就就运算 ++a 并返回结果，否则运算 b 并返回结果。在第一个例子中，++a>b 满足，这个时候 a 被累加了一次，然后运算 ++a 并返回结果，从而再次累加了 a，导致 a 的最后结果是 7。但是第二次调用这个函数，显然 a 只被累加了一次。
我知道为什么有些人喜欢用宏，因为预处理器可以在编译器直接替换内容，这样可以减少这些函数调用的开销。但是我上面提出的问题是不可忽视的。所以可以使用另一个解决方案，兼具宏的效率以及一般函数的可预料性和类型安全性——模版内联函数。这个模版内联函数还可以减轻你在每个表达式两端都用小括号来包裹的麻烦。它还有一个优点：你可以在类内的 private 访问说明符之后声明这个函数，这样还可以封装，但是宏是做不到这一点的。

综合上面这点，结论就是，对于形似函数的宏，最好改用模版内联函数替换 #define。