clang-tidy自定义Monadic替换后，如何重新解析表达式实现AST冒泡替换？

不需要重新解析替换后的代码，Clang的AST框架本身就支持在原语法树基础上完成增量修改和冒泡式的递归替换，核心思路如下：

1. 精准识别目标调用表达式 #

遍历AST时定位符合条件的CallExpr节点：

• 检查调用的被调用者（callee）是否是你指定的目标符号（比如f）
• 验证调用的参数（此处为x）的类型属于你定义的monadic类型——可以通过QualType直接匹配，或者检查类型是否带有预设标记（比如特定属性、基类、自定义traits）

2. 构造替换后的AST节点 #

一旦识别出f(x)，直接用Clang的ASTContext生成新的CallExpr节点：

• 新调用的被调用者是原参数x的表达式节点
• 新调用的参数是原被调用者f的表达式节点
• 提前验证x的类型存在匹配的operator()重载：通过LookupQualifiedName查找该类型的成员函数，确认参数类型与f的类型兼容

3. 冒泡替换的递归/迭代处理 #

替换完成后无需重新解析，通过向上遍历父节点实现冒泡逻辑：

• 每次替换当前CallExpr后，获取其父节点
• 如果父节点也是CallExpr，且符合替换条件（被调用者是指定符号、参数为刚替换后的monadic类型对象），则重复替换流程
• 采用深度优先遍历：先处理最内层表达式，再处理外层，这样外层节点看到的已经是替换后的子节点，可直接检查是否需要进一步替换

举个实际流程例子：

原表达式：g(f(x))

1. 先处理内层f(x)，替换为x(f)，此时父节点变为g(x(f))
2. 检查g(x(f))：被调用者是指定的g，参数x(f)的类型是目标monadic类型，符合替换条件
3. 替换g(x(f))为x(f)(g)，完成冒泡

4. 用Rewriter应用代码修改 #

构造好新AST节点后，通过Clang的Rewriter工具将修改同步到源文件：

• 定位原CallExpr在源文件中的起止位置
• 生成新表达式的代码文本：可以通过ASTContext的PrintingPolicy打印新节点，或手动构造语法正确的字符串
• 调用Rewriter::ReplaceText完成替换

关键注意事项 #

• 标记已处理节点：用AST节点指针作为key存入集合，避免重复处理或循环替换
• 处理类型细节：覆盖const、引用、模板实例化等场景，确保operator()重载匹配正确
• 验证替换合法性：构造新节点前，通过ASTContext检查类型兼容性，避免生成编译错误的代码

内容的提问来源于stack exchange，提问作者lorro