5

我试图简化（通过）为 arity n的成员函数make_fn()预处理参数（通过）的仿函数的生成。 生成函子基本上是可行的，但直到现在只能通过显式指定成员函数的参数类型。 现在我想从它处理的成员函数类型生成正确的函子：wrap()

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、...）。
为了处理这些调用，我有一个按名称查找的仿函数映射，并将这些调用映射到某个实例的成员函数。
包装的目的是避免手动转换，而是生成为 me 或throw. 我有这个使用基于宏的解决方案，但该解决方案需要明确指定类型和参数计数。
通过函数重载解析，我希望从成员函数签名中隐式生成正确的转换函子。

4

1 回答 1

3

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

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

#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);
}

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

于 2009-10-10T20:28:11.957 回答