如何使用Clang获取单个cpp文件的AST？

Question

我知道在没有头文件的情况下，C++语言并不是上下文无关的，因此翻译可能不会完全准确。

以经典的“AB（C）;”为例，它可以被识别为函数声明或对象定义。对我来说，两者都可以接受。我只需要将整个文件解析完整。

我对代码的语义分析不感兴趣，只对语法分析感兴趣。据我所知，clang的语法规则是最好的之一。

问题在于，在某些情况下，当clang不知道类型时，它会避免一些声明，尽管我认为它可以正确解析。

请看以下示例。class.cpp的内容如下：

  A::A() { }

  A::~A() { }

  void A::B() { }

  A::C() { }

执行clang命令行应用程序：

$ clang -Xclang -ast-dump -fsyntax-only class.cpp

它只是将构造函数和最后一个方法识别为AST节点。

 typedef char *__builtin_va_list;

 int A() (CompoundStmt 0x9a6a570 <class.cpp:3:8, col:10>)

 int C() (CompoundStmt 0x9a6a600 <class.cpp:9:8, col:10>)

有没有办法获取完整的AST树？

谢谢！

- rubarax

---

你需要AST还是tokens？也就是说，你需要做什么？ - Eugene

@Eugene：我们如何获取令牌信息？ - ConsistentProgrammer

Answer 1

我不确定这是否是您需要的：

test.cpp:

class A {
    A();
    ~A();
    void B();
    void C();
};

A::A() {}
A::~A() {}
void A::B() {}
void A::C() {}

要转储抽象语法树，请使用： clang -Xclang -ast-dump -fsyntax-only test.cpp

TranslationUnitDecl 0x204f150 <<invalid sloc>> <invalid sloc>
|-TypedefDecl 0x204f690 <<invalid sloc>> <invalid sloc> implicit __int128_t '__int128'
|-TypedefDecl 0x204f6f0 <<invalid sloc>> <invalid sloc> implicit __uint128_t 'unsigned __int128'
|-TypedefDecl 0x204fab0 <<invalid sloc>> <invalid sloc> implicit __builtin_va_list '__va_list_tag [1]'
|-CXXRecordDecl 0x204fb00 <test.cpp:1:1, line:6:1> line:1:7 class A definition
| |-CXXRecordDecl 0x204fc10 <col:1, col:7> col:7 implicit class A
| |-CXXConstructorDecl 0x204fd10 <line:2:5, col:7> col:5 A 'void (void)'
| |-CXXDestructorDecl 0x2088cc0 <line:3:5, col:8> col:5 ~A 'void (void)'
| |-CXXMethodDecl 0x2088d90 <line:4:5, col:12> col:10 B 'void (void)'
| |-CXXMethodDecl 0x2088e50 <line:5:5, col:12> col:10 C 'void (void)'
| `-CXXConstructorDecl 0x2088f80 <line:1:7> col:7 implicit A 'void (const class A &)' inline noexcept-unevaluated 0x2088f80
|   `-ParmVarDecl 0x20890c0 <col:7> col:7 'const class A &'
|-CXXConstructorDecl 0x2089120 parent 0x204fb00 prev 0x204fd10 <line:8:1, col:9> col:4 A 'void (void)'
| `-CompoundStmt 0x2089218 <col:8, col:9>
|-CXXDestructorDecl 0x2089280 parent 0x204fb00 prev 0x2088cc0 <line:9:1, col:10> col:4 ~A 'void (void)'
| `-CompoundStmt 0x2089368 <col:9, col:10>
|-CXXMethodDecl 0x20893c0 parent 0x204fb00 prev 0x2088d90 <line:10:1, col:14> col:9 B 'void (void)'
| `-CompoundStmt 0x2089498 <col:13, col:14>
`-CXXMethodDecl 0x20894f0 parent 0x204fb00 prev 0x2088e50 <line:11:1, col:14> col:9 C 'void (void)'
  `-CompoundStmt 0x20895c8 <col:13, col:14>

- Konrad Kleine