我们可以使用一个initializer_list来定义一个可接受可变数目实参的函数。但是,所有实参必须具有相同的类型(或它们的类型可以转换为同一个公共类型)。
可变参数函数通常是递归的。第一步调用处理包中的第一个实参,然后用剩余实参调用自身。
// 用来终止递归并打印最后一个元素的函数
// 此函数必须在可变参数版本的print定义之前声明
template <typename T>
ostream& print(ostream& os, const T& t)
{
// 包中最后一个元素之后不打印分隔符
return os << t;
}
// 包中除了最后一个元素之外的其他元素都会调用这个版本的print
template <typename T, typename ... Args>
ostream& print(ostream& os, const T& t, const Args& ... rest)
{
// 打印第一个实参
os << t << ", ";
// 递归调用,打印其他实参
return print(os, rest...);
}
return print(os, rest…);此调用只传递了两个实参。其结果是rest中的第一个实参被绑定到t,剩余实参形成下一个print调用的参数包。
当定义可变参数版本的print时,非可变参数版本的声明必须在作用域中。否则,可变参数版本会无限递归。