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检查您是否做了没有意义的事情，比如过滤甚至可能不存在的属性。

在您的情况下，您正在寻找具有某种类型的声明。但要求声明其类型是什么并不一定有意义。 Clang中的Decl类是整个声明层次结构的根，包括EmptyDecl（表示语句上下文之外的单个分号）和StaticAssertDecl（static_assert之类的内容。），两者都没有类型。

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

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

TypeListContainsSuperOf<ReturnTypes, T>::value是条件，即＆＃34;类型列表必须包含T＆＃34;的超类型类型。

但是什么是T，类型列表包含什么？错误消息显示：＆＃34;在＆＃34;的实例化中然后列出替换。我们在那里了解到：

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和ValueDecl的超类型，而不是相反，与Expr无关。这意味着静态断言失败。 decl()匹配器不会生成hasType()可以使用的节点。

根据您的具体目标，使用valueDecl()可能会有效。

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

1 个答案: