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

Why this Clang ASTMatcher cause wrong polymorphic conversion?

本文关键字：错误 多态 转换 Clang ASTMatcher 为什么      更新时间：2023-10-16

我正在编写一个使用 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 行是定义的匹配器行。

我将其作为答案发布，因为它太长而无法发表评论，但这只是对您的问题的猜测，而不是明确的解决方案。

该错误看起来像是在编译匹配器时发生的，而不是在应用匹配器时发生的。这意味着您滥用了 API，而不是它与代码中的任何内容都不匹配。AST 匹配器 API 检查您是否不执行毫无意义的事情，例如筛选甚至可能不存在的属性。

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

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

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

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

但是什么是T，类型列表包含什么？错误消息显示："在实例化 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和ValueDecl的超类型，而不是相反，与Expr无关。这意味着静态断言失败。decl()匹配器不会生成hasType()可以使用的节点。

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

相关文章：