打印

关于##在C宏定义中的作用 (转载)

[复制链接]
2376|0
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
黑发尤物|  楼主 | 2011-11-30 08:53 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
最近因为工作问题,一直要看Linux的源代码。对于源码中宏定义的#一直有点疑惑,发现一个哥们总结的不错,所以就Ctrl + C and Ctrl + V进来:
内核中有很多的宏定义,在宏定义define中经常看到两个字符串##和#,这里把它的用法做一下说明:
    ##是一个连接符号,用于把参数连在一起
        例如:
            > #define FOO(arg)   my##arg
        则
            > FOO(abc)
        相当于   myabc
   
    #是“字符串化”的意思。出现在宏定义中的#是把跟在后面的参数转换成一个字符串
        例如:
            > #define STRCPY(dst, src)   strcpy(dst, #src)
        则
            > STRCPY(buff, abc)
        相当于   strcpy(buff, "abc")
    另外,如果##后的参数本身也是一个宏的话,##会阻止这个宏的展开 。
    #define STRCPY(a, b)    strcpy(a ## _p, #b)
    int main()
    {
        char var1_p[20];
        char var2_p[30];
        strcpy(var1_p, "aaaa");
        strcpy(var2_p, "bbbb");
        STRCPY(var1, var2);
        STRCPY(var2, var1);
        printf("var1 = %s\n", var1_p);
        printf("var2 = %s\n", var2_p);
        return 0;
      
        STRCPY(STRCPY(var1,var2),var2);
      
    }
/////////////////////////////////////////////////////////////////////////
tell you about ## in common text
关于记号粘贴操作符(token paste operator): ##
1. 简单的说,“##”是一种分隔连接方式,它的作用是先分隔,然后进行强制连接。
   其中,分隔的作用类似于空格。我们知道在普通的宏定义中,预处理器一般把空格
   解释成分段标志,对于每一段和前面比较,相同的就被替换。但是这样做的结果是,
   被替换段之间存在一些空格。如果我们不希望出现这些空格,就可以通过添加一些
   ##来替代空格。
   另外一些分隔标志是,包括操作符,比如 +, -, *, /, [,], ...,所以尽管下面的
   宏定义没有空格,但是依然表达有意义的定义: define add(a, b) a+b
   而其强制连接的作用是,去掉和前面的字符串之间的空格,而把两者连接起来。

2. 举列 -- 试比较下述几个宏定义的区别
   #define A1(name, type) type name_##type##_type 或
   #define A2(name, type) type name##_##type##_type
   A1(a1, int);
   A2(a1, int);
   解释:
        1) 在第一个宏定义中,"name"和第一个"_"之间,以及第2个"_"和第二个
   "type"之间没有被分隔,所以预处理器会把name_##type##_type解释成3段:
   “name_”、“type”、以及“_type”,这中间只有“type”是在宏前面出现过
    的,所以它可以被宏替换。
        2) 而在第二个宏定义中,“name”和第一个“_”之间也被分隔了,所以
   预处理器会把name##_##type##_type解释成4段:“name”、“_”、“type”
   以及“_type”,这其间,就有两个可以被宏替换了。
        3) A1和A2的定义也可以如下:
           #define A1(name, type) type name_ ##type ##_type
                                      <##前面随意加上一些空格>
           #define A2(name, type) type name ##_ ##type ##_type
    结果是## 会把前面的空格去掉完成强连接,得到和上面结果相同的宏定义
3. 其他相关 -- 单独的一个 #
   至于单独一个#,则表示 对这个变量替换后,再加双引号引起来。比如
      #define __stringify_1(x)   #x
那么
      __stringify_1(linux)   <==> "linux"
所以,对于MODULE_DEVICE_TABLE
     1) #define MODULE_DEVICE_TABLE(type,name)                       
             MODULE_GENERIC_TABLE(type##_device,name)
     2) #define MODULE_GENERIC_TABLE(gtype,name)                     
             extern const struct gtype##_id __mod_##gtype##_table   
             __attribute__ ((unused, alias(__stringify(name))))
得到
      MODULE_DEVICE_TABLE(usb, products)
                           
<==> MODULE_GENERIC_TABLE(usb_device,products)
<==> extern const struct usb_device_id __mod_usb_device_table   
             __attribute__ ((unused, alias("products")))  
注意到alias attribute需要一个双引号,所以在这里使用了__stringify(name)来
给name加上双引号。另外,还注意到一个外部变量"__mod_usb_device_table"被alias
到了本驱动专用的由用户自定义的变量products<usb_device_id类型>。这个外部变量
是如何使用的,更多的信息请参看《probe()过程分析》。
4. 分析方法和验证方式 -- 编写一个简单的C程序
   用宏定义一个变量,同时用直接方式定义一个相同的变量,编译报告重复定义;
   用宏定义一个变量,直接使用该宏定义的变量名称,编译通过且运行结果正确;
   使用printf打印字符串数据。printf("token macro is %s", __stringify_1(a1));
本文来自CSDN博客,转载请标明出处:http://blog.csdn.net/bluecll/archive/2008/11/09/3254764.aspx

相关帖子

发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

0

主题

890

帖子

2

粉丝