c++ - 可变模板函数 : argument number for each argument

Question

我正在尝试使用 C++11 中的可变参数函数模板，并通过如下代码了解了基本思想:

void helper()
{
    std::cout << "No args" << std::endl;
}

template< typename T >
void helper( T&& arg )
{
    size_t n = 0;
    std::cout << "arg " << n << " = " << arg << std::endl;
    helper();
}

template< typename T, typename... Arguments >
void helper( T&& arg, Arguments&& ... args )
{
    size_t n = sizeof...( args );
    std::cout << "arg " << n << " = " << arg << std::endl;
    helper( args... );
}

但是，我想要的是参数编号(代码中的变量 n)向上计数而不是向下计数。我怎样才能优雅地做到这一点？我可以编写一个包装函数来创建“隐藏”参数计数，但我觉得应该有更简洁的方法吗？

谢谢!

Answer 1

你的意思是这样的吗？我认为我明白你在找什么，但如果不是，我会毫不犹豫地放弃这个答案:

#include <iostream>
#include <utility>

void helper()
{
    std::cout << "no args" << std::endl;
}

template<size_t N, typename T>
void helper(T&& arg)
{
    std::cout << "arg " << N << " = " << arg << std::endl;
}

template<size_t N, typename T, typename... Args>
void helper(T&& arg, Args&&... args)
{
    helper<N>(std::forward<T>(arg));
    helper<N+1, Args...>(std::forward<Args>(args)...);
}

template<typename T, typename... Args>
void helper(T&& arg, Args&& ... args)
{
    helper<0>(std::forward<T>(arg), std::forward<Args>(args)... );
}

int main()
{
    helper();
    std::cout << '\n';

    helper("single");
    std::cout << '\n';

    helper("one", 2U);
    std::cout << '\n';

    helper(1,"two", 3.0, 4L);
    std::cout << '\n';

    return 0;
}

输出

no args

arg 0 = single

arg 0 = one
arg 1 = 2

arg 0 = 1
arg 1 = two
arg 2 = 3
arg 3 = 4

See it live