Clang LibTooling是目前C++源码解析为AST最可行、最稳定、生产级的方案，远优于手写词法/语法分析器；它提供完整语义解析、AST遍历与重写能力，需基于Clang 12+（推荐16+），链接clangTooling等库，并依赖CompilationDatabase正确处理多文件与编译选项。
用 Clang LibTooling 是目前最可行的路径
直接手写词法/语法分析器来处理 C++ 几乎不可行——C++ 的解析复杂度远超常规语言，宏、模板、SFINAE、依赖名查找等机制让自研 parser 容易在真实项目中崩溃或漏匹配。Clang 提供了稳定、完整、生产级的 AST 构建能力，且 LibTooling 接口专为源码转换设计，能保留原始格式（通过 clang::tooling::Replacement + clang::format::reformat），是工业级重构工具（如 clang-tidy、clang-modernize）的实际基础。
关键点：
- 必须基于 Clang 12+（推荐 16+），旧版本对 C++20 支持弱，
ASTMatcher行为不一致 - 不能用
libclang（C 接口），它只读、无修改能力；必须用 C++ 接口的LibTooling - 项目需链接
clangTooling、clangAST、clangRewrite等库，不是只加头文件就行 - 调试时优先启用
-Xclang -ast-dump查看真实 AST 结构，别靠猜
匹配目标代码要用 ASTMatchers 而不是正则
正则替换 auto → int 这类操作看似简单，但会误改字符串、注释、宏定义里的内容，更无法区分 auto x = foo(); 和 std::vector（后者 C++20 才合法）。正确做法是用 clang::ast_matchers 在语义层定位节点：
auto autoDeclMatcher = varDecl(hasType(qualType(isAuto()))).bind("autoVar");
常见陷阱：
-
varDecl()不匹配函数参数，要用parmVarDecl()单独写 - 模板内
auto可能被推导为引用类型，需用hasType(qualType(unless(isReference()))))过滤 - 匹配
for (auto& x : container)需组合forStmt()+rangeBasedForStmt()+declStmt()，不能只盯varDecl - 所有 matcher 必须注册到
MatchFinder并绑定唯一字符串 ID，否则run()回调里收不到结果
生成新代码必须用 ASTContext::getTranslationUnitDecl() + Rewriter
不能直接拼接字符串写入文件——那样会丢掉原始缩进、空行、注释位置，且无法处理跨文件宏展开。Clang 的 clang::Rewriter 是唯一安全方式：
步骤：
- 在
MatchCallback::run()中拿到const MatchResult &Result - 用
Result.Nodes.getNodeAs获取 AST 节点("autoVar") - 调用
Rewriter.ReplaceText(node->getLocation(), node->getTypeSourceInfo()->getTypeLoc().getSourceRange().getLength(), "int") - 所有替换完成后，调用
Rewriter.getEditBuffer(Rewriter.getSourceMgr().getMainFileID()).write(OutStream)
注意：
-
getLocation()返回的是声明起始位置，但getTypeSourceInfo()可能为空（比如模板实例化中未显式写出类型），必须判空 - 若要替换整个声明（含变量名和初始化），得用
node->getSourceRange()，但需小心是否包含换行符 - 重写后必须调用
clang::format::reformat(..., Rewriter.getSourceMgr(), ...)，否则格式混乱
处理多文件和编译选项必须用 CompilationDatabase
单个 .cpp 文件能编译，不代表能独立解析：头文件路径、宏定义、语言标准（-std=c++17）、系统头路径都影响 AST。硬编码 -I 或忽略 compile_commands.json 会导致 Cannot find include file 或模板解析失败。
正确加载方式：
- 生成
compile_commands.json：用cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=ON或bear --make - 代码中用
clang::tooling::JSONCompilationDatabase::loadFromFile()加载 - 传给
clang::tooling::ClangTool构造函数，不能跳过这步 - 若项目含预编译头（PCH），需额外设置
ClangTool.appendArgumentsAdjuster(clang::tooling::getClangStripOutputAdjuster())避免冲突
真实项目里，clang::tooling::ClangTool 的 run() 返回非零值通常意味着编译数据库路径错、某个文件被排除、或某条命令里用了 Clang 不支持的 GCC 扩展。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
