为何ast-grep/Tree-sitter处理C++ compound_statement时最后一条语句被忽略？

问题重现 #

在使用ast-grep处理C++代码时，尝试捕获构造函数复合语句内部的所有内容时，最后一条语句始终被遗漏：

测试C++代码：

A::A()
  : base::Class(a, b, c) { 
     a;
     b;
     c;
  }

基础测试规则：

id: testbase_initializer
language: CPP
rule:
  pattern:
    selector: compound_statement
    context: "A::A() : foo() { $$$BODYSTUFF }"
fix: |-
  {
    f();
    $$$BODYSTUFF;
  }

此时$$$BODYSTUFF仅捕获到a;b;，c;未被包含。

完整业务规则（意图将基类初始化移至函数体）：

id: testbase_initializer
language: CPP
rule:
  pattern:
    selector: compound_statement
    context: "A::A() : foo() { $$$BODYSTUFF }"

  follows:
    kind: field_initializer_list
    has:
      pattern: 
        selector: field_initializer
        context: "A::A() : TestBase($NAME, $DETAILS, $ID) { }"
fix: |-
  { 
    setName($NAME);
    setId($ID);

    $$$BODYSTUFF
  }

问题原因 #

这是由于ast-grep的上下文（context）匹配语法与C++复合语句的AST结构不兼容导致的：

• C++的compound_statement在AST中是一个包含statements子节点的结构，所有内部语句都属于这个序列。
• 当使用context: "A::A() : foo() { $$$BODYSTUFF }"时，ast-grep会将{和}之间的内容按“语句序列+结束边界”拆分，错误地将最后一条语句视为复合语句结束的一部分，没有纳入$$$BODYSTUFF的捕获范围。

修复方案 #

放弃上下文模式，改用直接捕获复合语句的statements子节点来获取所有内部语句，修改后的规则示例：

id: testbase_initializer
language: CPP
rule:
  all:
    - pattern: "A::A() : TestBase($NAME, $DETAILS, $ID) { $$$BODY }"
    - has:
        selector: compound_statement
        capture:
          BODY: statements
fix: |-
  { 
    setName($NAME);
    setId($ID);

    $$$BODY
  }

通过capture: { BODY: statements }直接绑定复合语句的所有子语句序列，即可完整捕获包括最后一条在内的所有语句。

内容的提问来源于stack exchange，提问作者Johannes Schaub - litb