如何使用Clang AST Matchers匹配连续语句？

要实现连续两个语句的匹配（如a()紧跟b(x)），核心是利用AST中连续语句同属一个CompoundStmt且为相邻兄弟节点的特性，结合你已有的aMatcher()和bMatcher()，可以通过两种可靠方式组合：

方式一：从目标后序语句反向匹配 #

直接定位b(x)调用，同时约束它的前一个兄弟节点正好是a()调用，且二者同属代码块：

auto consecutiveAB = bMatcher().bind("b_stmt")
  .hasPreviousSibling(aMatcher().bind("a_stmt"))
  .hasParent(compoundStmt());

• hasPreviousSibling：确保b_stmt的前一个直接兄弟节点完全匹配aMatcher
• bind("xxx")：为匹配到的节点命名，后续重构时可通过NodeFinder获取对应AST节点
• hasParent(compoundStmt())：过滤掉非代码块内的零散语句（通常连续语句都在代码块内）

方式二：从代码块层面正向匹配 #

直接匹配包含连续a()、b(x)语句的代码块：

auto consecutiveAB = compoundStmt(
  hasChildren(
    statementSeq(
      aMatcher().bind("a_stmt"),
      bMatcher().bind("b_stmt")
    )
  )
);

• statementSeq：专门用于匹配AST节点的连续子序列，确保a_stmt紧跟b_stmt出现
• 这种方式会捕获整个代码块，适合需要对整个代码块做批量处理的场景

关键注意事项 #

• 空白、注释不会影响匹配：Clang AST会忽略语法无关的空白和注释，只要代码逻辑上a()和b(x)连续，就能匹配
• 中间有其他语句则不匹配：如果a()和b(x)之间插入了变量声明、空语句等，AST中二者不再是相邻兄弟节点，匹配会自动失效，符合需求

内容的提问来源于stack exchange，提问作者Marc Mutz - mmutz