1

是否可以检查 X-macro 定义的列表中是否存在条目？鉴于下面的示例代码，我希望#if defined(GEORGE)条件为真。

编辑：当然，不做明确#define GEORGE的。我希望有一种方法来检查列表中的条目（在预处理器中），我只想在列表中进行声明。这可能是不可能的，但我想我问。

谢谢！

#include <stdio.h>

#define NAMES \
X( JOHN, "John Adams" ) \
X( GEORGE, "George Washington" ) \
X( ABRAHAM, "Abraham Lincoln ")

#define X(_id, _name)    _id,
typedef enum {
    NAMES
} names_e;
#undef X

typedef struct {
    char *name;
} names_t;

#define X(_id, _name)    [_id] = { .name = _name },
static names_t const names[] = {
    NAMES
};
#undef X

int main(void) {
    int i;

    for (i=0; i < sizeof(names)/sizeof(names[0]); i++) {
        printf("%s\n", names[i].name);
    }

    printf("names[ABRAHAM] = %s\n", names[ABRAHAM].name);

#if defined(GEORGE)
    printf("names[GEORGE] = %s\n", names[GEORGE].name);
#endif

    return 0;
}

输出

John Adams
George Washington
Abraham Lincoln 
names[ABRAHAM] = Abraham Lincoln
4

2 回答 2

0

您可以尝试使用预处理器模式匹配器。这个概念只需要一个SECOND间接的宏；GLUE很高兴将任意前缀推到：

#define GLUE(A,B) GLUE_I(A,B)
#define GLUE_I(A,B) A##B

#define SECOND(...) SECOND_I(__VA_ARGS__,,)
#define SECOND_I(A,B,...) B

...对于仅包含“伪标识符”的 X 宏“列”：

#define NAMES \
X( JOHN, "John Adams" ) \
X( GEORGE, "George Washington" ) \
X( ABRAHAM, "Abraham Lincoln ")

...你可以这样做：

#define X(ID_, NAME_) SECOND(GLUE(SEARCH_FOR_,ID_),+0)
#define SEARCH_FOR_GEORGE ,+1
#if NAMES
printf("names[GEORGE] = %s\n", names[GEORGE].name);
#endif
#undef SEARCH_FOR_GEORGE
#define SEARCH_FOR_THOMAS ,+1
#if NAMES
#error Dewey wins!
#endif
#undef SEARCH_FOR_THOMAS
#undef X

这是有效的，因为SECOND 间接扩展到第二个参数；所以SECOND(GLUE(SEARCH_FOR,ID_),+0)默认情况下会展开为+0; 并且任何链+0都是有效的错误表达式。但是因为扩展是间接的，并且第一个参数是粘贴的标记，那么如果您将粘贴的标记定义SEARCH_FOR_GEORGE为自身扩展，其中包含逗号，逗号后面的表达式将成为新的第二个参数。（问我是否需要在 Microsoft VS 预处理器上使用它；这需要稍作调整）。

于 2018-02-28T06:02:16.260 回答
0

不幸的是，你不能在宏体内编写宏，所以用你所拥有的大纲来管理它会很棘手（我没有看到实现它的方法）。

您只能在预处理器中测试宏（而不是枚举元素的名称），并且您不能通过预处理器编写宏（a#define无法#define根据其参数有效地生成新的），因此您必须做一些咕噜声-工作。

如果你定义

#define P_JOHN 0
#define P_GEORGE 1
#define P_ABRAHAM 2

那么你可以使用：

#define NAMES \
X( JOHN, "John Adams" ) \
X( GEORGE, "George Washington" ) \
X( ABRAHAM, "Abraham Lincoln ")

#define X(_id, _name)    _id = P_ ## _id,   // Crucial change
typedef enum
{
    NAMES
} names_e;
#undef X

typedef struct
{
    char *name;
} names_t;

#define X(_id, _name)    [_id] = { .name = _name },
static names_t const names[] =
{
    NAMES
};
#undef X

int main(void) {
    int i;

    for (i=0; i < sizeof(names)/sizeof(names[0]); i++) {
        printf("%s\n", names[i].name);
    }

    printf("names[ABRAHAM] = %s\n", names[ABRAHAM].name);

#if defined(P_GEORGE)        // Crucial change
    printf("names[GEORGE] = %s\n", names[GEORGE].name);
#endif

    return 0;
}

请注意，您有责任确保P_*名称具有唯一的数字（而且我不确定您将如何处理 George HW Bush 和 George W Bush - 那里似乎与乔治华盛顿存在冲突）。

示例输出：

John Adams
George Washington
Abraham Lincoln 
names[ABRAHAM] = Abraham Lincoln 
names[GEORGE] = George Washington
于 2018-02-27T05:11:15.557 回答