Clang AST 将对 make_unique 的调用与特定的 class 匹配

Question

我正在尝试使用 clang 的 AST 匹配器来定位如下代码：

#include<memory>

namespace Demo {
    class Widget {};
}

int main () {
    auto w = std::make_unique<Demo::Widget>();
}

在 clang-query 中，我尝试了以下方法：

callExpr(callee(functionDecl(
  // including only this arg gives matches
  hasName("make_unique"),
  // adding this second arg produces zero matches
  hasTemplateArgument(0, refersToType(asString("Demo::Widget")))
)))

我也尝试过将 refersToType(...) 换成

refersToDeclaration(cxxRecordDecl(isSameOrDerivedFrom("Demo::Widget")))

这也给出了零匹配。我可以使用什么来定位对特定类型模板化的 std::make_unique 的调用？

Answer 1

通过模板参数的实际类型适用于 clang-10.0.0，

clang-query> match callExpr(callee(functionDecl(hasName("make_unique"),
                             hasAnyTemplateArgument(refersToType(hasDeclaration(
                                 namedDecl(hasName("Demo::Widget"))))))))

Match #1:

/tmp/test.cpp:8:18: note: "root" binds here
        auto w = std::make_unique<Demo::Widget>();
                 ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 match.

Answer 2

你需要refersToType(asString("class Demo::Widget")))

不幸的是，这不是很容易被发现。我在这里展示了一些工具来使它被发现：https://steveire.wordpress.com/2019/04/30/the-future-of-ast-matching-refactoring-tools-eurollvm-and-accu/ 但它还没有普遍可用。

Clang AST 将对 make_unique 的调用与特定的 class 匹配

Clang AST Match call to make_unique with specific class

c++

clang

abstract-syntax-tree

clang-ast-matchers