如何自动化重构需新增参数的多调用C++函数？

我有一个函数f(MyType a, b)，希望将其修改为f(MyType a, b, c)。问题在于f被g()、h()、i()等多个函数调用，而这些函数又被更多函数调用，我需要将新参数int c逐层传递到所有相关函数中，以便它们能传递给f()。

当前代码示例：

int f(TypeA a, TypeB b);

int g(TypeA a, TypeB b) { 
    f(a, b);
}

int r(TypeA a, TypeB b) {
    g(a, b);
}

期望修改为：

int f(TypeA a, TypeB b, TypeC c);

int g(TypeA a, TypeB b, TypeC c) { 
    f(a, b, c);
}

int r(TypeA a, TypeB b, TypeC c) {
    g(a, b, c);
}

请问如何自动化完成此操作？是否有我未考虑到的更优雅的解决方案？

全局可变状态不可取，我曾考虑过创建带setter和getter的单例类以避免副作用，但MyType已在大量场景中使用，重构成本过高。

一、自动化完成参数传递的方法 #

1. IDE原生重构工具 #

主流IDE都支持参数批量添加与自动传递的重构功能，这是最高效的方式：

• CLion/IntelliJ IDEA：右键函数f，选择「Refactor」→「Change Signature」，添加新参数TypeC c，勾选「Update references」和「Update call sites」，IDE会自动遍历整个调用链，给g、r等所有上层函数添加参数并完成传递。
• Visual Studio：右键函数f，选择「Refactor」→「Add Parameter」，输入参数类型和名称后，选择需要更新的调用位置，工具会自动处理所有层级的函数签名和调用代码。
• VS Code（C/C++插件）：使用「Change Signature」重构功能，步骤类似上述IDE，可自动识别调用链并批量修改。

2. 脚本/静态分析工具辅助 #

如果IDE重构覆盖不全（比如跨文件调用链），可以用以下方式：

• 语法感知的正则替换：避免直接用简单正则匹配，使用libclang等工具解析代码语法，精准匹配函数定义和调用语句，批量替换添加参数。例如用Python脚本遍历代码文件，识别所有调用f或被调用链关联的函数，自动修改签名和调用参数。
• Clang-Tidy自定义规则：编写Clang-Tidy规则，自动识别需要添加c参数的函数调用链，批量完成代码修改。

二、更优雅的替代方案 #

1. 封装参数为结构体 #

如果后续可能继续新增参数，把相关参数封装成上下文结构体，从根源上避免逐层修改函数签名：

typedef struct {
    TypeA a;
    TypeB b;
    TypeC c;
} FuncContext;

int f(FuncContext ctx);

int g(FuncContext ctx) { 
    f(ctx);
}

int r(FuncContext ctx) {
    g(ctx);
}

若原有调用量极大，可保留旧函数作为兼容层，逐步迁移：

// 兼容旧调用
int f(TypeA a, TypeB b) {
    FuncContext ctx = {a, b, DEFAULT_C_VALUE};
    return f(ctx);
}

2. 闭包/函数对象（C++场景） #

如果是C++代码，可通过lambda捕获参数，避免修改中间函数的签名：

void f(TypeA a, TypeB b, TypeC c) { /* ... */ }

// 上层函数接收闭包，无需感知c参数
void g(TypeA a, TypeB b, std::function<void(TypeA, TypeB)> callback) {
    callback(a, b);
}

// 调用时捕获c，直接传递给f
void r(TypeA a, TypeB b, TypeC c) {
    g(a, b, [c](TypeA a, TypeB b) { f(a, b, c); });
}

3. 依赖注入（大型项目） #

如果是大型项目，可引入依赖注入框架，将TypeC实例注入到需要调用f的函数中，无需手动逐层传递参数。但此方案适合原本已使用DI的项目，新项目引入成本较高。

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