C++ 可变参数函数模板(Variadic Function Template) 详解及代码

可变参数函数模板(Variadic Function Template) 详解 及 代码

 

本文地址: http://blog.csdn.net/caroline_wendy/article/details/17076695

 

可变参数函数模板(variadic function template), 主要使用了包扩展(pack expansion)的方式, 即"...", 

把一个模式(pattern)扩展为包中每一个元素(element)的形式;

可变参数函数模板, 经常会使用递归(recursive)进行处理包(pack)参数, 

需要一个非可变参数(nonvariadic)函数模板,结束递归, 当最后一次调用时, 会调用非可变参数版本, 则递归结束;

还需要一个绑定(bing)的参数, 处理包(pack)中的一些元素, 通过递归,顺次处理包中的元素;

包扩展可以应用于各种形式, 如

函数的模板参数, 例如: templae

函数的参数模板, 例如: cosnt Args&... rest

函数的形参, 例如: rest...

函数模板, 例如: debug_rep(rest)...

具体参见注释及结果, 代码如下:

 

[cpp] view plain copy

1. //=====================================  
2. // Name        : CppPrimer.cpp  
3. // Author      : Caroline  
4. // Version     : 1.0  
5. // Description : Example, UTF-8  
6. //=====================================  
7.   
8.   
9.   
10. #include   
11. #include   
12.   
13. using namespace std;  
14.   
15. //返回bug信息  
16. template <</span>typename T> std::string debug_rep (const T& t)  
17. {  
18.     std::ostringstream ret;  
19.     ret << t;  
20.     return ret.str();  
21. }  
22.   
23. //非可变参数模板  
24. template<</span>typename T>  
25. std::ostream &print(std::ostream &os, const T &t)  
26. {  
27.     //std::cout << "This is nonvariadic function! ";  
28.     return os << t;  
29. }  
30.   
31. //可变参数模板, "..."是包扩展(Pack Expansion)  
32. template <</span>typename T, typename... Args>  
33. std::ostream &print(std::ostream &os, const T &t, const Args&... rest)  
34. {  
35.     os << t << ", ";  
36.     return print(os, rest...);  
37. }  
38.   
39. //函数模板的包扩展  
40. template <</span>typename... Args>  
41. std::ostream &errorMsg(std::ostream &os, const Args&... rest)  
42. {  
43.     return print(os, debug_rep(rest)...); //使用模板的包扩展  
44. }  
45.   
46. int main()  
47. {  
48.     int i(10); std::string s("girls");  
49.     //print(std::cout, i, s, 42);  
50.     errorMsg(std::cout, i, s, 10, "ladies");  
51.   
52.     return 0;  
53. }