我可以附加到预处理器宏吗？

Question

标准 C 或 GNU 扩展中是否有任何方法可以将内容附加到宏定义中？ 例如，给定一个定义为
的宏 #define List foo bar
我可以附加 bas 以便它 List 扩展，就像我定义它一样
#define List foo bar bas?

我希望我能做这样的事情：

#define List    foo bar bas

#define List_   Expand(List)
#undef List
#define List    Expand(List_) quux

但我不知道如何定义 Expand() 宏，这样它就会做我想要的事情。

动机： 我正在按照这些思路处理受歧视/标记的联合：

struct quux_foo { int x; };
struct quux_bar { char *s; };
struct quux_bas { void *p; };

enum quux_type {quux_foo, quux_bar, quux_bas};

struct quux {
    enum quux_type type;
    union {
        struct quux_foo foo;
        struct quux_bar bar;
        struct quux_bas bas;
    } t;
};

我认为这是 X 宏的好地方。如果我定义一个宏
#define quux_table X(foo) X(bar) X(bas)
枚举与结构可以这样定义，并且永远不会失去同步：

#define X(t) quux_ ## t,
enum quux_type {quux_table};
#undef X

#define X(t) struct quux_ ## t t;
struct quux {
    enum quux_type type;
    union {quux_table} t;
};
#undef X

当然， quux_* 结构可能会失去同步，所以我想做这样的事情，只是合法：（

struct quux_foo { int x; };
#define quux_table quux_table X(foo)

struct quux_bar { char *s; };
#define quux_table quux_table X(bar)

struct quux_bas { void *p; };
#define quux_table quux_table X(bas)

好吧，我真正想要做的是
member_struct（quux，foo）{ int x; };
但我很清楚宏不能从宏内部（重新）定义。）

无论如何，这是我的激励示例。有办法做到这一点吗？

Boost.Preprocessor 示例很好，如果您可以向我展示如何使 X 宏技术与该库一起使用。

Answer 1

我不确定这是否有帮助，但您可以执行 vari arg 宏。 x264 项目的 Conrad 先生喜欢滥用预处理器。如果它们听起来可能有帮助，您可以在此处了解更多信息

Answer 2

有办法！

使用新的 _Pragma 关键字，这可以在 gcc 中实现（尽管不能使用 msvc）。

如果您在其自己的定义中弹出一个宏，它将延迟其扩展，直到该宏第一次扩展为止。这允许您将其先前的扩展部分作为其自己的定义。然而，由于它在扩展过程中被弹出，所以只能使用一次

这里有一些示例代码来查看它的实际情况

#define pushfoo _Pragma("push_macro(\"foo\")") //for convenience
#define popfoo _Pragma("pop_macro(\"foo\")")

#define foo 1

pushfoo                           //push the old value
#undef foo                        //so you don't get a warning on the next line
#define foo popfoo foo , 2        //append to the previous value of foo

pushfoo
#undef foo
#define foo popfoo foo , 3

pushfoo
#undef foo
#define foo popfoo foo , 4


foo //this whole list will expand to something like popfoo foo popfoo foo popfoo foo , 4
    //which will in turn expand to 1 , 2 , 3 , 4

foo //the second time this will expand to just 1

这个选项应该使自动代码生成变得更加容易，尽管不幸的是仅在 gcc 上（也许 clang，还没有测试过）

说实话，我没有理由可以找到为什么这必须起作用，很可能是未定义的行为恰好起作用。我猜测原因是在弹出 foo 之后，当前正在扩展的宏不再与名称 foo 关联，这允许扩展符号 foo ，但这只是我的猜想

编辑：

之后在 clang 上测试，这个不在 clang 上工作。

我不知道为什么我认为 clang 不起作用，也许它在不同的机器上不起作用。我确实让它与给出的代码一起工作

Answer 3

实际上，不。

宏是延迟求值的。当您#define List_ Expand(List)时，其替换列表是四个标记Expand、(、List的序列代码>和<代码>）。没有任何方法可以将宏扩展为替换列表。

所有宏替换都在调用宏时发生。

我建议使用 Boost.Preprocessor 库来自动生成代码。这是一项工作，但您可以完成一些相当令人印象深刻的事情。它应该与C完全兼容。