前阵子仔细重新研究了一下C的宏展开。总结起来,有以下几个主要规则:

  1. 每次宏展开的结果会被重复扫描,直到没有任何可展开的宏为止。
  2. 每展开一个宏,都会记住这次展开,在这个宏展开的结果及其后续展开中,不再对相同的宏做展开。
  3. 带参数的宏,先对参数做展开,除非宏定义体中包含#或##
    a) #表示将后续标识符转换为字符串
    b) ##表示将两个标识符连接成一个标识符
    c) 注意参数展开的结果中即使有逗号(,),也不视为参数的分隔符
  4. 如果宏定义中带有参数,而代码中出现同样标识符时没有参数,不视为宏。

下面的三段代码分别解释了2, 3, 4. 注释中描述了宏每一步展开的细节

这段代码主要解释规则2.(~表示已经被展开过)

    #define foo foo bar
#define bar bar bar foo #define foo2(a) bar2(a,foo2) foo2(a) (a)
#define bar2(a, b) foo2(a) bar2(a,b) (a) (b) foo
// |-> foo bar
// | |~ |-> bar bar foo
// |-> foo bar bar foo (至此,所有符号都已展开过) bar
// |-> bar bar foo
// | |~ |~ |-> foo bar
// |-> bar bar foo bar (至此,所有符号都已展开过) foo bar
// foo bar
// | |
// |-> foo bar bar bar foo
// | |~ | |~ |~ |
// |-> foo bar bar foo bar bar foo bar foo2(1)
// |-> bar2(1, foo2) foo2(1) (1)
// | | |~
// |-> foo2(1) bar2(1, foo2) (1) (foo2) foo2(1) (1) bar2(1, 1)
// |-> foo2(1) bar2(1,1) (1) (1)
// | | |~
// |-> bar2(1,foo2) foo2(1) (1) bar2(1,1) (1) (1)

这段代码主要解释规则3.

    #define foo vfoo
#define bar vbar #define foo2(a) #a
#define foo3(a, b) a ## _ ## b #define foo20(a) foo2(a)
#define foo30(a, b) foo3(a, b) #define foo40(x) foo30(x)
#define x x1,x2 foo2(foo)
// -> "foo" ('#'阻止了参数展开,如果需要展开参数,定义另一个宏,见foo20) foo3(foo, bar)
// -> foo_bar ('##'阻止了参数展开,如果需要展开参数,定义另一个宏,见foo30) foo20(foo)
// | |-->vfoo (foo20带有一个参数,匹配宏定义,先展开参数)
// | |
// |-> foo2(vfoo)
// |-> "vfoo" foo30(foo, bar)
// | |-->vfoo, |->vbar
// | | |
// |-> foo3(vfoo, vbar)
// |-> vfoo_vbar foo30(x)
// 错误,参数个数不匹配, x中的逗号不视为参数分隔符。如果需要将这个逗号作为分隔符,定义另一个宏,见foo40 foo40(x)
// | |-> x1,x2
// |-> foo30(x1,x2) //这个时候,逗号视为合法分隔符。
// |-> foo3(x1,x2)
// |-> x1_x2

这段代码主要解释规则4.

    #define foo(a) foo=a(x)
#define bar(a) (bar=a) #define foo2(a) foo=a(x,y)
#define bar2(a,b) bar(a*b) foo
// 参数个数不匹配,不认为是宏 bar
// 同上 foo(bar)
// |-> foo=bar(x) (bar无参数,不认为是宏)
// |-> foo=(bar=x) (此次扫描,bar符合宏定义) foo2(bar2)
// |-> foo=bar2(x,y) (bar2无参数,不认为是宏)
// |-> foo=bar(x*y) (此次扫描,bar符合宏定义)
// |-> foo=(bar=x*y)

