C++11的可变长参数模板,只能递归的调用吗,能循环吗?

cdsfiui

在网上看到一些C++11对于variadic template的介绍，给出的示例代码都是下面这样的递归调用:

1. 
   
2. template<typename T>
   
3. void output(T&& value)
   
4. {
   
5.     cout << value << endl;
   
6. }
   
7. template<typename First, typename... Rest>
   
8. void output(First&& first, Rest&&... rest)
   
9. {
   
10.     cout << first << ",";
    
11.     output(forward<Rest>(rest)...);
    
12. }
    

复制代码

可是我不想递归，就像类似C的va_list那样，有个循环来迭代访问所有的参数。
能做到吗?
谢谢。

lost_templar

能，用 sizeof... 做循环

虽然循环跟递归没有区别

cdsfiui

lost_templar 发表于 2015-11-26 17:28
能，用 sizeof... 做循环

虽然循环跟递归没有区别

用sizeof...得到了长度以后，如何挨个得到参数列表里面的项呢? 下标似乎不行啊，我试了。

lost_templar

cdsfiui 发表于 2015-11-27 18:00
用sizeof...得到了长度以后，如何挨个得到参数列表里面的项呢? 下标似乎不行啊，我试了。

你参考下 boost::mpl::for_each，自己找着葫芦画一下就可以了

lost_templar

cdsfiui 发表于 2015-11-27 18:00
用sizeof...得到了长度以后，如何挨个得到参数列表里面的项呢? 下标似乎不行啊，我试了。

或者直接把参数展开

1. #include <iostream>
   
2. template< typename ... Args  >
   
3. auto print( Args ... x )
   
4. {
   
5.     auto printer = []( auto y ) { std::cout << y << std::endl; };
   
6.     auto ans =  { 0, ( printer(x), 0 )..., 0 };
   
7.     return ans;
   
8. }
   
9. 
   
10. int main()
    
11. {
    
12.     print( 1 );
    
13.     print( 1, 1.1, 'a', "abc", true );
    
14. 
    
15.     return 0;
    
16. }

复制代码

上边代码 c++14 支持，因为我用了 auto

windoze

我完全充分理解你的需求，所以你应该去用D，因为你已经走上了Andrei的那条邪路…………
话说回来，对一个Type List来说，所谓的“循环”是不存在的，所以从技术上说你只能递归，其实连“递归”都不能算，只能算是嵌套的pattern match。
但由于你这些函数都是template，所以编译器会疯狂做inline优化，所以最终编译出来的代码其实更像是平板，连循环都没有，所以你不用太担心性能问题，需要担心的是大脑保健。

dorodaloo

回复 6# windoze
高手对语言理解这么深刻，
话说回来，
Andrei的那条邪路
怎么个邪法啊 ?

windoze

回复 7# dorodaloo

type list其实类似于Lisp里的Slist，而且还是immutable的，所以从本质上说要处理它你只能掐头去尾，也就是说一次从头拿出一个元素，剩下的是尾。
这种处理方式谈不上是“递归”还是“循环”，因为它从程序的角度来说根本就不是一个执行过程。
当然因为我们要用一个程序去描述对type list的处理，所以从语法的角度你需要一个表达方式，C++选了pattern match，D选了循环。

你可以看看http://dlang.org/variadic-function-templates.html
这是D的方式

dorodaloo

回复 8# windoze

自己对语言的理解一窍不通。
非常感谢高手这么深刻的剖析！