#ifdef 在#define 中？

Question

我在这样的定义的帮助下初始化一个结构数组：

#define FLAGCODE(name) { #name, MNT_ ## name }
    struct {
        const char  *name;
        uint64_t     flag;
    } flagcodes[] = {
        FLAGCODE(ACLS),
        FLAGCODE(ASYNC),
...

这很好用，现在我想添加一个检查，是否在没有为每个符号插入 #ifdef 和 #endif 的情况下定义了每个标志（例如 MNT_ACLS）手动？

也就是说，我希望宏 FLAGCODE(name) 扩展为（相当于）：

#ifdef MNT_ ##name
    { # name, MNT_ ##name },
#endif

例如，如果name是NOATIME，则代码变为：

#ifdef MNT_NOATIME
   { "NOATIME", MNT_NOATIME },
#endif

是的，我意识到，这意味着 double 会通过预处理器，因此不太可能 - 如果没有自定义代码生成器...但仍然...

Answer 1

有一个解决方案，但强烈不推荐！你可以用 C 预处理器做一些有趣的事情（参见Macro to replace nested for loops 和问题中的链接）。但我再说一遍：不要这样做。这是滥用 cpp。

简而言之，您必须使用宏创建自己的#ifdef。在下面的代码中，ISDEF 是一个“运算符”，用于检查标志是否已定义以及 #if 是否已重新定义：IIF （为理解，所有解释都在这里：https://github.com/pfultz2/Cloak/wiki/C-Preprocessor-tricks,-tips,-and-idioms）

#define PRIMITIVE_CAT(a, ...) a ## __VA_ARGS__
#define COMMA ,

#define IIF(c) PRIMITIVE_CAT(IIF_, c)
#define IIF_0(t, ...) __VA_ARGS__
#define IIF_1(t, ...) t

#define CHECK_N(x, n, ...) n
#define CHECK(...) CHECK_N(__VA_ARGS__, 0,)
#define PROBE(x) x, 1,

#define ISDEF(x) CHECK(PRIMITIVE_CAT(ISDEF_, x))
#define ISDEF_ PROBE(~)

#define FLAGCODE(name) IIF(ISDEF(name))({ #name COMMA MNT_ ## name }COMMA)

#define ACLS
#define FLAGDEFINED

int main()
{
        struct {
        const char  *name;
        uint64_t     flag;
    } flagcodes[] = {
        FLAGCODE(ACLS)
        FLAGCODE(ASYNC)
        FLAGCODE(FLAGDEFINED)
        FLAGCODE(FLAGNOTDEFINED)
        ...

你也可以用你的标志做一个列表（参见http://jhnet.co.uk/articles/cpp_magic中的MAP部分）。

享受但不要过度使用预处理器。

在克里斯·多德（Chris Dodd）的非常好的评论之后，
1：如果标志被定义为空（#define FLAGDEFINED），则此技巧有效。例如，它不适用于 #define FLAGDEFINED 1 或 #define FLAGDEFINED xxx。
2：添加了CPP_前缀，名称由CPP_FLAG更改

#define CPP_PRIMITIVE_CAT(CPP_a, ...) CPP_a ## __VA_ARGS__
#define CPP_COMMA ,

#define CPP_IIF(CPP_c) CPP_PRIMITIVE_CAT(CPP_IIF_, CPP_c)
#define CPP_IIF_0(CPP_t, ...) __VA_ARGS__
#define CPP_IIF_1(CPP_t, ...) CPP_t

#define CPP_CHECK_N(CPP_x, CPP_n, ...) CPP_n
#define CPP_CHECK(...) CPP_CHECK_N(__VA_ARGS__, 0,)
#define CPP_PROBE(CPP_x) CPP_x, 1,

#define CPP_ISDEF(CPP_x) CPP_CHECK(CPP_PRIMITIVE_CAT(CPP_ISDEF_, CPP_x))
#define CPP_ISDEF_ CPP_PROBE(~)

#define CPP_FLAGCODE(CPP_FLAG) CPP_IIF(CPP_ISDEF(CPP_FLAG))({ #CPP_FLAG CPP_COMMA MNT_ ## CPP_FLAG }CPP_COMMA)

#define ACLS
#define FLAGDEFINED