C++：在 Visual Studio 中处理每个可变参数答案

【问题标题】：C++: Process each variadic argument in Visual StudioC++：在 Visual Studio 中处理每个可变参数
【发布时间】：2016-10-17 15:16:51
【问题描述】：

尝试在 VS2013 中实现此功能（请参阅 Variadic macro trick 和 C++ preprocessor __VA_ARGS__ number of arguments）。

这不是重复的 afaik（其他地方发布的版本仅适用于 GCC）。

有什么想法吗？我快到了……

#define _EXPAND(x) x
#define _VA_NARGS_IMPL(_1_, _2_, _3_, _4_, _5_, N, ...) N
#define _VA_NARGS_IMPL2(...) _EXPAND(_VA_NARGS_IMPL(__VA_ARGS__, 4, 3, 2, 1, 0))
#define _PUSH_X_FRONT(...) X, __VA_ARGS__
/*
Returns the number of arguments specified.
#ifndef _MSC_VER
  #define VA_NARGS(...)  _VA_NARGS_IMPL2(X,##__VA_ARGS__)
*/
#define VA_NARGS(...)  _VA_NARGS_IMPL2(_PUSH_X_FRONT(__VA_ARGS__))

// testing is gewd
static_assert(VA_NARGS() == 0, "VA_NARGS() failed for 0 arguments");
static_assert(VA_NARGS(one, two, three, four) == 4, "VA_NARGS() failed for 4 arguments");

#define _VARARG_IMPL2(N, Macro, ...) Macro##N(__VA_ARGS__)
#define _VARARG_IMPL(N, Macro, ...) _VARARG_IMPL2(N, Macro, __VA_ARGS__)
// Helper function for variadic macros with per-argument processing.
#define VARARG(Macro, ...) _VARARG_IMPL(VA_NARGS(__VA_ARGS__), Macro, __VA_ARGS__)


#define _Quote1(x) #x
#define _Quote2(x, ...) #x, _Quote1(__VA_ARGS__)
#define _Quote3(x, ...) #x, _Quote2(__VA_ARGS__)
#define _Quote4(x, ...) #x, _Quote3(__VA_ARGS__)
// Treat each argument as a string literal, encompassing in quotes.
#define Quote(...) VARARG(_Quote, __VA_ARGS__)

问题：

constexpr char *a[] = { Quote(a, b) };
// WHY does the above produce {"a, b"} with msvc?
// The following produces {"a", "b"} as expected
constexpr char *a[] = { _Quote2(s, c) };

【问题讨论】：

标签： c++ visual-c++ macros c-preprocessor

【解决方案1】：

很难在 VS2013 中制作真正的可变参数宏。我做了一些事情来扩展宏以将其自己解释为新宏。关键是制作多级宏。代码很多，但对于给定的示例，它会起作用。

#define InitialMacro (argument1, argument2) \
DetailedMacro(argument1, argument2, argument1##_description, argument2##_description)

#define DetailedMacro (argument1, argument2, argument3, argument4)      \
L#argument1     \
L#argument2     \
L#argument3     \
L#argument4

这里提出的想法是实现足够的宏来满足您对所需参数数量的所有要求。您还可以在途中转发/更新带有其他项目的宏。基本上这个例子中的第一个宏附加到第二个和第三个传输参数的后缀 _description 导致另一个宏将被解释为宏，并将在DetailedMacro中扩展。

你也可以看看这个：msvc variadic macro expansion

【讨论】：