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<typename Args...>

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

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

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

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

//===================================== // Name        : CppPrimer.cpp // Author      : Caroline // Version     : 1.0 // Description : Example, UTF-8 //=====================================  /*eclipse cdt, gcc 4.8.1*/  #include <iostream> #include <sstream>  using namespace std;  //返回bug信息 template <typename T> std::string debug_rep (const T& t) { 	std::ostringstream ret; 	ret << t; 	return ret.str(); }  //非可变参数模板 template<typename T> std::ostream &print(std::ostream &os, const T &t) { 	//std::cout << "This is nonvariadic function! "; 	return os << t; }  //可变参数模板, "..."是包扩展(Pack Expansion) template <typename T, typename... Args> std::ostream &print(std::ostream &os, const T &t, const Args&... rest) { 	os << t << ", "; 	return print(os, rest...); }  //函数模板的包扩展 template <typename... Args> std::ostream &errorMsg(std::ostream &os, const Args&... rest) { 	return print(os, debug_rep(rest)...); //使用模板的包扩展 }  int main() { 	int i(10); std::string s("girls"); 	//print(std::cout, i, s, 42); 	errorMsg(std::cout, i, s, 10, "ladies");  	return 0; } 

输出:

10, girls, 10, ladies