序列的宏递归扩展

Question

是否可以定义一个 C/C++ 宏“BUILD(a, i)”，它将扩展为“x[0], x[1], x[2], ... , x[i]" ?就像看起来

#define BUILD(x, 0) x[0]
#define BUILD(x, 1) x[0], x[1]
#define BUILD(x, 2) x[0], x[1], x[2]
...

BOOST_PP_ENUM_PARAMS 可以完成这项工作。我想我可以只是#include boost，但我有兴趣知道它如何以及为什么工作，任何人都可以解释吗？

我想调用一个函数 f(int, ...) ，它接受 N 个 int 参数 x[i], 0 <= i << N。其中 N 已知为 ceil(sizeof(A) / sizeof(B))。不幸的是，我不能使用可变参数或模板。

Answer 1

有可能，但是你必须做一些手工工作并且有一个上限。

#define BUILD0(x) x[0]
#define BUILD1(x) BUILD0(x), x[1]
#define BUILD2(x) BUILD1(x), x[2]
#define BUILD3(x) BUILD2(x), x[3]
#define BUILD(x, i) BUILD##i(x)

请注意，i 应该是整数文字，而不是常量计算值。

顺便说一句，预处理器比通常情况下更强大，但使用该功能非常棘手。 Boost 提供了一个库，可以简化一些事情，包括迭代。请参阅 Boost 预处理器库。还有另一个图书馆可以存放此类东西，但我现在记不起它的名字了。

编辑：boost 预处理器库使用类似的技术。通过额外的技巧来解决一些极端情况问题，在更高级别的设施之间共享实现宏，解决编译器错误等...通常的提升复杂性，这在通用库的上下文中是正常的，但有时会妨碍轻松理解实施原则。也许最引人注目的技巧是添加一个间接级别，以便如果第二个参数可以是宏，则它会被扩展。也就是说，

#define BUILD_(x, i) BUILD##i(x)
#define BUILD(x, i) BUILD_(x, i)

一个人可以拨打电话，

#define FOO 42
BUILD(x, FOO)

而我所公开的内容是不可能的。

Answer 2

不，不是——宏不能递归。还有你发布的宏
不是可变参数，这意味着“具有不同数量的参数”。

Answer 3

好的，
我遇到了同样的问题，我的目标是使用宏打印 N 字节数组的所有值。我想你也有几乎同样的问题。如果是这样的话，这个解决方案应该适合未来类似的问题。

#define HEX_ARRAY_AS_STR(array, len) \
    ({ \
        int print_counter = 0; \
        print_buf = calloc(len*3+1, 1); \
        char *tmp_print_buf = print_buf; \
        uint8_t *array_flower = array;  \
        while(print_counter++ < (len)){ \
            sprintf(tmp_print_buf, "%02X ", *(array_flower)++); \
            tmp_print_buf += 3; \
        } \
        print_buf; \
    })

#define eprintf(...) \
    do{ \
        char *print_buf; \
        printf(__VA_ARGS__); \
        if(print_buf) \
            free(print_buf); \
    }while(0)

int 
main(int argc, char *argv[])
{
    uint8_t sample[] = {0,1,2,3,4,5,6,7};
    eprintf("%s\n", HEX_ARRAY_AS_STR(sample, 8));
    return 0; 
}