EffectiveC++条款02
条款02:尽量以const,enum,inline替换#define
这个条款应该改为“宁可以编译器替换预处理器”比较好。
#define好处
- 合理使用#define可以避免不必要的内存分配,与enums类似。例如取一个#define和一个enum的地址就不合法,但是取一个const的地址是合法的。合理使用#define和enum可以避免别人获得一个pointer或reference指向你的某个整数常量。
- 合理使用#define实现宏,可以减少函数调用带来的额外开销。
#include<iostream>
using namespace std;
void f(int a) {
cout << a << endl;
}
#define MIN(a, b) ((a) < (b)? (a) : (b))
#define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b))
int main() {
int a = 5, b = 0;
//使用宏,避免了函数调用的开销
cout << MIN(a, b) << endl;
// CALL_WITH_MAX(++a, b);
// CALL_WITH_MAX(++a, b + 10);
return 0;
}
使用g++ -E define.cpp > define.p,对程序进行预编译处理时,打开define.p文件拉到最下面发现MIN(a,b)已经被替换,避免了跳转函数时需要执行的跳转开销。
using namespace std;
void f(int a) {
cout << a << endl;
}
int main() {
int a = 5, b = 0;
cout << ((a) < (b)? (a) : (b)) << endl;
return 0;
}
#define的坏处
- #define不重视作用域,一旦被定义,在其后所有编译过程均有效(除非被#undef)。因而不能用来定义class的专属变量,会破坏封装性。
- #define定义宏避免函数开销时,会带来不可思议的行为。(记住对宏内所有实参加小括号)
#include<iostream>
using namespace std;
void f(int a) {
cout << a << endl;
}
// #define MIN(a, b) ((a) < (b)? (a) : (b))
#define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b))
int main() {
int a = 5, b = 0;
// cout << MIN(a, b) << endl;
CALL_WITH_MAX(++a, b); //a被累加两次,输出7
CALL_WITH_MAX(++a, b + 10); //a被累加一次,但8比10小,输出10
cout << a << " " << b << endl; //输出 8 和 0
return 0;
}
程序的执行结果好像和大家所想不一致,这是为什么呢?让我们同样进行g++ -E看下结果。
using namespace std;
void f(int a) {
cout << a << endl;
}
int main() {
int a = 5, b = 0;
f((++a) > (b) ? (++a) : (b));
f((++a) > (b + 10) ? (++a) : (b + 10));
cout << a << " " << b << endl;
return 0;
}
可以看见,CALL_WITH_MAX直接被替换,程序实际上先进行了++a和b比大小操作,此时++a=6比b=0大,从而调用f(++a),从而a变成7,第二个调用类似。这就是#define定义宏带来的弊端。
- 同时作者还强调了如果要用到宏,记住要为宏中所有的实参加上小括号。
一开始我不是很理解为什么,查阅了部分资料,然后写下如下代码给大家解释下。
#include<iostream>
using namespace std;
void f(int a) {
cout << a << endl;
}
#define Square(a) (a * a)
#define Square_safe(a) ((a) * (a))
int main() {
int a = 5, b = 0;
cout << Square(a + 1) << endl; //输出11
cout << Square_safe(a + 1) << endl; //输出正常的36
return 0;
}
如上面代码写了一个给所有实参加括号的Square_safe以及一个不带括号的Square,可以看见不带括号的Square(a + 1)输出了11,其实就是预处理器直接用a + 1替换了宏中的a,也就变成了这样的式子:(a + 1 * a + 1),写到这大家估计都明白了,因为#define定义的宏是由预编译器来处理,预编译器只能处理一些注释操作、变量替换操作,其是无权知道a到底是什么数据类型,所以只能盲目地将a + 1完全替换宏中的a才会导致这种结果。
带括号的宏实参定义由于实参被括号括着,所以极大限度地保护了式子中的优先级顺序,因而作者建议如果非要使用宏时,记得给所有实参带括号。
使用inline替换#define宏
#define宏其实就是为了避免函数调用的开销,C++提供了一个inline内联函数,作用类似,可以用inline函数实现上面的作法而不会出错。
#include<iostream>
using namespace std;
void f(int a) {
cout << a << endl;
}
// #define MIN(a, b) ((a) < (b)? (a) : (b))
// #define CALL_WITH_MAX(a, b) f((a) > (b) ? (a) : (b))
template<typename T>
inline void CALL_WITH_MAX(const T& a, const T& b) {
f(a > b? a : b);
}
int main() {
int a = 5, b = 0;
// cout << MIN(a, b) << endl;
CALL_WITH_MAX(++a, b);
CALL_WITH_MAX(++a, b + 10);
cout << a << " " << b << endl;
return 0;
}
程序正常输出了6 10以及7 0。
预编译器的一些常用指令
- 处理头文件的指令
#ifndef SOMETHING_H
#define SOMETHIN
#endif
//或者
#ifdef SOMETHING
int func1(){}
#else
int func1(){}
#endif
- 一些C++特定的预定义宏
#include<iostream>
using namespace std;
int main() {
cout << __LINE__ << endl; //编译时代码的行号
cout << __FILE__ << endl; //文件名
cout << __DATE__ << endl; //日期
cout << __TIME__ << endl; //时间
return 0;
}
总结
- 对于单纯常量,最好以const对象或者enum替换#define
- 对于形似函数的宏,最好改用inline函数替换#define