在可变参数模板中传递参数组

Pass Groups of Arguments in a Variadic Template

本文关键字：参数 数组 变参      更新时间：2023-10-16

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

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，但这只能解决另一个可读性问题的可读性问题。有没有办法让这种调用语法工作？参数在对之间或对内并不相同。

抱歉，这是不可能的：从大括号列表到用户定义类型的隐式类型转换。唯一可能的转换是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());
}

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

这似乎令人惊讶，但我为此找到的最佳解决方案实际上是根本不使用可变参数的"过去的爆炸"。

struct F {
template <class M, class N>
F& operator()(M arg1, N arg2) { 
doStuff(arg1, arg2);
return *this;
}
};
F{} (arg1a, arg1b)
(arg2a, arg2b);

等等。虽然，我还要指出，clang格式的格式不能很好地格式化。所以我最终又做了一些稍微不同的事情。

相关文章：