条款02:尽量以const,enum,inline替换#define
可以理解为用“编译器”替换“预处理器”,因为#define不被视为语言的一部分。
#define 实现的是替换
一、
#define ASPECT_RATIO 1.653
可能在编译器开始处理源码前,ASPECT_RATIO就被替换成1.653了,所以记号名称ASPECT_RATIO没有进入记号表(symbol table)内。当使用此常量出现编译错误时,错误信息也许只会提到1.653而不是ASPECT_RATIO,为调试带来了困难。
解决方法:
const double AspectRatio = 1.653;
此时AspectRatio作为语言常量,一定会被编译器看到,进入记号表。
此外,使用常量可能比使用#define导致较小量的码,因为预处理器盲目地将宏名称ASPECT_RATIO替换为1.653可能导致目标码出现多份1.653。
注意事项:
#define 不能够定义class的专属常量(define斌不重视作用域),只能使用const,但使用时需注意。
class GamePlayer{
private:
static const int NumTurns = 5; //声明时赋值
int scores[NumTurns];
...
};
const int GamePlayer::NumTurns; //NumTurns的定义
因为NumTurns在声明时已获得初值,故定义时不可以再设初值。
但旧式编译器可能不支持声明时获取初值,但int scores[NumTurns]又必须获得准确的NumTurns的值,此时可使用enum:
class GamePlayer{
private:
enum { NumTurns = 5 };
int scores[NumTurns];
...
};
此时enum的行为更像是#define
二、
误用:用#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被累加一次
++a直接作为参数传递,其递增次数取决与其比较的对象的大小,显然不是我们希望的结果。
解决方法: inline + 模板
template <typename T>
inline void callWithMax(const T& a, const T& b)
{
f(a > b ? a : b);
}
总结
1.对于单纯常量,最好以const或者enum替换#define
2.对于形似函数的宏(macros), 最好改用inline函数
条款03:尽可能使用const
尽可能地使用const,在编译器获取更多帮助
一、
const 变量 和 const 指针(指针指向的对象可以更改,指针不能更改,即不能指向别的对象)
二、
const成员函数
class TextBlock{
public:
const char& operator[](std::size_t pos) const{
...
return text[pos];
}
char& operator[](std::size_t pos){
...
return text[pos];
}
private:
std::string text;
};
TextBlock tb("Hello");
cout << tb[0];
const TextBlock ctb("Hello");
cout << ctb[0];
根据对象的属性,调用不同的版本;tb[0]可以赋值,ctb[0]无法赋值(const char&);
如果确实需要在const成员函数中修改某些成员变量的值,可使用mutable关键字修饰变量。(注:使用指针修改常量的值会发生未定义行为,取决于编译器;)
但是mutable不能解决所有const问题,例如对于上述的TextBlock类的两个重载[]方法中,如果进行很多操作,会造成大量的代码重复、冗余。
解决办法:适当的类型转换:常量性转除(casting away constness)
class TextBlock{
public:
const char& operator[](std::size_t pos) const{
...
return text[pos];
}
char& operator[](std::size_t pos){
return const_cast<char&>(
static_cast<const TextBlock&>(*this)[pos]
);
}
private:
std::string text;
};
通过两次转型:第一次将当前对象转换为const对象,调用const版本[],得到const char&; 第二次将const char&转化为char。
non-const operator[]调用const operator[] 是安全的做法,因为const版本保证不会更改对象的状态。而反过来是不行的。
总结:
1.尽可能使用const
2.mutable关键字
3.const 和 non-const成员函数有等价的实现时,可使用non-const版本调用const版本