C++学习之模板编程:可变参数模板

typename…指出接下来的参数表示零个或多个类型的类表.sizeof…返回参数包的个数.

template<typename T,typename...args>
void foo(const T& t, const args&... rest)
{
cout << sizeof...(args)<<" "<<sizeof...(rest)<<endl;
}
int main()
{
int i = 0;
double d = 3.14;
string s = "how now brown cow";
foo(i, s, 42, d);
foo(d, s);
foo("hi");
return 0;
}

编写可变参数函数模板,需要写两个版本.其中一个用来终止递归.

print函数用来打印任意类型的元素.

template<typename T>
void print(const T& t)
{
cout << t << ", ";
}
template<typename T,typename...args>
void print(const T& t, const args& ...rest)
{

cout << t << ", ";
print(rest...);
}

包扩展

template<typename... arg>
ostream& errmsg(ostream& os, const arg&... rest)
{
debug_rep(rest)...;
return print(os, debug_rep(rest)...);//该模式的意思是对表示我们希望对函数参数包rest中的每个元素调用debug_rep;扩展的结果是一个逗号分隔的调用列表.
}

注意：比较奇怪的一点是直接使用debug_rep(rest)…进行调用会出错.原因我暂时没搞明白（google了半天没有找到相关信息）,解决的办法就是构造一个过渡的函数，函数体为空.比如;

定义自己的make_shared,转发参数

template <typename T,typename... Args>
shared_ptr<T> make_share(Args&&... args)
{
auto sp = new T(std::forward<Args>(args)...);//获取内置指针
return shared_ptr<T>(sp);
}
int main()
{
auto t = make_share<string>(10, '0');
}