如何将成员函数绑定到 C++14 中的对象

Question

我正在尝试将成员函数绑定到对象，同时保持参数打开。我知道我可以通过将其包装在 lambda 表达式（如 this）中来做到这一点，但我想使用 std::bind 和 std::placeholders 来做到这一点。

到目前为止，这是我所拥有的：

template <size_t _Num>
struct place_holder {};

namespace std {
  template <size_t _Num>
  struct is_placeholder<::place_holder<_Num>> : integral_constant<size_t, _Num> {};
}

namespace _binding_helper_ {
  template <size_t ... _Indices>
  std::tuple<place_holder<_Indices>...> get_placeholders(std::index_sequence<_Indices...>) {
      return std::make_tuple(place_holder<_Indices>()...);
  }
}

template <typename _Obj, typename _Func, typename ... _Args>
std::function<_Func(_Args...)> bind_function_to_object
    (_Func (_Obj::*func)(_Args...), _Obj & obj) {
    return std::bind(func, obj,
        _binding_helper_::get_placeholders(std::make_index_sequence<sizeof...(_Args)>{}));
}

创建 place_holders 的元组工作正常，但是当我在元组的元素上调用 std::is_placeholder::value 时，它​​们都是 0。如何为 _Num 的所有必需值初始化 place_holder<_num> 结构作为 std::placeholders？希望有一个简单的解决方法。任何帮助表示赞赏。谢谢！

Answer 1

占位符的编号从1 开始，而不是从0 开始。由于我提到的原因，我认为您的static_assert 中失败的是条件std::is_placeholder<place_holder<0>>{}。

另外，您将一个占位符元组传递给std::bind。相反，您应该直接传递占位符，即place_holder<Is + 1>{}...。

template <int Num>
struct place_holder {};

namespace std 
{
    template <int Num>
    struct is_placeholder<::place_holder<Num>> : integral_constant<int, Num> {};
}

template <typename Obj, typename C, typename Func, typename... Args, int... Is>
std::function<Func(Args...)> bind_function_to_object(Func(C::*func)(Args...), Obj&& obj, std::integer_sequence<int, Is...>)
{
    return std::bind(func, std::forward<Obj>(obj), place_holder<Is + 1>{}...);
}

template <typename Obj, typename C, typename Func, typename... Args>
std::function<Func(Args...)> bind_function_to_object(Func(C::*func)(Args...), Obj&& obj)
{
    return bind_function_to_object(func, std::forward<Obj>(obj), std::make_integer_sequence<int, sizeof...(Args)>{});
}

DEMO