是否可以对每个参数进行可变参数宏替换？

Question

我现在在 SO 上阅读了很多关于可变参数宏的问题，但似乎没有人回答最简单的问题：

#define IDENTITY(x) x
#define IDENTITY_FOR_ALL(...) ???

有没有办法让所有参数的IDENTITY_FOR_ALL 扩展为IDENTITY(X)？是否也可以使用任意数量的参数？

Answer 1

假设你需要一个PP解决方案，你可以使用BOOST_PP_REPEAT：

//invoke IDENTITY_FOR_ALL_MACRO with each index and the given tuple
#define IDENTITY_FOR_ALL(...)                   \
    BOOST_PP_REPEAT(                            \
        BOOST_PP_VARIADIC_SIZE(__VA_ARGS__),    \
        IDENTITY_FOR_ALL_MACRO,                 \
        BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__) \
    )

//use the index to access the right element of the passed tuple
#define IDENTITY_FOR_ALL_MACRO(z, n, data) \
    IDENTITY(BOOST_PP_TUPLE_ELEM(n, data))

IDENTITY_FOR_ALL(abc, 123, "woopee")
//translated to abc 123 "woopee"

如果您需要使用多个不同的宏而不只是 IDENTITY 来执行此操作，那么将其转换为一个更通用的宏会非常简单，该宏需要调用一个宏并一个一个传递单个参数的列表。

我不是 100% 确定任意数量的参数是什么意思，但是如果您想一次使用两个参数而不是一个参数调用 IDENTITY，您可以将底部宏更改为使用 BOOST_PP_MUL和BOOST_PP_INC 访问元组的第“2n”个和“2n+1”个元素，然后在REPEAT 调用中调用宏的次数只有一半。

Answer 2

没有像可变参数模板那样的可变参数宏的包扩展。

不过，您可以使用 Boost.Preprocessor（或其方法）。

如果您不想在元素之间使用逗号，请使用

#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/preprocessor/variadic/to_seq.hpp>

#define ID_OP(_, func, elem) func(elem)
#define APPLY_TO_ALL(func, ...)                \
    BOOST_PP_SEQ_FOR_EACH(                     \
        ID_OP, func,                           \
        BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__)  \
    )

// example call:

#define SomeTransformation(x) #x // stringize the argument

APPLY_TO_ALL(SomeTransformation, 1, 2, 3) // expands to "1" "2" "3"

Demo。 用逗号：

#include <boost/preprocessor/seq/enum.hpp>
#include <boost/preprocessor/seq/transform.hpp>
#include <boost/preprocessor/variadic/to_seq.hpp>

#define ID_OP(_, func, elem) func(elem)
#define APPLY_TO_ALL(func, ...)               \
    BOOST_PP_SEQ_ENUM(                        \
    BOOST_PP_SEQ_TRANSFORM(                   \
        ID_OP, func,                          \
        BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__) \
    ))

// example call:

APPLY_TO_ALL(SomeTransformation, 1, 2, 3) // expands to "1", "2", "3"

Demo。 使用g++ -std=c++11 -E -P file 检查预处理器输出。