Question

我正在玩C ++ 14 lambdas（一般来说只是lambdas）我有一个函数（管道）我正在尝试编写。前提是它需要一个单位lambda和一组一元lambda然后它将在单元上运行并产生一个新单元发送到管道中的下一个单元，直到你通过最后一个lambda并返回最后一个单元。我目前的代码是：

auto pipeline = [](auto u, auto callbacks[]){
  for(int i = 0; i<sizeof(callbacks)/sizeof(callbacks[0]);i++){
     u = bind(u,callbacks[i]);
  }
  return u;
};

当前的问题是，铿锵声正在回击阵列说：

testFuture.cpp:183:111: error: no matching function for call to object of type 'func::<lambda at ./func.hpp:30:19>'
  cout<<"pipeline(unit(10),{addf(4),curry(mul,2)}):"<<bind(unit(bind(unit(10))(addf(4))))(curry(mul,2))<<"|"<<pipeline(unit(10),{{addf(4),curry(mul,2)}})()<<endl;
                                                                                                              ^~~~~~~~
./func.hpp:30:19: note: candidate template ignored: couldn't infer template argument '$auto-0-1'
  auto pipeline = [](auto u, auto callbacks[]){
                  ^
1 error generated.

使用lambdas这是不可能的吗？我是否需要掏出std::function？我只是以错误的方式解决这个问题吗？

Answer 1

退后一步，你试图在一系列值上执行（左）折叠。因为在C ++中，每个闭包都有一个唯一的类型，所以你想在元组上进行折叠，而不是数组。作为额外的好处，我们将更加通用并接受具有任何返回类型的仿函数，如果例如我们不能我们使用std::function来模拟箭头类型。

#include <utility>      // std::forward, std::integer_sequence
#include <type_traits>  // std::remove_reference_t
#include <tuple>        // tuple protocol, e.g. std::get, std::tuple_size

namespace detail {

template<typename Functor, typename Zero, typename Tuple, typename Int>
Zero foldl(Functor&&, Zero&& zero, Tuple&&, std::integer_sequence<Int>)
{ return std::forward<Zero>(zero); }

template<typename Functor, typename Zero, typename Tuple, typename Int, Int Index, Int... Indices>
decltype(auto) foldl(Functor&& functor, Zero&& zero, Tuple&& tuple, std::integer_sequence<Int, Index, Indices...>)
{ return detail::foldl(
        functor
        , functor(std::forward<Zero>(zero), std::get<Index>(std::forward<Tuple>(tuple)))
        , std::forward<Tuple>(tuple)
        , std::integer_sequence<Int, Indices...> {}); }

} // detail

template<typename Functor, typename Zero, typename Tuple>
decltype(auto) foldl(Functor&& functor, Zero&& zero, Tuple&& tuple)
{
    return detail::foldl(
            std::forward<Functor>(functor)
            , std::forward<Zero>(zero)
            , std::forward<Tuple>(tuple)
            , std::make_index_sequence<std::tuple_size<std::remove_reference_t<Tuple>>::value>()
            );
}

你没有告诉我们bind应该达到什么目的，但here’s an example涉及功能的逆向组合。（包括integer_sequence和朋友的有限实施，因为它们似乎在Coliru上不可用 - 类型特征也缺少别名。）

使用lambda参数数组

1 个答案: