能否利用C++模板自动映射结构体类型至函数参数并转发？

假设我们有如下上下文结构体和目标函数：

struct Ctx {
   TypeA a;
   TypeB b;
   TypeC c;
   TypeD d;
   TypeE e;
};

auto TestFunc(TypeA a, TypeB b, TypeC c, auto... args) -> result;

日常调用时需要重复书写ctx.提取成员，写法冗余：

TestFunc(ctx.a, ctx.b, ctx.c, args...);

希望自动生成如下包装函数，无需为每个类似函数手动编写：

auto TestFunc(Ctx& ctx, auto... args) -> result {
    return TestFunc(ctx.a, ctx.b, ctx.c, args...);
}

是否可以通过宏或泛型组合实现函数签名与结构体成员的自动映射？

可以通过宏或C++20及以上的模板元编程实现自动生成，两种方案各有适用场景：

1. 宏方案（简单直接，兼容旧标准） #

利用预处理器宏绑定结构体成员与函数参数，定义一个通用的包装生成宏，指定目标函数名、上下文类型和需要提取的成员即可：

#define WRAP_CTX_FUNC(FUNC_NAME, CTX_TYPE, ...) \
template<typename... Args> \
auto FUNC_NAME(CTX_TYPE& ctx, Args&&... args) -> decltype(FUNC_NAME(ctx.__VA_ARGS__..., std::forward<Args>(args)...)) { \
    return FUNC_NAME(ctx.__VA_ARGS__..., std::forward<Args>(args)...); \
}

// 使用示例：为TestFunc生成包装
WRAP_CTX_FUNC(TestFunc, Ctx, a, b, c)

这个宏会自动展开为目标包装函数，__VA_ARGS__接收需要从Ctx中提取的成员列表，完美匹配原函数的前置参数类型。

2. 模板元编程方案（类型安全，C++20+） #

如果追求类型安全且避免宏的局限性，可以用C++20的特性实现自动映射，核心是通过模板提取结构体成员并转发给原函数：

#include <tuple>
#include <utility>

// 辅助模板：提取结构体成员并转发
template<typename CtxType, auto... Members>
struct CtxWrapper {
    template<typename Func, typename... Args>
    static auto wrap(Func&& func, CtxType& ctx, Args&&... args) {
        return std::forward<Func>(func)(
            ctx.*Members..., 
            std::forward<Args>(args)...
        );
    }
};

// 生成包装函数的模板
template<typename Func, typename CtxType, auto... Members>
auto make_ctx_wrapper(Func&& func) {
    return [func = std::forward<Func>(func)](CtxType& ctx, auto&&... args) {
        return CtxWrapper<CtxType, Members...>::wrap(func, ctx, std::forward<decltype(args)>(args)...);
    };
}

// 使用示例：生成TestFunc的包装
auto wrapped_TestFunc = make_ctx_wrapper<decltype(&TestFunc), Ctx, &Ctx::a, &Ctx::b, &Ctx::c>(&TestFunc);

// 调用方式
wrapped_TestFunc(ctx, args...);

如果需要同名重载函数，可以结合模板推导和依赖查找实现，或用using声明导入包装逻辑。

注意事项 #

• 宏方案简单高效，但要注意重载函数的冲突问题，以及预处理器的语法限制。
• 模板方案类型安全，但依赖C++20及以上标准，写法相对复杂。
• 两种方案都需要明确指定要提取的Ctx成员——编译器无法自动推断原函数参数与结构体成员的对应关系，除非有统一命名规则（如参数名与成员名完全一致），此时可结合C++23的反射特性进一步优化。

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