如何用Clang AST匹配器限定匹配特定结构体的成员访问？

要精准匹配S1、S2类型对member的访问，你需要在原有匹配器基础上，通过过滤成员访问的对象类型来缩小范围，覆盖值类型、指针类型（甚至引用类型）的场景。

最终匹配器代码 #

memberExpr(
    // 匹配名为"member"的成员
    member(hasName("member")),
    // 过滤成员访问的对象类型
    hasObjectExpression(
        expr(
            hasType(
                anyOf(
                    // 匹配S1/S2的值类型（对应.访问）
                    recordDecl(hasName("S1")),
                    recordDecl(hasName("S2")),
                    // 匹配S1/S2的指针类型（对应->访问）
                    pointerType(pointee(recordDecl(hasName("S1")))),
                    pointerType(pointee(recordDecl(hasName("S2")))),
                    // 如果代码中有引用类型的成员访问，可取消注释以下两行
                    // referenceType(pointee(recordDecl(hasName("S1")))),
                    // referenceType(pointee(recordDecl(hasName("S2"))))
                )
            )
        )
    )
)

关键逻辑说明 #

• hasObjectExpression：定位成员访问的对象部分（比如s.member里的s，ptr->member里的ptr），这是过滤类型的核心入口。
• hasType + anyOf：同时匹配S1/S2的多种类型形式——值类型对应.访问，指针类型对应->访问，按需添加引用类型的匹配规则即可覆盖更多场景。
• recordDecl(hasName("XXX"))：精准匹配结构体的声明名称，确保只有S1、S2类型的对象会被选中。

验证效果 #

应用这个匹配器后，目标代码中所有S1/S2的.member、->member访问都会被命中（共8处），S3类型的成员访问会被自动排除。

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