时间戳

首页 > 解决方案 > 确定成员调用在 Clang AST 中是否是虚拟的

clang - 确定成员调用在 Clang AST 中是否是虚拟的

问题描述

我想编写一个分析器，virtual通过查看 C++ AST（的输出-ast-dump）来计算函数调用，但我很难确定哪些函数调用是virtual，哪些不是。这是一段示例代码：

struct A {
    A() {}
    virtual int foo() { return 0; }
};
struct B : public A {
    B() {}
    //virtual int foo() { return 3; }
};

struct C : public B {
    C() {}
    virtual int foo() { return 1; }
};

int test(C* c) { 
    return c->foo() + c->B::foo() + c->A::foo();
}

在我最初的实现中，我只是检查被调用的函数是否正在virtual使用expr->getMethodDecl()->isVirtual()，但是（据我所知）调用 in c->B::foo()and c->A::foo()are not 实际上virtual，因此询问被调用的函数是否是virtual.

当我从这段代码中转储 AST 时，我得到以下树test：

`-FunctionDecl 0x1d33620 <line:19:1, line:21:1> line:19:5 test 'int (C *)'
  |-ParmVarDecl 0x1d33558 <col:10, col:13> col:13 used c 'C *'
  `-CompoundStmt 0x1d339f0 <col:16, line:21:1>
    `-ReturnStmt 0x1d339e0 <line:20:5, col:47>
      `-BinaryOperator 0x1d339c0 <col:12, col:47> 'int' '+'
        |-BinaryOperator 0x1d338a8 <col:12, col:33> 'int' '+'
        | |-CXXMemberCallExpr 0x1d33778 <col:12, col:19> 'int'
        | | `-MemberExpr 0x1d33748 <col:12, col:15> '<bound member function type>' ->foo 0x1d31c80
        | |   `-ImplicitCastExpr 0x1d33730 <col:12> 'C *' <LValueToRValue>
        | |     `-DeclRefExpr 0x1d33710 <col:12> 'C *' lvalue ParmVar 0x1d33558 'c' 'C *'
        | `-CXXMemberCallExpr 0x1d33848 <col:23, col:33> 'int'
        |   `-MemberExpr 0x1d33800 <col:23, col:29> '<bound member function type>' ->foo 0x1d02400
        |     `-ImplicitCastExpr 0x1d33888 <col:23> 'A *' <UncheckedDerivedToBase (A)>
        |       `-ImplicitCastExpr 0x1d33868 <col:23> 'B *' <UncheckedDerivedToBase (B)>
        |         `-ImplicitCastExpr 0x1d337d8 <col:23> 'C *' <LValueToRValue>
        |           `-DeclRefExpr 0x1d33798 <col:23> 'C *' lvalue ParmVar 0x1d33558 'c' 'C *'
        `-CXXMemberCallExpr 0x1d33978 <col:37, col:47> 'int'
          `-MemberExpr 0x1d33930 <col:37, col:43> '<bound member function type>' ->foo 0x1d02400
            `-ImplicitCastExpr 0x1d33998 <col:37> 'A *' <UncheckedDerivedToBase (B -> A)>
              `-ImplicitCastExpr 0x1d33908 <col:37> 'C *' <LValueToRValue>
                `-DeclRefExpr 0x1d338c8 <col:37> 'C *' lvalue ParmVar 0x1d33558 'c' 'C *'

从这个看，似乎UncheckedDerivedToBase演员正在标记函数调用非的地方virtual。总是这样吗？我是否应该始终将表单调用视为CXXMemberCallExpr (MemberExpr (ImplicitCastExpr<UncheckedDerivedToBase> e)))非virtual调用？是否有其他模式可以指示非virtual函数调用？有没有更可靠的方法来确定这个事实？

编辑：更多的调查表明上述假设UncheckedDerivedToBase是不够的。这段代码：

struct A {
    virtual int foo() { return 100; }
};
struct B : public A {
    virtual int foo() { return 10; }
};

int test(B* b) {
    return b->foo() + b->B::foo();
}

似乎为两个调用生成完全相同的 AST 节点（至少在控制台上无法区分），但是根据标准，如果b实际上是派生类，语义应该不同，例如C上面。

标签： clangclang++llvm-clang

解决方案

区别因素在于hasQualifier被MemberExpr调用对象。如果hasQualifier是true，那么函数调用是非virtual。

推荐阅读