Question

我一直在尝试使用C ++元编程来构建

等构造

f(g<0>(args...), g<1>(args...), ... g<n-1>(args...))

给定callables f和g，整数n和可变参数args ......

但是我转过这个问题，在某些时候，我需要一个嵌套的可变扩展：一个用于args ...一个用于0 ... n-1，并且给出了编译错误我我想知道是否/何时可以在C ++ 11/14/17中使用，如果没有，是否有巧妙的解决方法？

下面，我想要实现的例子：

struct add
{
    template<int n, class A, class B> static inline auto
    f(const A & a, const B & b) -> decltype(std::get<n>(a)+b)
        { return std::get<n>(a) + b; }
};

template<class... Args> void do_stuff(const Args & ... args)
    { /* do stuff with args */ }

std::tuple<char,short,int,float,double> data = {1,3,5};

map_call<3, add>(do_stuff, data, 1); //< what I'm trying to do
// calls do_stuff(add::f<0>(data,2), add::f<1>(data,1),  add::f<2>(data,1) )
// i.e.  do_stuff(2,4,5)

下面给出了map_call的一个（失败的尝试）实现：

// what I tried:
template<class Mapped, class Indicies> struct map_call_help;
template<class Mapped, int... indices>
struct map_call_help<Mapped, std::integer_sequence<int, indices...>>
{
    template<class Callable, class... Args>
    static inline void f(Callable && call, Args && ... args)
    {
        call( Mapped::f<indices>(std::forward<Args>(args)...) ...);
        //                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^      1
        //    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 2
        // nested expansion fails with parse error / expected ')'
        // inner expansion is: std::forward<Args>(args)...
        // outer expansion is: Mapped::f<indices>(_forwarded_args_)...
    }
};
template<int n, class Mapped, class Callable, class... Args>
inline void map_call(Callable && call, Args && ... args)
{
    map_call_help<Mapped, std::make_integer_sequence<int, n>>::f(
          std::forward<Callable>(call), std::forward<Args>(args)... );
}

integer_sequence相关内容需要#include <utility>和C ++ 14，或者它可以在C ++ 11中实现 - 参见例如如果感兴趣，请回答this question。

Answer 1

更改

Mapped::f<indices>

到

Mapped::template f<indices>

还有许多其他类似的错误，但那是该行的错误。 live example

现代C ++中是否允许双/嵌套可变参数模板扩展？

1 个答案: