如何利用C++预处理器分离函数签名参数，生成正确的转发函数？

问题核心是预处理器展开__VA_ARGS__时，会完整保留参数的类型和名称（如int a），导致调用impl->func()时传入了带类型的参数，而非仅参数名。要解决这个问题，我们需要通过辅助宏提取参数列表中的名称部分。

实现步骤 #

1. 定义参数名提取宏：从单个type name格式的参数中剥离出参数名。
2. 批量处理参数列表：针对可变数量的参数，逐个提取名称并拼接成调用时的参数列表。
3. 修改转发函数宏：在调用impl->func()时使用提取后的参数名列表。

完整代码示例 #

#include <iostream>

// 辅助宏：从单个参数（type name）中提取参数名
#define ARG_NAME(arg) _ARG_NAME(arg)
#define _ARG_NAME(type name) name

// 辅助宏：批量处理多参数，生成仅含参数名的列表
// 支持最多2个参数，可根据需求扩展更多
#define EXPAND(...) __VA_ARGS__
#define APPLY_ARG_NAME_2(a, b) ARG_NAME(a), ARG_NAME(b)
#define APPLY_ARG_NAME_1(a) ARG_NAME(a)
#define APPLY_ARG_NAME_N(_1,_2,N,...) APPLY_ARG_NAME_##N
#define APPLY_ARG_NAME(...) EXPAND(APPLY_ARG_NAME_N(__VA_ARGS__,2,1)(__VA_ARGS__))

// 待生成的函数列表
#define FOR_EACH_FUNC(_) \
    _(int, add, int a, int b) \
    _(int, subtract, int a, int b)

// 生成转发函数的宏
#define FORWARD_FUNC(ret, func, ...) \
    ret func(__VA_ARGS__) { \
        return impl->func(APPLY_ARG_NAME(__VA_ARGS__)); \
    }

// 模拟库A的实现（实际由dlopen动态加载）
struct Impl {
    int add(int a, int b) { return a + b; }
    int subtract(int a, int b) { return a - b; }
};
Impl* impl = new Impl();

// 批量生成转发函数
FOR_EACH_FUNC(FORWARD_FUNC)

int main()
{
    int r1 = add(1, 2);
    int r2 = subtract(1, 2);
    std::cout << "add result: " << r1 << std::endl;
    std::cout << "subtract result: " << r2 << std::endl;
    return 0;
}

扩展说明 #

• 如果需要支持更多参数数量，只需继续添加APPLY_ARG_NAME_3、APPLY_ARG_NAME_4等宏，并更新APPLY_ARG_NAME_N的参数列表即可。
• 针对库B的实际场景，impl指针可通过dlopen和dlsym动态加载库A的实现，无需在编译时依赖库A的头文件和链接库，完全隔离第三方编译依赖。

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