我正在尝试创建一个适用于以下示例的递归可变参数模板函数。该示例没有任何实用性，仅用于帮助更好地理解我的要求。所以，基本上我有一个函数，它接受无限数量的相同类型的参数，它递归地调用除最后一个参数之外的所有参数。然后，一旦它最终达到两个参数，下一个函数就作为函数的终止。我知道答案并非微不足道，而且我很难弄清楚该怎么做。任何帮助或指导将不胜感激！谢谢。
template <typename... Ts>
void test(int& a, int& b, Ts&... ts){
test(a, b, ... ); //all but the last parameter
//last parameter argument is processed here
}
void test(int& a, int& b){
//end of recursion
}
int main(int argc, char** argv){
int a = 3;
int b = 5;
int c = 6;
int d = 4;
test(a, b, c, d);
return 0;
}
我们可以在元组中转发参数并减少索引：
#include <cstddef>
#include <tuple>
#include <utility>
template <std::size_t I, typename Tuple>
void test_helper(Tuple&& tuple)
{
if constexpr (I != 0) {
test_helper<I - 1>(std::forward<Tuple>(tuple));
}
// for example
process(std::get<I>(std::forward<Tuple>(tuple)));
}
template <typename... Args>
void test(Args&&... args)
{
test_helper<sizeof...(Args) - 1>(std::forward_as_tuple(std::forward<Args>(args)...));
}
例子：
#include <cstddef>
#include <iostream>
#include <tuple>
#include <utility>
template <typename T>
void process(const T& arg)
{
std::cout << arg << '\n';
}
template <std::size_t I, typename Tuple>
void test_helper(Tuple&& tuple)
{
process(std::get<I>(std::forward<Tuple>(tuple)));
if constexpr (I != 0) {
test_helper<I - 1>(std::forward<Tuple>(tuple));
}
}
template <typename... Args>
void test(Args&&... args)
{
test_helper<sizeof...(Args) - 1>(std::forward_as_tuple(std::forward<Args>(args)...));
}
int main()
{
test(1, '2', "3", 4.0);
}
（现场演示）
现在，更喜欢从左到右处理参数，这要简单得多：
template <typename... Args>
void test(Args&&... args)
{
((void)process(std::forward<Args>(args)), ...);
}
使用P1858 通用包声明和使用，从右到左的处理会变得更容易，遗憾的是尚未采用：
template <typename... Args>
void test(Args&&... args)
{
test(std::forward<Args>(args)...[:-1]...);
if constexpr (sizeof...(Args) != 0) {
process(std::forward<Args>(args)...[-1]);
}
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系 [email protected] 删除。
我来说两句