代码之家 › 专栏 › 技术社区 › matt

试图理解C预处理器

stringification c-preprocessor c c++

matt · 技术社区 · 14 年前

#define PART1PART2 works
#define STRINGAFY0(s) #s
#define STRINGAFY1(s) STRINGAFY0(s)

案例1:

#define GLUE(a,b,c) a##b##c  
STRINGAFY1(GLUE(PART1,PART2,*))
//yields
"PART1PART2*"

#define GLUE(a,b) a##b##*
STRINGAFY1(GLUE(PART1,PART2))
//yields
"works*"

案例3:

#define GLUE(a,b) a##b
STRINGAFY1(GLUE(PART1,PART2*))
//yields
"PART1PART2*"

编辑: 我目前认为,在扩展宏时,预处理器的工作方式如下: 第一步: -把尸体带走 -删除##运算符周围的所有空格 -如果找到与参数名称匹配的标识符,请分析字符串: -如果它不在##运算符旁边,请首先对参数的值运行整个解释过程,然后用该结果替换标识符。 (忽略stringafy单个'#'case atm)

第二步:

现在,从这一点来看,我认为所有3种情况都应该产生完全相同的结果字符串:

因此在第2步之后

作品*

2 回复 | 直到 8 年前

Jens Gustedt 8 年前

案例1和案例2没有定义的行为,因为您很想粘贴 * PART1PART2 (或者只是 PART2 * . 在您的例子中,这可能会无声地失败,这是未定义事物时可能出现的结果之一。代币 第1部分第2部分 *

/usr/bin/gcc -O0 -g -std=c89 -pedantic   -E test-prepro.c
test-prepro.c:16:1: error: pasting "PART1PART2" and "*" does not give a valid preprocessing token
"works*"

总结一下你的案例1有两个问题。

粘贴两个没有结果的标记
评估顺序 ## 操作人员

在案例3中,编译器给出了错误的结果。应该的

评估参数 STRINGAFY1
GLUE
胶水 结果 PART1PART2*
结果是 works*
然后传递给 字符串1

Michael Dorgan 14 年前

它做的正是你让它做的。第一个和第二个获取传入的符号名,并将它们粘贴到一个新符号中。第三个取2个符号并粘贴它们,然后您自己将*放入字符串中(最终将计算为其他值)

当然还有一个问题,你为什么要这样玩弄符号咀嚼的黑暗艺术

推荐文章

Community wiki · C中有哪些耗时的操作?

1 年前

Tintenfisch · 传递参数:array与C和C中的*&array和&array[0]之间的差异++

1 年前

daryldxn · Windows筛选平台计算通过TCP连接发送的字节和接收的字节

1 年前

Mike Balts · 它们将被打印多少次,为什么?我知道:“阿尔法”一次,“贝塔”两次,“欧米茄”两次但我不知道为什么

1 年前

Mohammed Eid · 数据类型“char”是否可以被视为数据类型“int”?

1 年前

Community wiki · 将所有处理器电源都投入到任务中

1 年前

Community wiki · 在C&数据结构中实现不同数据结构的聪明方法,应该更频繁地使用

1 年前

Community wiki · C++为C添加了什么?[已关闭]

1 年前

Abhinav Kumar · 如何将#define的数据类型设置为长双精度?

1 年前

Community wiki · 打印1到1000,不带循环或条件

1 年前