Question

我需要使用可变参数宏来扩展到类的多个变体。由于他们需要根据宏输入使用不同的名称，所以我不能简单地使用模板。问题是我无法扩展逗号（,）符号，并且我的类具有带有多个参数的函数（我需要使用逗号符号）。

boost提供了扩展为逗号的BOOST_PP_COMMA()宏，但它只能在循环结构之外工作。我猜测问题是BOOST_PP_COMMA()被扩展一次然后被视为逗号，此时程序就会中断。

为了说明这个问题，假设我有一个宏函数，它接受一个可变数量的参数，并产生一些等于给它的参数数量的逗号。天真的解决方案是：

#define TEST(...)\
    BOOST_PP_REPEAT( \
        BOOST_PP_VARIADIC_SIZE(__VA_ARGS__), \
        MACRO, \
        BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__))

#define MACRO(z, n, data) BOOST_PP_IF(1,BOOST_PP_COMMA(),BOOST_PP_COMMA())\

但这会产生一系列错误，因为逗号被扩展，宏认为它们正在划分参数。

有没有解决这个问题的方法？

Answer 1

将BOOST_PP_REPEAT与可以使用预期参数调用的宏一起使用可以正常工作，甚至可以防止需要BOOST_PP_COMMA：

#define PRINT_COMMAS(...)\
    BOOST_PP_REPEAT( \
        BOOST_PP_VARIADIC_SIZE(__VA_ARGS__), \
        PRINT_COMMAS_MACRO, \
        BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__))

#define PRINT_COMMAS_MACRO(z, n, data) ,

See it work

要保存额外的宏，您可以利用BOOST_PP_ENUM在扩展之间添加逗号这一事实，方法是在重复次数上加1，并使用BOOST_PP_TUPLE_EAT丢弃宏参数：

#define PRINT_COMMAS(...)\
    BOOST_PP_ENUM( \
        BOOST_PP_INC(BOOST_PP_VARIADIC_SIZE(__VA_ARGS__)), \
        BOOST_PP_TUPLE_EAT(), \
        BOOST_PP_VARIADIC_TO_TUPLE(__VA_ARGS__))

See it work

我个人认为第一个更清楚。

如何使用Boost预处理器多次打印逗号

1 个答案: