#与##在宏定义中的--宏展开

我就是我 2021-10-26 17:52 401阅读 0赞

\#与\#\#在宏定义中的--宏展开  
\#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

//====================================================//

有些用法一般的C语言书籍中没有，但确实存在，如宏定义中的\#、\#@与\#\#，说明如下：  
  
1、\#  
为后面的宏形参添加双引号。  
例：  
\#define SINGLESHARP(arg) \#arg  
SINGLESHARP(singlesharp) <==> "singlesharp"  
2、\#@  
为后面的宏形参添加单引号。  
例：  
\#define SINGLESHARPWITHAT(arg) \#@arg  
SINGLESHARPWITHAT(@) <==> '@'  
3、\#\#  
连接\#\#前后的两个宏形参。  
具体的过程（为方便认知，主观认为如此，实际过程并非如此）：  
1）用空格替代\#\#，则可以把宏分成几段，每段和宏形参比较，如果是宏形参，就用相应的实参替换；  
2）去掉所有空格，连接这些段。  
例：  
\#define A1(name, type) type name\_\#\#type\#\#\_type  
A1(a1, int);  
步骤1，变为  
type、name\_、type、\_type 四段，用实参替换，得到：int、name\_、int、\_type（注意name\_和type\_和前面面的形参并不符，所以没有替换）；  
步骤2，得到  
int name\_int\_type;  
\-------------------------------------------------------------------------------  
\#define A2(name, type) type name\#\#\_\#\#type\#\#\_type  
A2(a1, int);  
步骤1，变为  
type、name、\_ 、type 、\_type 五段，用实参替换，得到：int、a1、\_、int、\_type（注意和上面的例子对比）；  
步骤2，得到  
int a1\_int\_type;  
\-------------------------------------------------------------------------------  
验证\#\#的去空格连接特性：  
<\#\#前后随意加上一些空格>  
\#define A1(name, type) type name\_ \#\#type \#\#\_type  
\#define A2(name, type) type name \#\#\_ \#\#type \#\#\_type  
结果是\#\# 会把前后的空格去掉完成强连接，得到和上面结果相同的宏定义。