可变参数函数模板(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)...
具体参见注释及结果, 代码如下:
- //=====================================
- // Name : CppPrimer.cpp
- // Author : Caroline
- // Version : 1.0
- // Description : Example, UTF-8
- //=====================================
- #include
- #include
- using namespace std;
- //返回bug信息
- template <</span>typename T> std::string debug_rep (const T& t)
- {
- std::ostringstream ret;
- ret << t;
- return ret.str();
- }
- //非可变参数模板
- template<</span>typename T>
- std::ostream &print(std::ostream &os, const T &t)
- {
- //std::cout << "This is nonvariadic function! ";
- return os << t;
- }
- //可变参数模板, "..."是包扩展(Pack Expansion)
- template <</span>typename T, typename... Args>
- std::ostream &print(std::ostream &os, const T &t, const Args&... rest)
- {
- os << t << ", ";
- return print(os, rest...);
- }
- //函数模板的包扩展
- template <</span>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;
- }