如何匹配不含children的路由叶子节点？现有ast-grep规则失效原因排查

需求：匹配所有不含children属性的路由叶子节点（即同时包含path、name、component字段，但没有children字段的路由对象）。

我尝试了以下ast-grep规则，但未生效，请问原因是什么？

规则代码：

rule:
  kind: object
  all:
    - kind: property_identifier
      regex: ^path$
    - kind: property_identifier
      regex: ^name$
    - kind: property_identifier
      regex: ^component$
  not:
    kind: property_identifier
    regex: ^children$

期望匹配的路由数据：

routes = [
  {
    path: '/home',
    name: 'home',
    component: HomeComponent,
  },
  // 属于叶子节点
  {
    path: '/detail-a',
    name: 'DetailA',
    component: () => import('./DetailA'),
    meta: {},
  },
  {
    path: '/detail-b',
    name: 'DetailB',
    component: () => import('./DetailB'),
  },
  // 属于叶子节点
  {
    path: '/order-a',
    name: 'OrderA',
    component: () => import('./OrderA'),
    meta: {},
  },
  {
    path: '/order-b',
    name: 'OrderB',
    component: () => import('./OrderA'),
    meta: {},
  },
]

规则失效的关键原因 #

你的规则逻辑存在两个明显问题：

1. all条件的匹配逻辑错误：all数组里的三个property_identifier规则，是要求当前的object节点本身同时满足这三个标识符规则——也就是让对象既是path、又是name、还是component，这显然不符合AST结构，因为对象是父节点，path/name是它的子属性节点。
2. not条件的作用范围错误：同样，not里的规则是针对object节点本身，而不是检查对象是否包含children属性。它会排除那些本身是children标识符的节点，而不是排除带有children属性的对象。

修正后的正确规则 #

要实现需求，需要用has来检查对象的子属性，正确的规则如下：

rule:
  kind: object
  all:
    - has:
        kind: property
        key:
          kind: property_identifier
          regex: ^path$
    - has:
        kind: property
        key:
          kind: property_identifier
          regex: ^name$
    - has:
        kind: property
        key:
          kind: property_identifier
          regex: ^component$
  not:
    has:
      kind: property
      key:
        kind: property_identifier
        regex: ^children$

规则说明 #

• 每个has块负责验证对象下存在指定的属性：比如第一个has会检查对象里有一个键为path的属性。
• not块中的has用于排除带有children属性的对象，确保只匹配叶子节点。

修改后，就能精准匹配所有符合要求的路由叶子节点了。

内容的提问来源于stack exchange，提问作者Peigoz