如何挑选出发送到仅采用可变参数的宏的第一个参数

Question

我尝试获取发送到可变参数宏的第一个实际参数。这是我尝试过的，但在 VS2010 中不起作用：

#define FIRST_ARG(N, ...) N
#define MY_MACRO(...) decltype(FIRST_ARG(__VA_ARGS__))

当我查看预处理器输出时，我看到 FIRST_ARG 返回发送到 MY_MACRO 的整个参数列表...

另一方面，当我尝试使用：时，

FIRST_ARG(1,2,3)

它会按预期扩展为 1。

这似乎与臭名昭著的两级连接宏所解决的问题相反。我知道“宏参数在插入宏体之前已完全展开”，但这似乎对我没有帮助，因为我不明白这在...和 ​​__VA_ARGS__ 的上下文中意味着什么。

显然 __VA_ARGS__ 绑定到 N 并且仅在稍后进行评估。我尝试了几种具有额外宏观级别的方法，但没有帮助。

Answer 1

这是Visual C++ 预处理器中的错误。那里列出的解决方法有效。这：

#define FIRST_ARG_(N, ...) N
#define FIRST_ARG(args) FIRST_ARG_ args
#define MY_MACRO(...) decltype(FIRST_ARG((__VA_ARGS__)))

MY_MACRO(x, y, z)

扩展到：

decltype(x)