居然可以这样定义宏呀？

[feidegengao]

#include<iostream>
using namespace std;

#define X 3
#define Y X * 2
#undef X
#define X 2


int main()
{
int z = Y;
cout << z << endl;
return 0;

}
结果为4，居然可以先定义Y！！！然后定义X！！！为什么呀？

[zhanshen2891]

那就是说它可能是先展开成3 * 2，然后又展开成2 * 2

[jackyjkchen]

宏是预处理的，由预处理器完成，在编译之前就完成了替换，自然不依赖顺序

实际上真正传递给编译器被编译的程序是

int main()
{
int z = 2*2;
cout << z << endl;
return 0;
}

宏什么的看不见

[W170532934]

VS打开预编译输出文件后看到文件内部。

int main()
{
	int z = 2 * 2;
	cout << z << endl;
	return 0;
}

一目了然

[赵4老师]

#与##在宏定义中的--宏展开
#include <stdio.h>
#define f(a,b) a##b
#define g(a) #a
#define h(a) g(a)
int main()
{
printf("%s\n", h(f(1,2))); // 12
printf("%s\n", g(f(1,2))); // f(1,2)
return 0;
}
宏展开时：
如果宏定义以#开头，不展开参数，直接替换。
故g(f(1,2))--->#f(1,2)--->"f(1,2)"；
如果宏定义不以#开头，展开参数，直接替换，由外层向里层，如果碰到的是#开头的宏，不继续往里层展开，往外层展开。
由外层向里层，如果碰到的是以非#开头的宏，继续往里层走，直至最里层，开始一层层往外层展开。
故h(f(1,2))--->h(12)--->g(12)---->#12----->"12"。
PS：
##在宏中定义，是字符连接符
如a##b##c 等同于 "abc"
#在宏开头出现，是表示宏展开的方式不同
#a 等同于"a"
#abc 等同于 "abc"
复杂的:
#include <stdio.h>
#define f(a,b) a##b
#define g(a) #a
#define h(a) g(a)
int main()
{
char a = 'a';
cout<<g(a)<<endl; // a
cout<<g(g(a))<<endl; // a
printf("%s\n", h(f(1,2))); // 12
printf("%s\n", g(f(1,2))); // f(1,2)
printf("%s\n", g(h(f(1,2)))); // h(f(1,2))
printf("%s\n", h(g(f(1,2)))); // "f(1,2)"
printf("%s\n", h(h(f(1,2)))); // "12"
system("pause");
return 0;
}
预处理后的：（在编译选项中添加/EP /P后编译生成的.i文件）int main()
{
char a = 'a';
cout<<"a"<<endl;
cout<<"g(a)"<<endl;
printf("%s\n", "12");
printf("%s\n", "f(1,2)");
printf("%s\n", "h(f(1,2))");
printf("%s\n", "\"f(1,2)\"");
printf("%s\n", "\"12\"");
system("pause");
return 0;
}
---------------------------------------------------
宏解析
1. ##操作符
##操作符它的作用是在替代表中将其前后的参数连接成为一个预处理符号，它不能出现于宏替代表的开端和末尾。
例：
#define concat(s,t) s##t
#define AAA ABC
concat(A, AA)
将被替换成
ABC
2. 重新扫描和替换
在替换列表中的所有参数替换过之后，预处理器将对结果token序列重新扫描以便对其中的宏再次替换。
当正在替换的宏在其替换列表中发现自身时，就不再对其进行替换。今儿，在任何正在嵌套替换的宏的替换过程中遇到正被替换的宏就对其不再进行替换（防止递归）。
例：
#define ROOT AAA CCC
#define AAA ROOT
ROOT
将被替换成
ROOT CCC