clang libtooling是构建c++上下文理解引擎的唯一实用路径，因其提供完整ast、语义分析与模板实例化支持，而正则或手写解析器无法应对c++高度上下文相关的语法特性。
Clang C++ API 是唯一实用路径
直接手写解析器或用正则/字符串分割处理 C++ 源码，根本得不到合规 AST——C++ 语法高度上下文相关（比如 foo<bar>(x)</bar> 可能是模板调用，也可能是比较加函数调用），连预处理、模板实例化、SFINAE 都绕不开。Clang 是目前唯一被广泛验证、持续维护、支持完整 C++ 标准的 AST 构建引擎。
关键不是“能不能”，而是“必须用 Clang 的 LibTooling 或 LibASTMatchers”：
- 不依赖完整编译器前端（如 GCC 的 libcpp）——它们不暴露稳定 C++ 接口
- 不能靠
libclang（C 接口）做深度 AST 遍历：它只读、不可修改、缺少语义信息（如类型绑定、模板参数推导结果） - 必须链接
clangTooling、clangAST、clangBasic等静态库，且需匹配 Clang 版本（例如 Clang 18 的头文件 + Clang 18 的 .a/.lib）
从字符串构建 AST 必须走 PrecompiledPreamble + ParseAST 流程
Clang 不接受裸字符串输入。你得模拟一次“内存中编译动作”：把字符串当源文件内容，构造虚拟文件系统和编译命令行。跳过这步直接喂字符串会触发 Assertion `FileID.isValid()' failed 或空 TranslationUnitDecl。
核心步骤如下：
- 用
llvm::MemoryBuffer::getMemBufferCopy()把字符串转为内存缓冲区 - 调用
FileManager::getVirtualFileRef()注册为虚拟文件（路径名任意，但必须以.cpp结尾，否则 Clang 不识别为 C++ 源） - 构造
std::vector<:string></:string>形式的编译参数：至少含"-x","c++","-std=c++17"（按需调整），**不能漏掉-fparse-all-comments（若需获取 Doxygen 注释节点）** - 用
CompilerInstance::createDiagnostics()初始化诊断器，否则 AST 构建中途报错就静默失败 - 最终调用
ParseAST(CompilerInstance::getSema(), false, true)—— 第三个参数为true表示启用完整的语义分析（否则只有词法+语法树，无类型、无符号解析）
AST 节点遍历别硬写 RecursiveASTVisitor，优先用 AST Matchers
手动继承 RecursiveASTVisitor 容易漏节点类型（比如忽略 CXXConstructExpr 和 CXXTemporaryObjectExpr 的区别），且无法跨作用域匹配（如“找所有在类 A 中定义、返回类型为 std::string 的 public 成员函数”）。AST Matchers 提供声明式语法，底层仍走同一套 AST，但安全性和表达力强得多。
典型误用：
- 写
functionDecl(hasReturnType(asString("std::string")))—— 失败，因为asString不处理模板参数；应改用hasReturnType(recordType(hasDeclaration(cxxRecordDecl(hasName("string"))))) - 对
varDecl()匹配未初始化变量时，忘了加unless(hasInitializer())，结果把int x = 42;也抓进来 - matcher 回调里调用
Node.getBeginLoc().print()崩溃 —— 因为位置信息依赖SourceManager，必须确保 visitor/matcher 生命周期内CompilerInstance未析构
AST 节点生命周期完全绑定 CompilerInstance，切勿跨 scope 保存 raw pointer
所有 AST 节点（FunctionDecl*、Stmt*、Expr*）都是 CompilerInstance 内存池分配的，一旦 CompilerInstance 对象销毁，所有指针立即悬空。常见崩溃现场：Segmentation fault (core dumped) 出现在 matcher 回调返回后、尝试访问已释放的 QualType 或 SourceRange。
安全做法只有两种：
- 所有分析逻辑在
run()（LibTooling 的 Action 入口）内完成，不传出节点指针 - 真要持久化，必须深拷贝语义信息：用
Node.getType().getAsString()存类型名，用Node.getNameAsString()存标识符，用Node.getSourceRange().getBegin().printToString(CI.getSourceManager())存位置字符串——而不是存const Type*或SourceLocation
Clang 的 AST 不是数据结构，是编译过程的瞬态快照。想把它当通用解析结果长期持有，本身就是反模式。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
