c++ - 在可变参数模板中传递参数组

Question

可变参数模板对于执行递归操作非常有用。在这种情况下，我希望每个递归调用都对两个参数进行操作，这样我就不必重复调用同一个函数。为此，我可以这样写:

f() {}

template<typename M,
         typename N,
         typename... Rest>
f(M arg1, N arg2, Rest... rest)
{
    doStuff(arg1, arg2);
    f(rest);
}

那么我会这样调用它:

f(arg1a, arg1b,
  arg2a, arg2b,
  arg3a, arg3b);

但是，如果调用的格式不是很好，并且所有参数都在一行中，或者列在错误的位置拆分，则它变得非常不可读。如果调用可能包含十几对，则尤其如此。我试图通过要求传入一对参数包来解决这个问题。我希望必须像这样调用该函数:

f({arg1a, arg1b},
  {arg2a, arg2b},
  {arg3a, arg3b});

这似乎主要是失败的，因为初始化列表没有被推导成一对。我可以在每组参数上调用 make_pair，但这只是解决了一个可读性问题和另一个可读性问题。有没有办法让这种调用语法起作用？参数在对之间或对内不相同。

Answer 1

抱歉，这是不可能的:从花括号列表到用户定义类型的隐式类型转换。唯一可能的转换是针对 std::initializer_list，但它只能针对相同类型或可转换类型进行。

话虽如此，我会提供这个，作为一种可能性，

template <typename M, typename N>
void doStuff(M&&, N&&) {}

template <typename M, typename N>
struct MyRepeater;

template <typename M, typename N>
MyRepeater<M, N> f(M&& one, N&& two);

template <typename M, typename N>
struct MyRepeater {
  template <typename I, typename J>
  MyRepeater<I, J> operator()(I&& one, J&& two) const {
    return f(std::forward<I>(one), std::forward<J>(two));
  }
};

template <typename M, typename N>
MyRepeater<M, N> f(M&& one, N&& two) {
  doStuff(one, two);
  return MyRepeater<M, N>();
}

int main() {
  f(Foo1(), Foo2())(Bar1(), Bar2())(Bar2(), Foo1());
}

当然，缺点是只是为了可读性，你有两个人写了一些额外的代码(在我看来，这是一个不错的动机)。