过载 C/C++关于其参数结构的预处理器宏

Question

我想编写一个预处理器宏，如果它的参数是带括号的标记元组，则执行一件事，如下所示：

MY_MACRO((x, y))

如果它只是单个标记，则执行其他操作，如下所示：

MY_MACRO(x)

这可能吗？

如何区分空格分隔的标记数量，即 MY_MACRO(x) 和 MY_MACRO(xy) ？

请注意，我并没有尝试根据参数的数量进行重载 - 在所有情况下它都是一元宏。

编辑：如果有帮助，我愿意使用可变参数宏

Answer 1

至于你的第一个问题，以下宏可能会满足你的目的：

#define CONCAT_( x, y ) x ## y
#define CONCAT( x, y ) CONCAT_( x, y )
#define IS_SINGLE_1(...) 0
#define IGNORE(...)
#define IS_SINGLE_2_0           0 IGNORE(
#define IS_SINGLE_2_IS_SINGLE_1 1 IGNORE(
#define IS_SINGLE( x ) CONCAT( IS_SINGLE_2_, IS_SINGLE_1 x ) )
IS_SINGLE((x, y)) // 0
IS_SINGLE(x)      // 1

如果参数是单个标记，则宏 IS_SINGLE 将扩展为 1，
否则，0。

希望这有帮助

Answer 2

使用 boost.preprocessor

#include <boost/preprocessor/cat.hpp>
#include <boost/preprocessor/seq/for_each.hpp>

#define SEQ (w)(x)(y)(z)

#define MACRO(r, data, elem) BOOST_PP_CAT(elem, data)

BOOST_PP_SEQ_FOR_EACH(MACRO, _, SEQ) // expands to w_ x_ y_ z_

它并不完全相同，因为即使单个参数情况也需要括号。但它确实允许可变数量的括号参数。

还有一种可能性：使用 BOOST_PP_IF、BOOST_PP_EQUAL 和 BOOST_PP_TUPLE_ELEM 执行类似以下操作

MACRO(1, a)
MACRO(2, (a,b) )
MACRO(3, (a,b,c) )

。