Effective C++ (札记) ： 条款01 - 条款04

Effective C++ (笔记) ： 条款01 -- 条款04

条款01：视C++为一个语言联邦

条款02：尽量以const,enum,inline替换#define

"宁可以编译器替换预处理器"，使用#define那么在编译器之前预处理器已经完成了替换，记号名称没有进入记号表(symbol table)，所以在调试或者编译错误的时候会莫名其妙。以常量替换宏是个好主意：const double AspectRatio = 1.653替换#define ASPECT_RATIO 1.653。

如果你不想让别人获得一个指针或者引用指向你的某个整数常量，enum可以实现这个约束。

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

这种长相的宏，看着就头疼。可使用template inline替换：

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

对于单纯常量，最好以const对象或enum替换#define。 
对于形似函数的宏，最好使用inline函数替换#defines。

条款03：尽可能使用const

const修饰左侧的对象，如果关键字const出现在星号左边，表示被指物是常量；如果出现在星号右边，表示指针自身是常量；如果出现在星号两边，表示被指物和指针两者都是常量。

STL迭代器是以指针为根据塑模出来的。所以迭代器的作用像是个T *指针。声明迭代器为const就像声明指针为const一样（T * const），表示这个迭代器不能指向不同的东西（位置），但是它指向的东西是可以改变的。如果你希望迭代器所指的东西不能改变（const T *），需要使用const_iterator。这两者是有差别的，比较如下：

vector<int> vec;
const vector<int>::iterator iter = vec.begin(); // T* const
*iter = 10;                                     //没问题
++iter;                                         //错误，不能改变指针的值

vector<int>::const_iterator cIter = vec.begin(); // const T*
*cIter = 10;                                     //错误，值不能改变
++cIter;                                         //没问题

const最有威力的地方是面对函数声明时的应用。可以和返回值、参数函数自身产生关联。

• 返回值：令函数返回一个常量值

const Rational operator*(const Rational &lhs, const Rational &rhs);

可以避免if(a * b = c)的发生。

• const成员函数

将const实施于成员函数的目的，是为了确认该成员函数可作用于const对象身上。有两个原因：（1）得知那个函数可以改动对象哪个不能，这很重要。（2）这使得操作const对象成为可能。根据参数的不同属性调用不同的版本。

const char & operator[](size_t position) const
{ ...; ...; ...; return text[position]; }

char & operator[](size_t position )
{ ...; ...; ...; return text[position]; }

void print(const TextBlock & ctb)
{
    cout << ctb[0]; //会根据ctb的常量属性调用不同的函数
}

两个成员函数如果只是常量性（函数声明参数列表后有无const）不同，可以被重载。

mutable释放掉non-static成员变量的不可改变约束，这些变量可能总是会被改变，即使在const成员函数内。因此，在const成员函数内可以改变这些值，不会引起错误。对哪些变量使用mutable是要有很好的估计的，因为它能突破很多限制。

在上面的代码中，两个版本的operator[]除了返回值和常量属性不同外别无区别，存在着冗余和代码膨胀。有两个方法做的更好：(1)提取公共部分作为工具函数。(2)转型。显然，第一种方法仍不能根本上较少代码膨胀。

char & operator[](size_t position )
{ 
    //转型是安全的
    return const_cast<char&>(static_cast<const TextBlock&>(*this)[position]);
}

我们做了两次转型，第一次是用来为*this添加const(这使接下来调用operator[]时得以调用const版本，避免对自己的递归调用)，第二次是从const operator[]的返回值中移除const。

这样，我们就能使用常量版本实现非常量版本，实现‘避免代码重复’。反过来是不行的，因为不能在常量版本中改变值。

条款04：确定对象在使用前已被初始化

除了内置类型，初始化的责任落在构造函数身上。规则很简单：确保每一个构造函数都对对象的每一个成员初始化。

注意的是：区分构造函数初始化和赋值的不同。在构造函数大括号中写的是赋值，因为初始化发生在进入大括号之前。因此使用初始化列表才是真正的初始化。虽然它们的结果相同，但是效率更高（赋值版本有发生一次构造一次赋值）。

总是使用初始值列表。

在初始时列表中，有着固定的初始化顺序：基类早于派生类，类的成员变量以生命顺序初始化（即使在列表中以不同次序出现）。