Question

使用BOOST_PP我可以使用附加标记将宏扩展为多个逗号分隔值，如下面的代码所示。

但是，它在无论证的情况下不起作用。

#define BOOST_PP_VARIADICS
#include <boost/preprocessor/punctuation/comma_if.hpp>
#include <boost/preprocessor/seq/for_each_i.hpp>
#include <boost/preprocessor/variadic/to_seq.hpp>

#define ADD_TOKEN(r, token, i, e) \
    BOOST_PP_COMMA_IF(i) token(e)

#define WRAP(...) \
    BOOST_PP_SEQ_FOR_EACH_I(ADD_TOKEN, decltype, BOOST_PP_VARIADIC_TO_SEQ(__VA_ARGS__))

#define MACRO(fmt, ...) \
    Template<WRAP(__VA_ARGS__)>

MACRO("");
MACRO("", 0);
MACRO("", 0, 1);

使用gcc -E main.cpp进行编译时的输出是

Template< decltype() >;
Template< decltype(0) >;
Template< decltype(0) , decltype(1) >;

如何在没有MACRO参数的情况下调用__VA_ARGS__扩展为null？

也就是说，我希望输出为：

Template< >;
Template< decltype(0) >;
Template< decltype(0) , decltype(1) >;

我怎样才能做到这一点？

Answer 1

这个答案使用GNU扩展。你在评论中说你没关系。

您可以使用BOOST_PP_TUPLE_SIZE((, ## __VA_ARGS__))：当且仅当省略了可变参数时，它才会给您1。

模板有点棘手，因为它们可以包含无表达式的逗号，这会在宏参数中使用时引起混淆。编写它需要花费一些工作才能使WRAP宏仅在BOOST_PP_IF完成之后展开：

#define MACRO(fmt, ...) \
    Template< \
    BOOST_PP_IF(BOOST_PP_EQUAL(BOOST_PP_TUPLE_SIZE((,##__VA_ARGS__)), 1), \
        BOOST_PP_EXPAND, WRAP) (__VA_ARGS__) \
    >

注意：我在空案例中使用BOOST_PP_EXPAND，因为BOOST_PP_EXPAND(__VA_ARGS__)会扩展为空。

BOOST_PP在空序列情况下扩展序列

1 个答案: