基于Clang Tooling：将输出参数替换为返回值并移除临时变量

核心转换1：修改encode调用形式 #

将encode(in, out);转换为out = encode(in);，可按以下步骤实现：

• 检测逻辑

  • 遍历AST找到CallExpr节点，确认被调用函数名是encode且参数数量为2
  • 验证第二个参数是可修改的左值（如DeclRefExpr引用非const变量）
  • 检查是否存在单参数的encode重载，且其返回值类型与第二个参数的类型兼容（可通过Clang的Sema组件做类型匹配检查）

• 转换操作

  1. 从原CallExpr中提取第一个实参表达式
  2. 构造仅包含该实参的新CallExpr节点（调用单参数encode）
  3. 构造赋值操作符节点（BinaryOperator，赋值类型为BO_Assign），左操作数为原第二个参数，右操作数为新CallExpr
  4. 使用Clang的Rewriter将原调用语句替换为新的赋值语句

核心转换2：移除冗余临时变量 #

将包含临时变量的函数实现简化为直接返回encode调用，检测与转换逻辑如下：

• 检测逻辑

  • 在FunctionDecl的函数体中，找到满足以下条件的节点序列：
    1. 存在VarDecl节点，声明一个默认初始化的临时变量（如std::string res;）
    2. 紧随其后的是CallExpr节点，调用encode且第二个参数为该临时变量
    3. 该临时变量在encode调用后没有其他修改或额外引用操作
    4. 函数的ReturnStmt直接返回该临时变量
  • 确认单参数encode的返回值类型与临时变量类型一致

• 转换操作

  1. 通过Rewriter删除临时变量的声明语句
  2. 删除原encode调用语句
  3. 修改ReturnStmt的表达式为单参数encode的调用节点（传入原encode的第一个实参）

Clang AST遍历与操作关键要点 #

• 使用RecursiveASTVisitor实现AST遍历，重点监听FunctionDecl、VarDecl、CallExpr、ReturnStmt类型的节点
• 利用ParentMap获取节点上下文，判断CallExpr是否为独立语句、ReturnStmt的返回对象是否为目标临时变量
• 借助Sema组件完成函数重载查找、类型兼容性验证，避免转换后出现编译错误
• 使用Rewriter执行代码修改时，注意保留原代码的格式（如缩进、换行），提升转换后代码的可读性

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