使用 Boost/Wave C/C++ 预处理器的选择性宏扩展

Question

对于 C99 代码库，我非常依赖宏来代替适当的 C++ 模板。对于我的用例，宏最严重的缺点是很难/不可能调试生成的代码，这很多。如果我可以创建一个自定义预处理器，该预处理器仅将一组白名单宏扩展为中间构建步骤，那就太好了。我想知道是否可以使用 Boost 库中的 Wave 预处理器来做到这一点。我正在浏览文档，但老实说，我还不清楚这是否可能。

1) 从概念上讲，我想实现以下目标：

foo.c => selective_wave_preprocessor(MACRO_BAR, MACRO_BAZ) => foo.c_preprocessed

所以在这种情况下，foo.c_preprocessed 将是 ONLY 在foo.c 中扩展（类似函数）宏的MACRO_BAR 和MACRO_BAZ 的结果。如果我在foo.c 和foo.c_preprocessed 上运行普通的预处理器，那么输出必须是相同的。

2) 我希望看到标记为白名单的多行宏实际上是用换行符格式化的，这样它仍然是人类可读的。

我希望有人能告诉我 Wave 预处理器是否是执行此操作的正确工具。如果是这样，我会很高兴看到一个关于如何执行此类操作的示例，或者为我指出完成此操作所需的正确 Wave 原语。

Answer 1

您可以使用 Boost.Wave 实现第一个，并且至少部分实现第二个。关键功能是context policy hooks，尤其是expanding_function_like_macro、expanding_object_like_macro 和rescanned_macro。前两个使您能够有条件地抑制宏扩展，最后一个为您提供宏扩展的结果。

Jonathan Leffler 指出了您的第二个要求可能无法完全满足的一个原因；我要补充一点，我不确定“换行保留”是否是 Wave 具有测试覆盖率或旨在实现的东西。无论如何，rescanned_macro 会给你扩展的结果。