c++ - 为什么这个 Clang ASTMatcher 会导致错误的多态转换？

Question

我正在编写一个使用 clang 作为前端并匹配一些 AST 节点的工具。

我按如下方式创建 ASTMatcher:

void Rule_1_2_1::registerMatchers(MatchFinder *Finder)
{
    DeclarationMatcher Matcher = decl(hasType(builtinType().bind("non-typedef"))).bind("non-typedef-decl");
    Finder->addMatcher(Matcher, this);
}

void Rule_1_2_1::run(const MatchFinder::MatchResult &Result)
{
    if (const BuiltinType *type = Result.Nodes.getNodeAs<BuiltinType>("non-typedef")) {
        if (!type->isFloatingPoint() && !type->isInteger())
            return;
        if (const Decl *decl = Result.Nodes.getNodeAs<Decl>("non-typedef-decl")) {
            DiagnosticsEngine &DE = Result.Context->getDiagnostics();
            Context->report(this->CheckerName, this->ReportMsg, DE, decl->getLocStart(), DiagnosticIDs::Note);
        }
    }
}

但是编译器给我以下错误:

/usr/include/clang/ASTMatchers/ASTMatchersInternal.h: In instantiation of ‘clang::ast_matchers::internal::PolymorphicMatcherWithParam1<MatcherT, P1, ReturnTypesF>::operator clang::ast_matchers::internal::Matcher<From>() const [with T = clang::Decl; MatcherT = clang::ast_matchers::internal::matcher_hasType0Matcher; P1 = clang::ast_matchers::internal::Matcher<clang::QualType>; ReturnTypesF = void(clang::ast_matchers::internal::TypeList<clang::Expr, clang::TypedefNameDecl, clang::ValueDecl>)]’:
../src/modules/gjb/Rule_1_2_1.cpp:18:81:   required from here
/usr/include/clang/ASTMatchers/ASTMatchersInternal.h:1104:5: Error：static assertion failed: right polymorphic conversion
     static_assert(TypeListContainsSuperOf<ReturnTypes, T>::value,
     ^~~~~~~~~~~~~

我知道我不熟悉 Clang ASTMatcher，文档可能不是很详细。

为什么会出现这个错误？

第18行是Matcher定义的那行。

Answer 1

我将此作为答案发布，因为评论太长了，但这只是对您问题的猜测，而不是确定的解决方案。

错误看起来像是在编译匹配器时发生的，而不是在应用它时发生的。这意味着您滥用了 API，而不是它与您的代码中的任何内容都不匹配。 AST 匹配器 API 会检查您是否未执行无意义的操作，例如过滤可能根本不存在的属性。

在您的例子中，您正在寻找具有某种类型的声明。但是询问一个声明它的类型是什么并不一定有意义。 Decl Clang 中的类是整个声明层次结构的根，包括 EmptyDecl 之类的东西(仅表示语句上下文外的单个分号)和 StaticAssertDecl ( static_assert )，两者都没有类型。

每个节点匹配器都有关于它产生的节点的类型信息。每个缩小匹配器都有关于它适用于哪些节点的信息。在编译时检查它们是否兼容。

错误消息中有趣的部分不是不幸的模糊消息，而是 static_assert 条件本身和事件参数替换列表。

TypeListContainsSuperOf<ReturnTypes, T>::value是条件，即“类型列表必须包含一个类型，该类型是 T 的父类(super class)型”。

但是T是什么，类型列表包含什么？错误消息说:“In instantiation of with ”然后列出替换。在那里我们了解到:

• T = clang::Decl
• MatcherT = clang::ast_matchers::internal::matcher_hasType0Matcher
• ReturnTypesF = void(clang::ast_matchers::internal::TypeList<clang::Expr, clang::TypedefNameDecl, clang::ValueDecl>)

ReturnTypes没有直接列出，但很明显它指的是ReturnTypesF的参数类型，即 TypeList在那里。

这告诉我们以下事情:

• decl()匹配器产生 clang::Decl节点。
• 我们目前正在验证的匹配器是 hasType()匹配器。
• hasType()匹配器可以在任何 clang::Expr 上工作, clang::TypedefNameDecl , 和 clang::ValueDecl .

但是Decl是 TypedefNameDecl 的父类(super class)型和 ValueDecl ，而不是相反，与Expr无关.这意味着静态断言失败。 decl()匹配器不会产生 hasType() 的节点可以一起工作。

根据您的确切目标，使用 valueDecl()相反可能会起作用。