从成员函数指针类型生成函子

Question

我正在尝试简化（通过 make_fn()）生成对 arity 的成员函数预处理参数（通过 wrap()）的函子n.
生成函子基本上可以工作，但到目前为止只能通过显式指定成员函数的参数类型来实现。
现在我想从它处理的成员函数类型生成正确的函子：

struct X {};

template<class C, typename T1, bool (C::*F)(T1)>
inline // there are more for T1..TN
bool wrap(C* c, X x) 
{
    return (c->*F)(process<T1>(x));
}

template<class C, typename T1, bool (C::*F)(T1)> 
inline // there are more for T1..TN
boost::function<bool (C*, X)> make_fn(F f) // <- problem here, F is not a type
{
    return boost::bind(&wrap<C, T1, F>, _1, _2);
}

但是，有了这个， vc++ 和 g++ 不会将 F 视为 make_fn() 参数的类型。我一定错过了这里明显的一些东西，并且感觉有点盲目。

我们的想法是它应该像这样工作：

struct A 
{
    bool f1(bool) { return true; }
};

void test()
{
    A a;
    X x;
    make_fn(&A::f1)(&a, x);
}

关于如何使其工作有什么想法吗？

背景：
我有一个固定的接口，简化后看起来像这样：

bool invoke(C* c, const char* const functionName, int argCount, X* args);

X 是一个变体类型，我必须将其转换为某些后端类型（int、std::string、...）。
为了处理这些调用，我有一个函子映射，可以按名称查找并将这些调用映射到某个实例的成员函数。
包装的目的是避免手动转换，而是生成为我执行转换或抛出的函子。我使用基于宏的解决方案，但该解决方案需要明确指定类型和参数计数。
通过函数重载解析，我希望从成员函数签名隐式生成正确的转换函子。

Answer 1

在我看来，您正在尝试将传递给函数的指针转换为非类型模板参数，这恐怕行不通（请参阅对您问题的评论）。

您可以做的是将函数指针存储在函数对象中。以下内容似乎可以编译：

#include <boost/bind.hpp>
#include <boost/function.hpp>

struct X {};

template <class T>
bool process(X) { return true; }


template <class C, class T1, class Func>
struct wrap1
{
    typedef bool result_type;
    Func f;

    wrap1(Func f): f(f) {}

    bool operator()(C* c, X x)
    {
        return (c->*f)(process<T1>(x));
    }
};

template<class C, typename T1>
inline // there are more for T1..TN
boost::function<bool (C*, X)> make_fn(bool (C::*f)(T1))
{
    return boost::bind(wrap1<C, T1, bool (C::*)(T1)>(f), _1, _2);
}


struct A
{
    bool f1(bool) { return true; }
};

void test()
{
    A a;
    X x;
    make_fn(&A::f1)(&a, x);
}

但是，我不确定这是否有任何好处以及如何创建其余的包装器。对于后者，您可能只需要一个支持可变参数模板的编译器。 :)