我的逗号在可变参数宏扩展中消失在哪里？答案

【问题标题】：Where do my commas disappear in variadic macro expansion?我的逗号在可变参数宏扩展中消失在哪里？
【发布时间】：2017-03-01 04:40:38
【问题描述】：

我正在为我的一个项目编写一个基于 x-macro 的寄存器文件布局描述系统。大多数时候，宏扩展为模板类的层次结构。但是，我还想要枚举所有寄存器，如下所示：

#define RINT(num,name,flags,width) name,
...

enum Regs
{
#include REGDEF
};

这很好用。但是，我还使用可变参数宏指定别名寄存器。由于没有简单的方法可以去除 __VA_ARGS__ 元素之间的逗号（我不知道，如果我错了，请纠正我），我写道：

#define RALIAS_10(r0,r1,r2,r3,r4,r5,r6,r7,r8,r9) r0 r1 r2 r3 r4 r5 r6 r7 r8 r9
#define RALIAS_9(r0,r1,r2,r3,r4,r5,r6,r7,r8) r0 r1 r2 r3 r4 r5 r6 r7 r8
...
#define RALIAS_1(r0) r0
#define RALIAS_N(d0,d1,d2,d3,d4,d5,d6,d7,d8,d9,aliasn,...) aliasn
#define RALIAS(...) RALIAS_N(__VA_ARGS__, RALIAS_10(__VA_ARGS__), RALIAS_9(__VA_ARGS__), ..., RALIAS_1(__VA_ARGS__))

现在，如果我写

RALIAS(RINT(4, RSP, 0, 64), RINT(4, ESP, 0, 32), RINT(4, SP, 0, 16), RINT(4, SPL, 0, 8))

RINT 宏中的逗号消失：

enum Reg
{
...
RSP ESP SP SPL
...
};

如果我反过来直接使用 RALIAS_4 宏

RALIAS_4(RINT(4, RSP, 0, 64), RINT(4, ESP, 0, 32), RINT(4, SP, 0, 16), RINT(4, SPL, 0, 8))

我得到了我的期望：

enum Reg
{
...
RSP, ESP, SP, SPL,
...
};

我知道 GCC 对可变参数宏应用了一些非标准的逗号剥离逻辑，但是当我明确指定 -std=c++11 时不应该发生这种情况。此外，Clang 给了我完全相同的结果。然而，我在标准（草案）和 GCC 文档中都找不到任何可以解释这种行为的东西。

我错过了什么？

我在 Arch Linux (x86-64) 上尝试了 GCC 6.1.1 和 Clang 3.8.1。两个编译器都是从存储库安装的。

【问题讨论】：

标签： c++ c++11 c-preprocessor x-macros

【解决方案1】：

这个：

RALIAS(RINT(4, RSP, 0, 64), RINT(4, ESP, 0, 32), RINT(4, SP, 0, 16), RINT(4, SPL, 0, 8))

将扩展为：

RALIAS(RSP,,ESP,,SP,,SPL,)

这是一个有 8 个参数的宏，其中 4 个是空的。你没有得到参数"RSP,"，你得到了参数RSP，然后分别得到了参数""。

【讨论】：