如何简洁将成员函数绑定到同签名的扁平函数指针？

问题背景 #

我面对一个不可修改的接口结构：

struct Foo {
    static Foo* get() { static Foo foo; return &foo; }
    int (*func_ptr)(float, double);
    int func_impl(float x, double y) { return 0; }
};

需要把func_ptr绑定到get()返回的静态实例的func_impl方法上。目前的实现是：

Foo::get()->func_ptr = [](float x, double y) -> int {
    return Foo::get()->func_impl(x, y);
};

但这种写法需要重复参数类型和名称，不够简洁。查资料后得知无法直接将成员函数赋值给普通函数指针，但我觉得可以通过模板实现针对Foo::get()实例的特定绑定，这个思路是否可行？如果可行，该怎么写绑定函数？我尝试了以下代码，但模板推导报错，无法理解clang的错误信息：

template<typename TFuncPtr, typename TFuncImpl, typename... TArgs>
void BindImplToPtr(TFuncPtr ptr, TFuncImpl impl) {
    Foo::get()->(*ptr) = [](TArgs... args) -> int {
        return Foo::get()->(*impl)(args...);
    };
}

目标是通过单次调用完成绑定：

BindImplToPtr(&Foo::func_ptr, &Foo::func_impl);

解决方案 #

你的思路完全正确，确实可以通过模板自动推导参数类型，避免重复书写。你之前的代码问题在于模板参数TArgs无法自动推导，且对成员指针的语法处理有误。以下是修正后的实现：

正确的绑定函数模板 #

#include <type_traits>

template<typename Ret, typename... Args>
void BindImplToPtr(int (Foo::*ptr_member)(Args...), Ret (Foo::*func_impl)(Args...)) {
    Foo::get()->*ptr_member = [](Args... args) -> Ret {
        return (Foo::get()->*func_impl)(std::forward<Args>(args)...);
    };
}

调用方式 #

直接按你的目标调用即可：

BindImplToPtr(&Foo::func_ptr, &Foo::func_impl);

代码说明 #

1. 模板参数推导：通过指定成员指针的类型形式，让编译器自动推导返回值Ret和参数包Args，无需手动指定。
2. 成员指针语法：调用成员函数必须使用(对象指针->*成员指针)(参数)的语法，之前的代码错误地使用了(*impl)，这是针对普通函数指针的写法，不适用于成员函数指针。
3. 完美转发：使用std::forward<Args>(args)保证参数的右值/左值属性传递，避免不必要的拷贝。
4. Lambda兼容性：这里的Lambda没有捕获任何外部变量，符合普通函数指针的要求（无捕获Lambda可以隐式转换为对应签名的函数指针）。

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