解压缩ts . .到t1.a()， t1.b()， t1.a()， t1.b()，

Unpack ts... to t0.a(), t0.b(), t1.a(), t1.b(),

本文关键字：t1 ts 解压缩      更新时间：2023-10-16

我想以以下方式从一个可变参数函数调用另一个可变参数函数:

template <typename ...Ts>
void f(Ts const & ...) { /* ... */ }
template <typename ...Args>
void g(Args const & ...args)
{
  // shall call f(arg0.a(), arg0.b(), arg1.a(), arg1.b(), ...)
}

我是这样做的:

struct sentinel_t { };
template <typename Arg, typename ...Args>
void g_impl(Arg const & arg, Args const & ...args)
{
  g_impl(args..., arg.a(), arg.b());
}
template <typename ...Ts>
void g_impl(sentinel_t , Ts const & ...ts)
{
  f(ts...);
}
template <typename ...Args>
void g(Args const & ...args)
{
  g_impl(args..., sentinel_t{});
}

是否有其他/更好的方法来实现这个模式?

template <class... Args> void g(Args const &... args) {
  impl::apply([](auto const &... p) { f(p...); },
              std::tuple_cat(std::forward_as_tuple(args.a(), args.b())...));
}

在std::apply标准化之前，你可以用c++14(取自参考论文)制作你自己的非常简单的代码:

namespace impl {
template <typename F, typename Tuple, size_t... I>
decltype(auto) apply_impl(F &&f, Tuple &&t, std::index_sequence<I...>) {
  return std::forward<F>(f)(std::get<I>(std::forward<Tuple>(t))...);
}
template <typename F, typename Tuple> decltype(auto) apply(F &&f, Tuple &&t) {
  using Indices =
      std::make_index_sequence<std::tuple_size<std::decay_t<Tuple>>::value>;
  return apply_impl(std::forward<F>(f), std::forward<Tuple>(t), Indices{});
}
}

你可以这样做

namespace detail
{
    // dispatcher
    template <typename T>
    decltype(auto) call_a_b(std::integral_constant<std::size_t, 0u>, const T& arg) {return arg.a();}
    // dispatcher
    template <typename T>
    decltype(auto) call_a_b(std::integral_constant<std::size_t, 1u>, const T& arg) {return arg.b();}
    template <std::size_t... Is, typename Tuple>
    void call_f_a_b(std::index_sequence<Is...>, const Tuple& tuple)
    {
        f(call_a_b(std::integral_constant<std::size_t, Is % 2>{}, std::get<Is / 2>(tuple))...);
    }
}
template <typename...Ts>
void g(const Ts&... args)
{
    return detail::call_f_a_b(std::make_index_sequence<2 * sizeof...(Ts)>{}, std::tie(args...));
    // call f(arg0.a(), arg0.b(), arg1.a(), arg1.b(), ...)
}

现场演示

相关文章：