我在哪里可以找到，或者如何创建一个优雅的 C++ 成员函数模板包装机制无需报告提升？

Question

我希望能够在成员函数上模板化一个类，而无需重复成员函数的参数——即自动派生它们。 如果我根据函数采用的参数数量来命名该类，我知道如何做到这一点，但我也想导出它。

像这样的东西，虽然这不起作用（至少在 MSVC 2008 sp1 中，这是我的目标编译器）：

class Foo {
  void func0();
  int func2(char *, float);
};

template<typename T> class Wrapper;

// specialize for zero-argument void func
template<typename Host, void (Host::*Func)()> class Wrapper<Func> : public Base {
  ... specialization goes here ...
};

// specialize for two-argument value func
template<typename Host, typename Ret, typename Arg0, typename Arg1, Ret (Host::*Func)(Arg0, Arg1)> class Wrapper<Func> : public Base {
  ... specialization goes here ...
};

通过“Base”，我可以多态地处理这些。 最后，我想用它来为脚本语言创建一个简单的包装语法：

WrapClass<Bar> wrap(
  MemberFunction<&Bar::func0>("func0") +
  MemberFunction<&Bar::func2>("func2")
  );

但是，这不起作用：专业化语法是错误的，因为您无法将函数指针与类型名参数相匹配。

Answer 1

我相信您需要采取一种特征方法，其中最常见的库是 boost ，但是如果您想避免 boost ，那么如果您将实现的范围限制为仅指向成员函数的指针以及您需要的特征（现代 C++ 设计 是一本解释该理论的好书）。 以下是我如何使用 boost 的 function_traits 和 enable_if 来做到这一点。

您可以使用通用模板参数，将其启用为函数指针，然后使用函数类型（或类型特征）来提取您需要的信息：

#include <boost/function_types/function_arity.hpp>
#include <boost/function_types/is_member_pointer.hpp>

template<typename T, class Enable = void> class Wrapper;

/* other specializations... */

// For member functions:
template <class T>
class Wrapper<T, typename enable_if<is_member_pointer<T> >::type>
{ /* function_arity<T>::value has the number of arguments */ };

请参阅 这个 和 这个

Answer 2

C++ 标准库提供了 mem_fun_ref ，它可以按照您想要的方式工作，尽管它仅适用于 null 和一元函数。 当然，您可以使用包含所有参数的结构作为一个参数。