define中与的神奇用法.docVIP

#define中 #与##的神奇用法 linux学习 2009-01-06 10:07:05 阅读66 评论0 ??字号：大中小?订阅 本文整理自csdn。 #define f(a,b) a##b #define d(a) #a #define s(a) d(a) void main( void ) { ? ? puts(d(f(a,b))); ? ? puts(s(f(a,b))); } 输出结果: f(a,b) ab 分析： ?##把两个符号连起来 ??? #a指把a当成符号，就是把#后面的看成字符串 # 和 ## 操作符是和#define宏使用的. 使用# 使在#后的首个参数返回为一个带引号的字符串. 例如, 命令???? #define to_string( s ) # s 将会使编译器把以下命令???? cout to_string( Hello World! ) endl; 理解为???? cout Hello World! endl; 使用##连结##前后的内容. 例如, 命令???? #define concatenate( x, y ) x ## y ? ? ... ? ? int xy = 10; ? ? ... 将会使编译器把???? cout concatenate( x, y ) endl; 解释为???? cout xy endl; 理所当然,将会在标准输出处显示10. ? puts(d(f(a,b)));? ---- 因为d宏中的参数是另外一个宏，且带##，所以作为参数的宏不展开，相当于 ? ? ? ? ? ? ? ? ? ? ? ? ? ? puts(#f(a,b));-----puts(f(a,b)); puts(s(f(a,b))); ---- 因为s宏中的参数是另外一个宏，但不带##，所以作为参数的宏先展开，相当于 ? ? ? ? ? ? ? ? ? ? ? ? ? ? puts(s(ab));-----puts(d(ab));----puts(#ab);----puts(ab); ? #define f(a,b) a##b #define d(a) #a －－》 以#开头的，直接替换，不展开：immediately replaced by the unexpanded actual argument #define s(a) d(a) －－》 非以#开头的，先展开，再替换，也就是一般的情况 所以就两种情况： 1，不以#开头的，先展开参数a，然后是替换代码：puts(s(f(a,b)));--puts(s(ab))--puts(d(ab))--puts(ab) 2，以#开头的，直接替换，不展开：puts(d(f(a,b)))--puts(f(a,b)) ? #include stdio.h#define DIRECT_LITERAL(a)? #a#define INDIRECT_LITERAL(a) DIRECT_LITERAL(a) int main(void){??? puts(DIRECT_LITERAL(INDIRECT_LITERAL(a + b)));??? puts(INDIRECT_LITERAL(DIRECT_LITERAL(a + b)));??? return 0;} 这其实从编译角度的展开归约也可以理解啊。 以上代码第一种情况，当预编译器看到DIRECT_LITERAL后查到它是宏定义，定义为#a，此时后面的参数部分就会以#a的形式生成到源文件中。也就是说，预编译后的源文件中，替代第一条语句的就是： puts(INDIRECT_LITERAL(a + b));输出则是INDIRECT_LITERAL(a + b) 而对于第二条语句，当预编译器看到INDIRECT_LITERAL后查到它是宏定义，定义为DIRECT_LITERAL(a)，这时先把它作为DIRECT_LITERAL(DIRECT_LITERAL(a + b))的形式暂存起来，你也可以理解为这个状态是语法树的当中一个叶结点。然后再分析后面的DIRECT_LITERAL后面的参数部分，即：DIRECT_LITERAL(a + b)，同样，预编译器会将它归约为a + b的形式。这样对于里面的DIRECT_LITERAL(a + b)的形式就完全确定下来了，那么这个值就可以充当叶子结点，即它底下不会再有结点。然后再回到刚才那个状态，DIRECT_LITERAL(a + b)最后就是\a + b\。所以这里输出是a + b。 值得注意的是#a是将参数a转为字符串形式。所