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

条款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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值