std :: bind与可变参数模板，绑定的参数和占位符

Question

我正在编写一些代码，要求我能够使用std::bind绑定一个函数，并可能绑定某些参数，而另一些参数则用作占位符。

我有一堂课：

template <typename return_t,typename... args_t>
class signal_base<return_t(args_t...)>
{
    using slot_t = std::function<return_t(args_t...)>;
    using slot_id_t = std::size_t;
    /*other members...*/

    slot_id_t connect(slot_t const& slot)
    {
        slot_id_t out;
        {
            std::unique_lock<std::mutex> lk{_slots_mtx};
            _slots.emplace(_current_id,slot);
            out = _current_id++;
        }
        return out;
    }

    template<typename F, typename... a_t, std::size_t... I>
    slot_id_t attach(F&& f, a_t&&... args, index_sequence<I...> seq)
    {
        return connect(std::bind(&f,std::ref(args)..., placeholder_template<I>{}...));
    }
    template<typename F, typename... a_t>
    slot_id_t attach(F&& f, a_t&&... args)
    {
        return attach(std::forward<F&&>(f),std::forward<a_t&&>(args)..., make_index_sequence<sizeof...(args_t)>{});
    }
};

我有一个在这里使用占位符序列的想法，并且我正在使用index_sequence的C ++ 11版本。

我不断收到编译器错误：

/usr/local/include/signal_t.hpp:121:24: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void
      (const double &, int)>::attach<void (*)(example &, const double &, int), example &, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2> >' requested here
/usr/local/include/signal_t.hpp:121:24: note: (skipping 247 contexts in backtrace; use -ftemplate-backtrace-limit=0 to see all)
/usr/local/include/signal_t.hpp:121:24: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void
      (const double &, int)>::attach<void (*)(example &, const double &, int), example &, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2>,
      make_index_sequence<2> >' requested here
/usr/local/include/signal_t.hpp:121:24: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void
      (const double &, int)>::attach<void (*)(example &, const double &, int), example &, make_index_sequence<2>, make_index_sequence<2>, make_index_sequence<2> >'
      requested here
/usr/local/include/signal_t.hpp:121:24: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void
      (const double &, int)>::attach<void (*)(example &, const double &, int), example &, make_index_sequence<2>, make_index_sequence<2> >' requested here
/usr/local/include/signal_t.hpp:121:24: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void
      (const double &, int)>::attach<void (*)(example &, const double &, int), example &, make_index_sequence<2> >' requested here
main.cpp:25:9: note: in instantiation of function template specialization 'signals::(anonymous namespace)::signal_base<void (const double &, int)>::attach<void
      (*)(example &, const double &, int), example &>' requested here
    sig.attach(&example::boop,e);

我的编辑是：

Apple LLVM version 8.0.0 (clang-800.0.42.1)

我还尝试了刚刚卡住的gcc 6.3 。

我的主要：

struct example
{
    double data;

    static void boop(example& e, const double&v,int)
    {
        std::cout<<"boop";
    }
};

int main(int argc, char** argv)
{
    example e; //instance of the example
    signals::signal_t<void(const double&,int)> sig; //signal class that will call all attached listeners on emit()

    sig.attach(&example::boop,e); //attach example::boop with the first argument e, leaving the last two arguments as placeholders
    double d =0.0;
    sig.emit(d,0);//call with double and int
    return 0;
}

我已经在这里呆了几个小时了，似乎无法解释原因。 我尝试用C ++ 14标准版本替换index_sequence ，但没有区别。

这是我正在使用的完整index_sequence和is_placeholder实现（从我上面链接的帖子中借来的）：

    template <size_t... Ints>
    struct index_sequence
    {
        using type = index_sequence;
        using value_type = size_t;
        static constexpr std::size_t size() noexcept { return sizeof...(Ints); }
    };

    // --------------------------------------------------------------

    template <class Sequence1, class Sequence2>
    struct _merge_and_renumber;

    template <size_t... I1, size_t... I2>
    struct _merge_and_renumber<index_sequence<I1...>, index_sequence<I2...>>
      : index_sequence<I1..., (sizeof...(I1)+I2)...>
    { };

    // --------------------------------------------------------------

    template <size_t N>
    struct make_index_sequence
      : _merge_and_renumber<typename make_index_sequence<N/2>::type,
                            typename make_index_sequence<N - N/2>::type>
    { };

    template<> struct make_index_sequence<0> : index_sequence<> { };
    template<> struct make_index_sequence<1> : index_sequence<0> { };

template<int> // begin with 0 here!
struct placeholder_template
{};

namespace std
{
    template<std::size_t N>
    struct is_placeholder< placeholder_template<N> >
        : integral_constant<std::size_t, N+1> // the one is important
    {};
}

为什么make_index_sequence似乎扩展了很多倍，以至于超过了递归模板的深度？ 当sizeof...(args_2) == 2

Answer 1

在此功能中：

template<typename F, typename... a_t, std::size_t... I>
slot_id_t attach(F&& f, a_t&&... args, index_sequence<I...> seq);

a_t是非推导上下文，因为它是不是最后一个参数的参数包。 结果，推导失败并且您的函数无法被调用-因此您只是永远递归地调用自己，每次都附加相同的参数。

相反，请颠倒顺序。 将index_sequence作为第一个参数。