目录
简单来说,“尽量用编译期而不用预处理”的意思就是“尽量使用const和inline而不是#define”
一、const
#define MAX 10
当你定义一个MAX为10时,编译器会永远也看不到MAX这个符号名,因为在代码进入编译器之前会被预处理程序去掉。如果涉及到这个常量的代码在编译时报错,就会很令人费解,因为报错信息指的是10,而不是MAX。在调试的时候就很难追踪到这个数值是从哪里来的。
而解决这个问题的方案很简单,就是不用预处理宏,定义一个常量:
const int MAX = 10;
在使用常量时要注意两个地方: 1、定义指针常量。因为常量定义一般是放在头文件中,除了指针所指的类型要定义成const外,重要的是指针也经常要定义成const。例如,要在头文件中定义一个基于char*的字符串常量,你要写两次const.
const char * const str = "string";
2、定义类内常量时,要把常量限制在类中,首先要使它成为类的成员。同时为了保证常量最多只有一份拷贝,还要把它定义为静态成员。举个例子:
class Grades {
private:
static const int NUM = 5;
int scores[NUM];
...
...
};
上面代码中的NUM就是一个声明,而不是定义,所以必须在类的实现代码文件中定义类的静态成员:
const int Grades::NUM_TURNS;
二、inline
同样关于用编译期而不用预处理还有另一个处理方法——inline——内联函数
在#define的用法中,也有用作类似于函数但又不是函数的情况:
#define MAX(a,b) (a)>(b)?(a):(b);
但可想而知这种情况下会出现很多麻烦,首先就是在宏定义是要记得对每一个参数都加上括号
其次,就算你按照上述所说的对每一个参数都加上了括号,还是会出现如下的问题:
int a=5;
int b=2;
int c=3;
int d=3;
int t=0;
t=MAX(a+b,c+d)*10 ;//t=7
这是因为在这种情况下,宏定义在预编译时会被简单的按照字符展开
t=7>6?7:60
//*优先级高于:所以就等价于:
这种情况下,我们就可以使用inline函数。引用内联函数后,预编译时会在函数调用的地方将函数按照逻辑展开。这样就避免了大量的时间消耗和内存占用。
inline int max(int a, int b) { return a > b ? a : b; }
不过这和上面的宏不大一样,因为这个版本的max只能处理int类型。但模板可以很轻巧地解决这个问题:
template<class T>
inline const T& max(const T& a, const T& b)
{ return a > b ? a : b; }
inline函数还可以进行调试和进行有类型安全调验,下一篇会有对于inline函数专门详细的介绍。
参考:《effective c++》