详解预处理器宏的几个特征及其应用

“#”指示：允许使用一个标识符并把它转化为字符数组

应用实例1：

#include <iostream>
using namespace std;
#define DEBUG(x) cout << #x"=" << x << endl;
int main()
{
	int a = 1;
	DEBUG(9);
	DEBUG(a+1);
} 

运行结果：

9=9
a+1=2

应用实例2，实现跟踪一条语句的功能：

#include <iostream>
using namespace std;
#define TRACE(s) cerr<<"语句<"#s">的执行结果: ",s
void f(int i)
{
	cout <<"i " << i+1 << endl;
}

int main()
{
	for(int i = 0; i < 5; i++)
		TRACE(f(i));
	TRACE(f(8));	TRACE(cout << "Hello World!";)
} 

运行结果：

语句<f(i)>的执行结果: i 1
语句<f(i)>的执行结果: i 2
语句<f(i)>的执行结果: i 3
语句<f(i)>的执行结果: i 4
语句<f(i)>的执行结果: i 5
语句<f(8)>的执行结果: i 9
语句<cout << "Hello World!";>的执行结果: Hello World!

"##"指示：可以实现标志粘贴，允许两个标识符并把它们粘贴在一起自动产生一个新的标识符

应用实例3：

#define FIELD(a) char* a##_string; int a##_size
class Record
{
	FIELD(one);
	FIELD(two);
	FIELD(three);
};

对于上述代码，每次调用FIELD宏将产生一个保存字符数组的标识符和另一个保存字符数组长度的标识符，这使得程序易读并且消除了编码出错，使得维护更加容易

应用示例4：

#define A1(name, type)  type name_##type##_type
#define A2(name, type)  type name##_##type##_type

A1(a1, int);  /* 等价于: int name_int_type; */
A2(a1, int);  /* 等价于: int a1_int_type;   */

解析：

 1) 在第一个宏定义中，"name"和第一个"_"之间，以及第2个"_"和第二个"type"之间没有被分隔，所以预处理器会把name_##type##_type解释成3段： “name_”、“type”、以及“_type”，这中间只有“type”是在宏前面出现过的，所以它可以被宏替换。
 2) 而在第二个宏定义中，“name”和第一个“_”之间也被分隔了，所以预处理器会把name##_##type##_type解释成4段：“name”、“_”、“type”   以及“_type”，这其间，就有两个可以被宏替换了。