c++ - 可变参数模板 : unfold arguments in groups

Question

我有一个带有两个参数的函数:

template <typename T1, typename T2>
void foo(T1 arg1, T2 arg2)
{ std::cout << arg1 << " + " << arg2 << '\n'; }

还有一个应该成对转发其参数的可变参数:

template <typename... Args>
void bar(Args&&... args) {
    static_assert(sizeof...(Args) % 2 == 0);

    ( foo( std::forward<Args>(args), std::forward<Args>(args) ), ... );
    // ^ Sends each argument twice, not in pairs
}

我想要bar(1,2,3,4)调用foo(1,2)和foo(3,4)

有办法做到这一点吗？

Answer 1

您可以通过重载来完成它。

template <typename T1, typename T2>
void bar(T1&& arg1, T2&& arg2) {
    foo( std::forward<T1>(arg1), std::forward<T2>(arg2) ); // (until) sends (the last) two arguments to foo
}

template <typename T1, typename T2, typename... Args>
void bar(T1&& arg1, T2&& arg2, Args&&... args) {
    foo( std::forward<T1>(arg1), std::forward<T2>(arg2) ); // sends the 1st two arguments to foo
    bar( std::forward<Args>(args)... );                    // call bar with remaining elements recursively
}

LIVE

<小时/>

^{请注意，使用上面的最小代码片段，当使用 0 或奇数参数调用 bar 时，您将收到无匹配函数错误。如果您想要使用 static_assert 获得更清晰的编译消息，您可以从这个 snippet 开始.}