c++预处理器添加word if条件

C++ preprocessor add word if condition

本文关键字：if 条件 word 添加 预处理 处理器 c++      更新时间：2023-10-16

我正在编写一个使用预处理器元编程Boost.Preprocessor的库。其中一个宏是这样的:

#define MY_MACRO(my_type) return some_function<my_type>()

现在，问题是，如果my_type是void，我需要删除return。我检查了Boost。预处理器，但我没看到任何有用的东西。我该如何做到这一点?比如:

#define MY_MACRO(my_type) BOOST_PP_IF(
      TYPE_EQUALS(my_type,void),return,BOOST_PP_EMPTY()) some_function<my_type>()

不幸的是，boost预处理器没有一个简单的方法来比较两个令牌。当然，对于您的情况，您可能只需要使用一些简单的检测。这应该在C99预处理器上工作:

#define CHECK_N(x, n, ...) n
#define CHECK(...) CHECK_N(__VA_ARGS__, 0,)
#define PROBE(x) x, 1,
#define IS_VOID(x) CHECK(BOOST_PP_CAT(IS_VOID_, x))
#define IS_VOID_void PROBE(~)

但是，对于括号、可变数据(例如带有逗号的类型)或指针，这不起作用。下面是一些有用和没用的方法:

IS_VOID(int) // 0
IS_VOID(void) // 1
IS_VOID((void)) // Compile error
IS_VOID(std::map<int, int>) // Compile error
IS_VOID(void*) // Returns 1, but should return 0

你可以尝试解决所有这些情况，或者你可以使用更通用的比较宏(像这里的):

#define IS_PAREN(x) CHECK(IS_PAREN_PROBE x)
#define IS_PAREN_PROBE(...) PROBE(~)
#define IS_COMPARABLE(x) IS_PAREN( CAT(COMPARE_, x) (()) )
#define NOT_EQUAL(x, y) 
IIF(BITAND(IS_COMPARABLE(x))(IS_COMPARABLE(y)) ) 
( 
   PRIMITIVE_COMPARE, 
   1 EAT 
))(x, y)
#define EQUAL(x, y) COMPL(NOT_EQUAL(x, y))
#define COMPARE_void(x) x
#define IS_VOID(x) EQUAL(x, void)

可以更新为使用boost预处理器组件。这应该可以在更多的情况下工作，但仍然不能与括号一起工作(这可能不是问题)。

最后，这只是文本级别的比较，所以如果用户定义了void，它将错误地返回false:

typedef void my_void;
IS_VOID(my_void) // Returns 0

如果您正在使用检测技术，您可以允许用户为用户定义的空白扩展它，如下所示:

#define IS_VOID(x) CHECK(BOOST_PP_CAT(IS_VOID_, x))
#define IS_VOID_void PROBE(~)
// User-defined void
#define IS_VOID_my_void PROBE(~)

相关文章：