c++ - 使用偏移量获取宏值的子集

Question

我有一个定义为预处理器值的列表 #define LIST 0, 1, 2, 3, 4, 5, 6, 7, 8, 9。我想编写一个获取索引 0 或 1 的宏，并评估为 LIST 的子集，这样对于索引 0，它将评估为 0, 2, 4, 6, 8 并且对于索引 1，它将评估为 1, 3, 5, 7, 9。保证 LIST 的长度是偶数，但我事先不知道内容(它是由我提供的库的用户自动生成的)。这个问题是对 this question 的跟进

#define LIST 0, 1, 2, 3, 4, 5, 6, 7, 8, 9
#define MACRO(index) \
use LIST and index

// For LIST that given in the example
printf("%d %d %d %d %d\n", MACRO(0)); // print 0 2 4 6 8
printf("%d %d %d %d %d\n", MACRO(1)); // print 1 3 5 7 9

Answer 1

在 Boost.Preprocessor 的帮助下这应该是可行的:

#define OUTPUT_CORRECT_OFFSET(r, offset, idx, elem) \
  BOOST_PP_EXPR_IF(BOOST_PP_EQUAL(BOOST_PP_MOD(idx, 2), offset), (elem))

#define MACRO(index) \
  BOOST_PP_SEQ_ENUM( \
    BOOST_PP_SEQ_FOR_EACH_I( \
      OUTPUT_CORRECT_OFFSET, \
      index, \
      BOOST_PP_TUPLE_TO_SEQ((LIST)) \
    ) \
  )

[Live example]

它通过转动 LIST 来工作进入 Boost.Preprocessor sequence，然后对其进行迭代并仅保留其索引模 2 与 index 匹配的那些元素MACRO 的参数, 最后将结果序列转回以逗号分隔的列表。

---

请注意，Boost.Preprocessor 元组的最大大小是有限制的。在版本 1.66.0(撰写本文时的最新版本)中，它是 64。如果您的 LIST更大，它不能被视为一个元组(上面的代码通过使用 (LIST) 在它周围放一对括号来实现)。

如果您可以控制 LIST 的格式，您可以直接将其更改为 Boost.Preprocessor 序列:

#define LIST (0)(1)(2)(3)(4)(5)(6)(7)(8)(9)

虽然序列也有大小限制，但它要大得多(在 Boost 1.66.0 中为 256)。然后宏将更改如下:

#define MACRO(index) \
  BOOST_PP_SEQ_ENUM( \
    BOOST_PP_SEQ_FOR_EACH_I( \
      OUTPUT_CORRECT_OFFSET, \
      index, \
      LIST \
    ) \
  )

如果序列限制仍然不够，您将不得不考虑更强大的代码生成技术，例如原生 C++ 框架之外的独立宏处理器。