包含点的 C/C++ 宏参数（成员访问运算符）

Question

如何在 C/C++ 宏中使用包含点（成员访问运算符）的参数？

例子：

#define M(obj,y) obj.y##x
struct S { struct {int x;} c; int x; };
S s;
s.c.x = 1;
s.x = 2;
M(s,)   // works, 2 (resolves to s.x)
M(s,c.) // error: pasting formed '.x', an invalid preprocessing token

如何让M(s,c.) 解析为s.c.x？

感谢您的帮助！

Answer 1

令牌粘贴运算符## 要求其两个操作数是有效的预处理令牌，并产生一个预处理令牌。它通常用于将两个标识符连接成一个标识符。

您在这里尝试做的不是令牌粘贴。相反，您正在寻求创建像s.x 或s.c.x 这样的表达式，其中x 部分始终是单个标记。因此，不应使用## 运算符。相反，您可以这样做：

#define M(obj, y) obj.y x

当您尝试使用## 运算符时，预处理器会尝试将参数y 中的最后一个标记与标记x 结合起来。在c.中，.是一个token，所以结果是.x，它不是一个合法的token。相反，.x 仅作为两个标记的序列有效。