【发布时间】：2010-11-10 18:56:01
【问题描述】：
我们继承了一个非常复杂的项目 (500kloc)，其中包含 很多 预处理器条件逻辑，其中大部分不再相关，我想清理它。
我可以使用预处理器¹仅扩展 一些条件逻辑，而将所有其他预处理器宏、定义和包含单独留在输出中吗？
¹ 在这里，“预处理器”是指“任何工具”，可以是标准的 C 预处理器、我可以安装的东西，甚至是组合在一起的 Perl 或 Python 脚本。
例如，假设我们有这组代码：
#include <foo>
#define baz
#define bar(a) do{(a)+1} \
while(0)
#ifdef X
#if Y > 20
#if Z > 5
so_far_so_good = true;
#endif
#ifdef baz
something();
#endif
#else
otherthing();
#endif
#else
#if Z > 10
wow().this.is.bad;
#endif
#endif
我想要的工具（如果它不存在可能需要编写）将是一个 CPP 版本，它不仅接受特定调用的定义列表，还接受扩展期间要遵守的定义列表。不在第二个列表中的任何预处理器符号都将被完全保留。举个例子：
cpptreadlight -DY=22 --only=Y
会产生：
#include <foo>
#define baz
#define bar(a) do{(a)+1} \
while(0)
#ifdef X
#if Z > 5
so_far_so_good = true;
#endif
#ifdef baz
something();
#endif
#else
#if Z > 10
wow().this.is.bad;
#endif
#endif
和：
cpptreadlight -DY=22 -DZ=8 -DX --only=Y,baz,Z
会给我：
#include <foo>
#define bar(a) do{(a)+1} \
while(0)
#ifdef X
so_far_so_good = true;
something();
#else
#endif
请注意，即使定义了X，它也被留下了，因为它没有出现在--only 列表中。另请注意，baz 在 --only 列表中，因此在源中定义后被扩展。
我尝试了一个 hack 解决方案：使用如下管道转义无趣的东西（使用了我自己的 gsub 工具，但它可以满足您的期望）：
function escape_tr() {
gsub "#(define|include)" '@@@\1' < $1 |
(echo '#include "simple.h"' && gsub '\\$' "%%%") |
cpp -C -P -DY=301 -DZ > $1.new
}
现在我可以过滤掉很多东西，然后把我想让预处理器扩展的东西放在simple.h中。评论被单独留下，#line 指令被忽略。
这个几乎可以解决问题，因为包含没有被拉入，#define 块没有被定义，所以没有扩展到正文中。但当然它不允许我指定我想保留在输出中的条件逻辑集。那很糟。其中一些重要的是保持有条件的。
#if 嵌套，#else 和 #endif 标记在词法上不匹配，问题超出了正则表达式管道。我需要一个成熟的解析器，它实际上与 cpp 本身相同，但对扩展的内容有更细粒度的控制。
因此，在深入研究预处理器来实现这一点之前，我想我想问问是否有人以前解决过这个问题。我不能是唯一一个继承了一个装满枯枝的预处理器意大利面条巢的人。
【问题讨论】：
标签： c++ c c-preprocessor