C宏展开的几个注意事项的更多相关文章

  1. C中宏展开问题

    C中宏展开问题 简单记录一下碰到的问题. #define STR(x) #x 我们知道使用上面的宏可以将x转换为字符串"x". 但是如果这样用: #define NUM 3 #de ...

  2. 一个C语言宏展开问题

    转自一个C语言宏展开问题 一个令人比较迷惑的问题,学C语言好多年,今天终于搞明白,记之. ------------------------------------------------------- ...

  3. c语言 预处理的使用 宏展开下的#,##

    1. #include   包含头文件 2.define 宏定义(可以理解为替换,不进行语法检查) 写法 #define 宏名 宏体  加括号 #define ABC (5+3) #define AB ...

  4. define的用法与注意事项

    ------------------------------------------------- 在编程使用宏替换时,当字符串中不只一个符号时,加上括号表现出优先级, 如果是带参数的宏定义,则要给宏 ...

  5. 预处理命令[#define]说明

    宏定义 宏定义是对一些常见的变量.字符串等进行定义,被定义的数据在编译会进行自动替换.有时一些变量或字符串被多次使用,当需要修改时,就需要对源文件中它们出现的地方一一修改,效率比较低,而通过宏定义,只 ...

  6. [Linux]系统调用理解(1)

    本文是Linux系统调用专栏系列文章的第一篇,对Linux系统调用的定义.基本原理.使用方法和注意事项大概作了一个介绍,以便读者对Linux系统调用建立一个大致的印象. 什么是系统调用? Linux内 ...

  7. 面试问题4:C语言预处理包括哪些

    问题描述:C语言 预处理包括哪些操作 C语言的三种预处理包括:宏定义(#define).文件包含(#include).条件编译(#if.#else.#endif). 对于宏定义的介绍: 宏定义必须写在 ...

  8. C++ Primer Plus读书笔记

    第五章 循环和关系表达式 1. 2.类别别名: (1)   #define FLOAT_POINTER float * FLOAT_POINTER pa, pb; 预处理器置换将该声明转换成  flo ...

  9. 宏定义中的##操作符和... and _ _VA_ARGS_ _

    1.Preprocessor Glue: The ## Operator 预处理连接符:##操作符 Like the # operator, the ## operator can be used i ...

随机推荐

  1. GCD一些常用的方法

        //1.创建主线程(串行)     dispatch_async(dispatch_get_main_queue(), ^{         //刷新界面代码     });     //2. ...

  2. Mac 快捷键

    总结一下: Ctrl + 关机:弹出关机提示 Ctrl + Opt + 关机 : 正常关机快捷键 Cmd + Opt + 关机 :休眠 Ctrl + Cmd + 关机:重启 Shift + Ctrl ...

  3. JMeter入门使用指南

    初识JMeter 最近开始接触和使用JMeter进行性能测试,也是因为工作需要,不得不学习更多新技能,在此之前一直使用LR进行WEB系统的压力测试,但是在ZK开发的WEB系统,我选择使用JMeter. ...

  4. ie不兼容的几个js问题及解决办法

    1.table问题 在动态新增tr或者td时,createElement()一般用appendChild();都不生效,解决办法是用新增tbody,如 var table=document.creat ...

  5. python之socket

    一.初识socket      socket 是网络连接端点,每个socket都被绑定到一个特定的IP地址和端口.IP地址是一个由4个数组成的序列,这4个数均是范围 0~255中的值(例如,     ...

  6. 如何让老Mac机支持USB安装Windows

    一些老Mac机的用户想装Windows,却发现自己的系统上的Boot Camp Assistant(以下简称BCA)没有USB安装Windows的选项. 下面以我的MacBook Pro (13-in ...

  7. HDU 5980 Find Small A(寻找小A)

    p.MsoNormal { margin: 0pt; margin-bottom: .0001pt; text-align: justify; font-family: Calibri; font-s ...

  8. jpg/png格式图片转eps格式的方法总结

    jpg/png格式图片转eps格式的方法总结 转自http://blog.sina.com.cn/s/blog_5410e7b50101lme2.html 用latex写论文的筒子应该遇到这样的问题: ...

  9. LTE 测试文档(翻译)

    Testing Documentation 翻译 (如有不当的地方,欢迎指正!)     1 概述   为了测试和验证 ns-3 LTE 模块,文档提供了几个 test suites (集成在 ns- ...

  10. iStylePDF安全电子文档解决方案之电子合同在线订立

    交易是商业世界不可或缺的一部分,而签名是交易的凭证.可是,尽管互联网和IT技术已经很发达,但每逢遇到签名,还是得用最原始的方法——握笔写字.与如今走到哪都能听到“互联网+”相比有点不合潮流,通过电子签 ...